Itō, Masami

1941

• Algebraic theory of automata and languages