About the Book
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Pages: 85. Chapters: Finite-state machine, Regular expression, Pushdown automaton, Star height problem, Tree automaton, Sequential logic, Abstract machine, UML state machine, DEVS, Quantum dot cellular automaton, Nested word, Finite & Deterministic Discrete Event System Specification, Krohn-Rhodes theory, Buchi automaton, McNaughton's Theorem, Nondeterministic finite-state machine, SP-DEVS, Quantum finite automata, -automaton, Finite state transducer, Powerset construction, Behavior of DEVS, State transition table, Behavior of Coupled DEVS, Semiautomaton, Semi-deterministic buchi automaton, Probabilistic automaton, Subshift of finite type, De Bruijn graph, Introduction to Automata Theory, Languages, and Computation, Embedded pushdown automaton, Road coloring problem, Deterministic pushdown automaton, Richards controller, Linear bounded automaton, Queue machine, Infinite tree automaton, Timed event system, Synchronizing word, DFA minimization, Muller automaton, Conference on Implementation and Application of Automata, Automatic sequence, Event segment, Tree walking automaton, International Colloquium on Automata, Languages and Programming, Generalized nondeterministic finite-state machine, Augmented transition network, Pebble automaton, Alternating finite automaton, Temporal logic in finite-state verification, CIP-Tool, Well-structured transition system, Generalized star height problem, Hybrid automaton, Star-free language, Moore reduction procedure, PowerDEVS, Discrete system, Deterministic automaton, Nested stack automaton, Levenshtein automaton, Constraint automaton, Generalized Buchi automaton, Automata construction, Implication table, Permutation automaton, Determinization of Automaton, Lazy linear hybrid automaton, Counter automaton, Alternating tree automata. Excerpt: UML state machine is a significantly enhanced realization of t...
