Formal languages
Finite automata
Combinatorics
Combinatorics on words
Mathematics
Discrete mathematics
Mealy machine
Alphabet
String
Finite-state transducer
Tree transducer