Example image of eyePlorer eyePlorer map for 'Nondeterministic finite state machine': Finite-state machine Theory of computation Deterministic finite-state machine Powerset construction Regular language Subshift of finite type Probabilistic automaton Dana Scott Michael O. Rabin Power set Alphabet (computer science) Function (mathematics) Tuple Empty string Proof State transition table Regular expression Kleene star Alternating finite automaton Generalized nondeterministic finite state machine Kripke structure Union of two regular languages Nested word Nondeterministic algorithm Quex List of computability and complexity topics List of important publications in theoretical computer science Read-only Turing machine Three-phase commit protocol Flex++ List of computer scientists Deterministic pushdown automaton Regular grammar Star height problem List of University of California, Berkeley alumni List of computing and IT abbreviations Garden of Eden (cellular automaton) List of terms relating to algorithms and data structures State diagram Znám's problem Perl Object Environment Indeterminacy in computation NDFA NFA Context-free grammar Sylvester's sequence Automata theory Computability Turing machine Pushdown automaton