One-way multihead writing finite automata

From MaRDI portal
Publication:4103516