https://github.com/konn/turing-machine
https://github.com/konn/turing-machine
Last synced: 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/konn/turing-machine
- Owner: konn
- License: bsd-3-clause
- Created: 2012-10-11T16:07:38.000Z (over 12 years ago)
- Default Branch: master
- Last Pushed: 2012-10-11T16:12:16.000Z (over 12 years ago)
- Last Synced: 2025-01-23T16:54:48.714Z (4 months ago)
- Language: Haskell
- Size: 117 KB
- Stars: 1
- Watchers: 4
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
README
=======
$ cabal install
$ turing-machine-example
Running
-------
```
mark H at Head and T at Tail on "11111", started from the third
11[0]111
1[0]1111
[0]11111
[0]_11111
[1]H11111
H[1]11111
H1[1]1111
H11[1]111
H111[1]11
H1111[1]1
H11111[1]_
H11111[2]T
==========
parses 0^{n}1^{n}
XXYY_OK![9]_
==========
parses 0^{n}1^{2n}; but fail.
[0]00111
[1]X0111
X[1]0111
X0[1]111
X0[2]Y11
X0Y[2]11
X0Y[3]Y1
X0[3]YY1
X[3]0YY1
[3]X0YY1
X[0]0YY1
X[1]XYY1
XX[1]YY1
XXY[1]Y1
XXYY[1]1
XXYY[2]Y
XXYYY[2]_
XXYYY[a]_
XXYYY_[b]_
XXYYY_[b]E
XXYYY_E[c]_
XXYYY_E[c]r
XXYYY_Er[d]_
XXYYY_Er[d]r
XXYYY_Err[e]_
XXYYY_Err[e]!
XXYYY_Err![f]_
==========
parses 0^{n}1^{2n}; but fail again.
[0]0111
[1]X111
X[1]111
X[2]Y11
XY[2]11
XY[3]Y1
X[3]YY1
[3]XYY1
X[0]YY1
XY[4]Y1
XYY[4]1
XYY[a]1
XYY1[a]_
XYY1_[b]_
XYY1_[b]E
XYY1_E[c]_
XYY1_E[c]r
XYY1_Er[d]_
XYY1_Er[d]r
XYY1_Err[e]_
XYY1_Err[e]!
XYY1_Err![f]_
==========
parses 0^{n}1^{2n}; success!.
[0]001111
[1]X01111
X[1]01111
X0[1]1111
X0[2]Y111
X0Y[2]111
X0Y[3]Y11
X0[3]YY11
X[3]0YY11
[3]X0YY11
X[0]0YY11
X[1]XYY11
XX[1]YY11
XXY[1]Y11
XXYY[1]11
XXYY[2]Y1
XXYYY[2]1
XXYYY[3]Y
XXYY[3]YY
XXY[3]YYY
XX[3]YYYY
X[3]XYYYY
XX[0]YYYY
XXY[4]YYY
XXYY[4]YY
XXYYY[4]Y
XXYYYY[4]_
XXYYYY[5]_
XXYYYY_[6]_
XXYYYY_[6]O
XXYYYY_O[7]_
XXYYYY_O[7]K
XXYYYY_OK[8]_
XXYYYY_OK[8]!
XXYYYY_OK![9]_
```