Comparing verboseness for finite automata and Turing machines

From MaRDI portal
Publication:705065