Alternating simple multihead finite automata

From MaRDI portal
Publication:1058853