automata theory, computational linguitics