Halteprobleme von Fang-Systemen (tag systems)

DOI10.1007/BF02011140zbMath0436.03037MaRDI QIDQ3875919

Bernhard Falkenberg

Publication date: 1980

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137962

zbMATH Keywords

halting problemregister machinestag-systemsmany-one degreesPost normal systems

Mathematics Subject Classification ID

Word problems, etc. in computability and recursion theory (03D40) Other degrees and reducibilities in computability and recursion theory (03D30) Turing machines and related notions (03D10) Thue and Post systems, etc. (03D03)

Related Items (1)

Unsolvable algorithmic problems for semigroups, groups and rings

Cites Work

• Unnamed Item
• Recursive unsolvability of Post's problem of Tag und other topics in theory of Turing machines
• Tag systems and lag systems
• Decision problems for tag systems
• Formal Reductions of the General Combinatorial Decision Problem

This page was built for publication: Halteprobleme von Fang-Systemen (tag systems)