├── GUIDE.md ├── LICENSE.md ├── README.md ├── TODO.md ├── abbreviated.go ├── abbreviated_test.go ├── beaver.go ├── beaver_test.go ├── decision.go ├── decision_test.go ├── diagonal.go ├── diagonal_test.go ├── go.mod ├── hilbert.go ├── hilbert_test.go ├── lambda.go ├── lambda_test.go ├── machine.go ├── machine_test.go ├── standard.go ├── standard_test.go ├── universal.go └── universal_test.go /GUIDE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/planetlambert/turing/HEAD/GUIDE.md -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/planetlambert/turing/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/planetlambert/turing/HEAD/README.md -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/planetlambert/turing/HEAD/TODO.md -------------------------------------------------------------------------------- /abbreviated.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/planetlambert/turing/HEAD/abbreviated.go -------------------------------------------------------------------------------- /abbreviated_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/planetlambert/turing/HEAD/abbreviated_test.go -------------------------------------------------------------------------------- /beaver.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/planetlambert/turing/HEAD/beaver.go -------------------------------------------------------------------------------- /beaver_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/planetlambert/turing/HEAD/beaver_test.go -------------------------------------------------------------------------------- /decision.go: -------------------------------------------------------------------------------- 1 | package turing 2 | 3 | // TODO: Implement `NewDecisionMachine` 4 | -------------------------------------------------------------------------------- /decision_test.go: -------------------------------------------------------------------------------- 1 | package turing 2 | 3 | // TODO: Test `NewDecisionMachine` 4 | -------------------------------------------------------------------------------- /diagonal.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/planetlambert/turing/HEAD/diagonal.go -------------------------------------------------------------------------------- /diagonal_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/planetlambert/turing/HEAD/diagonal_test.go -------------------------------------------------------------------------------- /go.mod: -------------------------------------------------------------------------------- 1 | module github.com/planetlambert/turing 2 | 3 | go 1.21.0 4 | -------------------------------------------------------------------------------- /hilbert.go: -------------------------------------------------------------------------------- 1 | package turing 2 | 3 | // TODO: Implement `K` and `K_a` 4 | -------------------------------------------------------------------------------- /hilbert_test.go: -------------------------------------------------------------------------------- 1 | package turing 2 | 3 | // TODO: Test `K` and `K_a` 4 | -------------------------------------------------------------------------------- /lambda.go: -------------------------------------------------------------------------------- 1 | package turing 2 | 3 | // TODO: Implement `NewLambdaMachine` 4 | -------------------------------------------------------------------------------- /lambda_test.go: -------------------------------------------------------------------------------- 1 | package turing 2 | 3 | // TODO: Implement `NewLambdaMachine` 4 | -------------------------------------------------------------------------------- /machine.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/planetlambert/turing/HEAD/machine.go -------------------------------------------------------------------------------- /machine_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/planetlambert/turing/HEAD/machine_test.go -------------------------------------------------------------------------------- /standard.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/planetlambert/turing/HEAD/standard.go -------------------------------------------------------------------------------- /standard_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/planetlambert/turing/HEAD/standard_test.go -------------------------------------------------------------------------------- /universal.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/planetlambert/turing/HEAD/universal.go -------------------------------------------------------------------------------- /universal_test.go: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/planetlambert/turing/HEAD/universal_test.go --------------------------------------------------------------------------------