State Machines

Deterministic finite-state machine
Nondeterministic finite state machine
Powerset construction
Subshift of finite type
State transition table