A new technique for reachability of states in concatenation automata

From MaRDI portal
Publication:777990