aboutsummaryrefslogtreecommitdiff
path: root/example/turing/turing.cc
AgeCommit message (Collapse)Author
2015-03-15Updated _Turing machine_ comments to reflect tape loggingHEADmasterAdrian Kummerlaender
2015-03-14Implemented basic tape log printout in _Turing_ exampleAdrian Kummerlaender
* `machine::simulate` now returns a list of all tape states and corresponding head positions * rewrote some of the actual print logic in terms _TypeAsValue_
2015-03-07Changed `tav::Apply` implementation selection to template aliasAdrian Kummerlaender
* there is no reason to differ from the rest of the library and use inheritance in this instance * added link to blog article on the _Scheme metaphor_ to `README.md`
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