Theory-Of-Computer-Science-OR-Automata