One way multihead deterministic finite automata

From MaRDI portal
Publication:1836312