Cellular automaton combinators
Combinator properties
Combinators
Criteria for universality
History [of universal Turing machines]
Lambda calculus
[Methods of] encoding sequences by integers
Minsky's [universal] Turing machine
Rule 110 Turing machines
Rule 60 Turing machines
s=2, k=2 Turing machines
s=3, k=2 Turing machines
Single [universal] combinators
States versus colors [in Turing machines]
Testing universality [in symbolic systems]
[Turing] machine 596440
Turing machine enumeration
[Universal] recursive functions
[Universal] register machines
[Universal] tag systems
[Universality for] classes of systems
![History [of universal Turing machines]](/nks/notes/notes-11-12--history-of-universal-turing-machines/thumb.png "History [of universal Turing machines]")
![[Methods of] encoding sequences by integers](/nks/notes/notes-11-12--methods-of-encoding-sequences-by-integers/thumb.png "[Methods of] encoding sequences by integers")
![Minsky's [universal] Turing machine](/nks/notes/notes-11-12--minskys-universal-turing-machine/thumb.png "Minsky's [universal] Turing machine")
![Single [universal] combinators](/nks/notes/notes-11-12--single-universal-combinators/thumb.png "Single [universal] combinators")
![States versus colors [in Turing machines]](/nks/notes/notes-11-12--states-versus-colors-in-turing-machines/thumb.png "States versus colors [in Turing machines]")
![Testing universality [in symbolic systems]](/nks/notes/notes-11-12--testing-universality-in-symbolic-systems/thumb.png "Testing universality [in symbolic systems]")
![[Turing] machine 596440](/nks/notes/notes-11-12--turing-machine-596440/thumb.png "[Turing] machine 596440")
![[Universal] recursive functions](/nks/notes/notes-11-12--universal-recursive-functions/thumb.png "[Universal] recursive functions")
![[Universal] register machines](/nks/notes/notes-11-12--universal-register-machines/thumb.png "[Universal] register machines")
![[Universal] tag systems](/nks/notes/notes-11-12--universal-tag-systems/thumb.png "[Universal] tag systems")
![[Universality for] classes of systems](/nks/notes/notes-11-12--universality-for-classes-of-systems/thumb.png "[Universality for] classes of systems")