automaton formalism
algebra