On Multi-Head Finite Automata (Q5553286)

From MaRDI portal