Contents > Abstract Machines

State Machine

This section discusses deterministic finite-state machines, abstract devices that change state based on a map from the current state and optionally a character of an input string to a successive state and optionally a character of an output string.