The halting problem for linear Turing assemblers
From MaRDI portal
Publication:1231906
DOI10.1016/S0022-0000(76)80023-2zbMath0342.02024OpenAlexW2070803433MaRDI QIDQ1231906
Robert M. Baer, Jan van Leeuwen
Publication date: 1976
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0022-0000(76)80023-2
Analysis of algorithms and problem complexity (68Q25) Formal languages and automata (68Q45) Turing machines and related notions (03D10)
Related Items
Cites Work