Formal languages
Finite-state machine
Algorithm
Regular expression
Mathematics
Machine learning
Computer programming
Philosophy of mathematics