Finite automata
Finite-state transducer
Timed automaton
Finite-state machine
Control theory
XC
Applied mathematics
Mathematics
Systems science
Tree transducer