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