Non-deterministic finite state machine

This article does not exist yet.