Applied mathematics
Finite state transducer
Polynomial
Factorization
IP
Tree automaton
SL
Theoretical computer science
Automata theory
Mathematics