von
Preis unbekannt
Masami Ito
Monoid algebraic language theory algorithms automata automata theory complexity complexity theory decidability decision problems formal languages grammar systems language classes language hierarchies logic verification