On the complex behavior of simple tag systems -- an experimental approach (Q616497): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2010.08.026
@@ Property / DOI: 10.1016/j.tcs.2010.08.026 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Diehard
@@ Property / describes a project that uses: Diehard / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2010.08.026
+Normal rank
@@ Property / OpenAlex ID @@
+W2090766691
@@ Property / OpenAlex ID: W2090766691 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530860
@@ Property / cites work: Q4530860 / rank @@
+Normal rank
@@ Property / cites work @@
+The Determination of the Value of Rado's Noncomputable Function | sum(k) for Four-State Turing Machines
+Normal rank
@@ Property / cites work @@
+An Unsolvable Problem of Elementary Number Theory
@@ Property / cites work: An Unsolvable Problem of Elementary Number Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Universality of Tag Systems with             <i>P</i>             = 2
@@ Property / cites work: Universality of Tag Systems with <i>P</i> = 2 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5321501
@@ Property / cites work: Q5321501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4830809
@@ Property / cites work: Q4830809 / rank @@
+Normal rank
@@ Property / cites work @@
+Why Gödel didn't have church's thesis
@@ Property / cites work: Why Gödel didn't have church's thesis / rank @@
+Normal rank
@@ Property / cites work @@
+Closing the Circle: An Analysis of Emil Post's Early Work
+Normal rank
@@ Property / cites work @@
+Study of Limits of Solvability in Tag Systems
@@ Property / cites work: Study of Limits of Solvability in Tag Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Tag systems and Collatz-like functions
@@ Property / cites work: Tag systems and Collatz-like functions / rank @@
+Normal rank
@@ Property / cites work @@
+Solvability of the Halting and Reachability Problem for Binary 2-tag Systems
+Normal rank
@@ Property / cites work @@
+Q5583072
@@ Property / cites work: Q5583072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4782711
@@ Property / cites work: Q4782711 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Studies of Turing Machine Problems
@@ Property / cites work: Computer Studies of Turing Machine Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Frontier between decidability and undecidability: A survey
+Normal rank
@@ Property / cites work @@
+Small Turing machines and generalized busy beaver competition
+Normal rank
@@ Property / cites work @@
+Recursive unsolvability of Post's problem of ''Tag'' und other topics in theory of Turing machines
+Normal rank
@@ Property / cites work @@
+Q5586325
@@ Property / cites work: Q5586325 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Four Small Universal Turing Machines
@@ Property / cites work: Four Small Universal Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Small Weakly Universal Turing Machines
@@ Property / cites work: Small Weakly Universal Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Four Small Universal Turing Machines
@@ Property / cites work: Four Small Universal Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+P-completeness of Cellular Automaton Rule 110
@@ Property / cites work: P-completeness of Cellular Automaton Rule 110 / rank @@
+Normal rank
@@ Property / cites work @@
+The Categorization of Tag Systems in Terms of Decidability
+Normal rank
@@ Property / cites work @@
+Q4458322
@@ Property / cites work: Q4458322 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Reductions of the General Combinatorial Decision Problem
+Normal rank
@@ Property / cites work @@
+Q3661558
@@ Property / cites work: Q3661558 / rank @@
+Normal rank
@@ Property / cites work @@
+Small universal Turing machines
@@ Property / cites work: Small universal Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+A Mathematical Theory of Communication
@@ Property / cites work: A Mathematical Theory of Communication / rank @@
+Normal rank
@@ Property / cites work @@
+Emil Post and His Anticipation of Gödel and Turing
+Normal rank
@@ Property / cites work @@
+Cellular automata and intermediate degrees.
@@ Property / cites work: Cellular automata and intermediate degrees. / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+Tag systems and lag systems
@@ Property / cites work: Tag systems and lag systems / rank @@
+Normal rank
@@ Property / cites work @@
+-Symbol 8-State and 5-Symbol 6-State Universal Turing Machines
+Normal rank
@@ Property / cites work @@
+Q5338317
@@ Property / cites work: Q5338317 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4323873
@@ Property / cites work: Q4323873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3150942
@@ Property / cites work: Q3150942 / rank @@
+Normal rank
@@ Property / cites work @@
+Small fast universal Turing machines
@@ Property / cites work: Small fast universal Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+Small Semi-weakly Universal Turing Machines
@@ Property / cites work: Small Semi-weakly Universal Turing Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Small Semi-Weakly Universal Turing Machines
@@ Property / cites work: Small Semi-Weakly Universal Turing Machines / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2010.08.026
@@ Property / DOI: 10.1016/J.TCS.2010.08.026 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:616497