Formal languages
Regular language
Regular expression
Brzozowski derivative
Symbol
Theoretical computer science
Grammar
Metalogic