Marker automata (Q1231894)

From MaRDI portal