Tutor - a Turing machine simulator
From MaRDI portal
Publication:2556223
DOI10.1016/0020-0255(73)90018-2zbMath0248.68017OpenAlexW1966403243MaRDI QIDQ2556223
John C. Pierce, J. E. Vander Mey, W. E. Singletary
Publication date: 1973
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0255(73)90018-2
Analysis of algorithms and problem complexity (68Q25) Automata and formal grammars in connection with logical questions (03D05) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
Cites Work
This page was built for publication: Tutor - a Turing machine simulator