undefined for Theory of Automata for Economics's students