Formal languages
Applied mathematics
Computer science
Finite-state machine
Finite state transducer
Automata theory
Models of computation
Theoretical computer science