aboutsummaryrefslogtreecommitdiff
path: root/example/turing/turing.cc
AgeCommit message (Collapse)Author
2015-02-23Added binary incrementer state table to Turing machine exampleAdrian Kummerlaender
* reintroduced `BLANK` as the _BLANK_ symbol * fixed implicit tape expansion in `tape::readSymbol`
2015-02-21Moved Turing machine printing into separate functionAdrian Kummerlaender
2015-02-21Separated Turing machine implementation into componentsAdrian Kummerlaender
* i.e. separate namespaces and headers for _Tape_ and _State_ functions * `void` is now used as the `BLANK` field value
2015-02-21Implemented basic Turing machine as an exampleAdrian Kummerlaender
* executes and prints the _Busy Beaver_ and _Mirror_ state transitions * this example demonstrates how one may use _TypeAsValue_ to simplify and augment normal statically recursive template metaprograms where it makes sense