diff options
author | Adrian Kummerlaender | 2015-02-23 19:03:16 +0100 |
---|---|---|
committer | Adrian Kummerlaender | 2015-02-23 19:03:16 +0100 |
commit | 0dde43edac6817c3f0a237d25c2054c0ee75926c (patch) | |
tree | 037d04fd230f5aa613b6e8b3030e93973f5566b9 /example/turing/README.md | |
parent | 41b63eff7f76e6574ef238f821dad0212a619c2a (diff) | |
download | TypeAsValue-0dde43edac6817c3f0a237d25c2054c0ee75926c.tar TypeAsValue-0dde43edac6817c3f0a237d25c2054c0ee75926c.tar.gz TypeAsValue-0dde43edac6817c3f0a237d25c2054c0ee75926c.tar.bz2 TypeAsValue-0dde43edac6817c3f0a237d25c2054c0ee75926c.tar.lz TypeAsValue-0dde43edac6817c3f0a237d25c2054c0ee75926c.tar.xz TypeAsValue-0dde43edac6817c3f0a237d25c2054c0ee75926c.tar.zst TypeAsValue-0dde43edac6817c3f0a237d25c2054c0ee75926c.zip |
Added binary incrementer state table to Turing machine example
* reintroduced `BLANK` as the _BLANK_ symbol
* fixed implicit tape expansion in `tape::readSymbol`
Diffstat (limited to 'example/turing/README.md')
-rw-r--r-- | example/turing/README.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/example/turing/README.md b/example/turing/README.md index 84be368..7e0f1b1 100644 --- a/example/turing/README.md +++ b/example/turing/README.md @@ -2,4 +2,4 @@ …is an example implementation of the most conclusive demonstration of how _TypeAsValue_ may be used to perform arbitrary compile time computations: a _Turing machine_. -It prints the initial and final tape states gained by evaluating both a _Mirror_ state transition table and the well known _Busy Beaver_ example. +It prints the initial and final tape states gained by evaluating a _Mirror_ state transition table, a binary incrementer and the well known _Busy Beaver_ example. |