Building a Universal Machine

Building a Universal Machine book


buy on Amazon
buy on Leanpub

Resources

This site contains links to the source code and other resources developed in the book:

Rrr language specification

Deterministic finite automaton

Non-deterministic finite automaton

Non-deterministic parallel finite automaton

Deterministic pushdown automaton

Non-deterministic pushdown automaton

Turing machine

Universal Turing machine

Halting problem

Register machine

Universal register machine

Recursive functions

Universal recursive function

Structured programming

Structured programming (flexible alphabet)

Lambda calculus

Tag system

Universal tag system

Cyclic tag system

Universal cyclic tag system

The Game of Life

One-dimensional cellular automaton

One-instruction set computer

Inductive Turing Machine

Universal 8-bit computer