Mathematics
Semigroup theory
Algebra
Models of computation
Category theory
Semiautomaton
Monoid
Free monoid
Regular language
Abstract algebra
Automata theory
Formal languages