Research any topic before you write.

Find related topics. | Discover entities. | See connections. | Build a topical map.

Tag system

In the theory of computation, a tag system is a deterministic model of computation published by Emil Leon Post in 1943 as a simple form of a Post canonical system. A tag system may also be viewed as an abstract machine, called a Post tag machine (not to be confused with Post–Turing machines)—briefly, a finite-state machine whose only tape is a FIFO queue…

History & Products

Use the mouse wheel or two fingers (on touchscreens) to zoom in and out of the map.

Research this topic

Explore the main themes, entities and connections around Tag system. Start with the topic map, then use the sections below for research and deeper semantic analysis.

Explore this topic

Start with a few of the strongest sections from the source topic. These are research directions, not a list of keywords you must use.

Historical note on the definition of tag system

Game of tag
1 related topics

Definitions

IntegerDe Mol (2008)Empty stringCollatz sequence
4 related topics

Turing-completeness of m-tag systems

Turing-completeTuring machineEmulatesUniversal Turing machine
4 related topics

The 2-tag halting problem

Halting problemUndecidableDecision problems
3 related topics

Topics to explore

Browse the full topic structure. Each item opens a new analysis centered on that subject.

Overview

Definitions

Turing-completeness of m-tag systems

The 2-tag halting problem

Historical note on the definition of tag system

Cyclic tag systems

Advanced semantic analysis

Deeper signals for content research, entity SEO and topical coverage. The plain-language headings explain what each technical view is useful for.

Map overview Semantic statistics

Tag system

Nodes31
Edges30
Triples106
Avg. degree1.94
Density0.064516
Components1

How this topic connects Entity context

See the strongest relationship patterns around the current topic before diving into the raw triples.

Tag system

Top relations

related to References · 55
Tag system → American Journal, Annals, Archived, Association, BF01343730, Cocke, Collatz-like, Complex Systems, ComplexSystems, Computation, Computing Machinery, Cook, De Mol, Elementary Cellular Automata, Emil, Englewood Cliffs, Finite, Formal, Hall, Hao
related to Turing-completeness of m-tag systems · 12
Tag system → Cocke, Conversely, For, In, Minsky, Rogozhin, Turing, Turing-complete, Universal Turing, Universal Turing Machine, Wang, Wk
related to Emulation of tag systems by cyclic tag systems · 9
Tag system → An, P1, Pk, Pn, Q1, Qn, Successive, That, The Qk
related to Example · 7
Tag system → Cook's, Cyclic, Every, Matthew Cook, Rule, This, Turing-complete
is a · 6
Tag system → deterministic model of computation published by Emil Leon Post in 1943 as a simple form of a Post canonical system, efficient simulator of universal Turing machines, encoding of a corresponding line of the tag system computation, finite sequence of words produced by iterating the transformation t, modification of the original tag system, triplet
related to Example: Computation of Collatz sequences · 6
Tag system → Collatz, De Mol, In, It, The, This
related to Historical note on the definition of tag system · 3
Tag system → If, Post, The
related to Cyclic tag systems · 2
Tag system → For, The
related to Definitions · 2
Tag system → All, The
related to Example: A simple 2-tag illustration · 2
Tag system → On, This

Important terminology Word statistics

Use these terms to understand the vocabulary surrounding the topic, not as a checklist for keyword stuffing.

Important terminology

tag system symbol systems word halting computation turing doi post machine cyclic words 2-tag alphabet sequence 10 length symbols m-tag

Entity relationships Subject–Predicate–Object triples

SubjectPredicateObjectConfidenceSrc
Tag systemis adeterministic model of computation published by Emil Leon Post in 1943 as a simple form of a Post canonical system0.90text
Tag systemis atriplet0.90text
Tag systemis afinite sequence of words produced by iterating the transformation t0.90text
Tag systemis aefficient simulator of universal Turing machines0.90text
Tag systemis amodification of the original tag system0.90text
Tag systemis aencoding of a corresponding line of the tag system computation0.90text
Tag systemrelated to Cyclic tag systemsThe0.60section
Tag systemrelated to Cyclic tag systemsFor0.60section
Tag systemrelated to DefinitionsAll0.60section
Tag systemrelated to DefinitionsThe0.60section
Tag systemrelated to Emulation of tag systems by cyclic tag systemsAn0.60section
Tag systemrelated to Emulation of tag systems by cyclic tag systemsP10.60section

Related concept clusters Concept neighborhoods

These clusters group vocabulary that occurs around closely connected concepts in the source material.

    Connections between topic areas Semantic bridges

    Bridges can reveal useful research angles that are easy to miss in a flat list of related terms.

    Min side: 3
    For writers, content strategists, SEOs, marketers and creators — from quick topic research to advanced semantic analysis.