Non-deterministic finite cover automata

From MaRDI portal
Publication:4621187