Applied mathematics
Computer science
Regular language
Symbol
Alphabet
Ω-automaton
Formal languages
Automata theory
Mathematics