On two-way multihead automata (Q2559145)

From MaRDI portal