On Stateless Deterministic Restarting Automata (Q3599085)

From MaRDI portal