Regulated nondeterminism in pushdown automata

From MaRDI portal
Publication:840763