turing

KO | EN

gitlite — search

#javascript #hacktoberfest #ai #llm #golang #go #android #rust #deep-learning #macos #windows #vue #pytorch #mcp

(★ 47)

A reference implementation of Alan Turing's 1936 paper, On Computable Numbers

turing 최신버젼 다운로드

최종 버전 다운로드 (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Turing

The first complete and open source implementation of Alan Turing's famous 1936 paper - [On Computable Numbers, with an Application to the Entscheidungsproblem](https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf).

## Why?

I attempted to read Turing's paper, and found it too difficult to understand. I figured reading a reference implementation (that includes `m-functions`, a working `univeral machine`, etc.) would make things clearer, but was surprised to find that a full implementation does not exist on the internet. I thought it could be fun to try to write my own.

## Guide
For those who intend to read the full paper I recommend starting with [The Annotated Turing](https://www.amazon.com/Annotated-Turing-Through-Historic-Computability/dp/0470229055) by Charles Petzold (which explains the paper line-by-line with annotations).

I wrote a section-by-section guide ([GUIDE.md](./GUIDE.md)) that explains the paper in the context of this codebase. My hope is that the combination of a reference implementation and walkthrough helps others get value from the paper like I did.

### Progress
- [X] [**Introduction**](./GUIDE.md#introduction)
- [X] [**Section 1** - Computing machines](./GUIDE.md#section-1---computing-machines)
- [X] [**Section 2** - Definitions](./GUIDE.md#section-2---definitions)
- [X] [**Section 3** - Examples of computing machines](./GUIDE.md#section-3---examples-of-computing-machines)
- [X] [**Section 4** - Abbreviated tables](./GUIDE.md#section-4---abbreviated-tables)
- [X] [**Section 5** - Enumeration of computable sequences](./GUIDE.md#section-5---enumeration-of-computable-sequences)
- [X] [**Section 6** - The universal computing machine](./GUIDE.md#section-6---the-universal-computing-machine)
- [X] [**Section 7** - Detailed description of the universal machine](./GUIDE.md#section-7---detailed-description-of-the-universal-machine)
- [X] [**Section 8** - Application of the diagonal process](./GUIDE.md#section-8---application-of-the-diagonal-process)
- [X] [**Section 9** - The extent of computable numbers](./GUIDE.md#section-9---the-extent-of-computable-numbers)
- [X] [**Section 10** - Examples of large classes of numbers which are computable](./GUIDE.md#section-10---examples-of-large-classes-of-numbers-which-are-computable)
- [X] [**Section 11** - Application to the Entscheidungsproblem](./GUIDE.md#section-11---application-to-the-entscheidungsproblem)
- [X] [**Appendix** - Computability and effective calculability](./GUIDE.md#appendix---computability-and-effective-calculability)

## Usage

For those who want to use the implementation, here is how to get started:

```shell
go get github.com/planetlambert/turing@latest
```

```go
import (
    "fmt"

"github.com/planetlambert/turing"
)

func main() {
    // Input for Turing Machine that prints 0 and 1 infinitely
    machineInput := turing.MachineInput{
        MConfigurations: turing.MConfigurations{
            {Name: "b", Symbols: []string{" "}, Operations: []string{"P0", "R"}, FinalMConfiguration: "c"},
            {Name: "c", Symbols: []string{" "}, Operations: []string{"R"},       FinalMConfiguration: "e"},
            {Name: "e", Symbols: []string{" "}, Operations: []string{"P1", "R"}, FinalMConfiguration: "k"},
            {Name: "k", Symbols: []string{" "}, Operations: []string{"R"},       FinalMConfiguration: "b"},
        },
    }

// Construct the Turing Machine and move 50 times
    machine := turing.NewMachine(machineInput)
    machine.MoveN(50)
    
    // Prints "0 1 0 1 0 1 ..."
    fmt.Println(machine.TapeString())

// Convert the same Machine input to Turing's "standard" forms
    standardTable := turing.NewStandardTable(machineInput)
    standardMachineInput := standardTable.MachineInput
    symbolMap := standardTable.SymbolMap
    standardDescription := standardTable.StandardDescription
    descriptionNumber := standardTable.DescriptionNumber

// Also prints "0 1 0 1 0 1 ..."
    standardMachine := turing.NewMachine(standardMachineInput)
    standardMachine.MoveN(50)
    fmt.Println(machine.TapeString())

// Prints ";DADDCRDAA;DAADDRDAAA;DAAADDCCRDAAAA;DAAAADDRDA"
    fmt.Println(standardDescription)

// Prints "73133253117311335311173111332253111173111133531"
    fmt.Println(descriptionNumber)

// Construct Turing's Universal Machine using the original Machine's Standard Description (S.D.)
    universalMachine := turing.NewMachine(turing.NewUniversalMachine(turing.UniversalMachineInput{
        StandardDescription: standardDescription,
        SymbolMap:           symbolMap,
    }))

// Turing's Universal Machine is quite complex and has to undergo quite a few moves to achieve the same Tape
    universalMachine.MoveN(500000)

// Prints "0 1 0 1 0 1 ..."
    fmt.Println(universalMachine.TapeStringFromUniversalMachine())
}
```

[Go Package Documentation here.](https://pkg.go.dev/github.com/planetlambert/turing)

## Testing

```shell
go test ./...
```

## FAQ
- Why Go?
  - I like Go and I think its easy to read.
- How is the performance?
  - My goal for this repository is to be a learning resource, so when possible I bias towards readability.

turing

turing 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

turing

turing 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README