Models of computation
Finite-state machine
Regular language
DSPACE
Finite state transducer
Theoretical computer science
Automata theory
Formal languages