aboutsummaryrefslogtreecommitdiff
path: root/example/turing
AgeCommit message (Collapse)Author
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-24Replaced `utility::defer_eval` with placeholder-less `Apply`Adrian Kummerlaender
* usage of `Apply` sans placeholders was already possible and as such duplicated `utility::defer_eval` * renamed `apply_none`'s type alias from to `type` to enable combining it with `Eval`
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-22Improved `simulate` function of the Turing machine exampleAdrian Kummerlaender
* introduced `state::state_accessor` helper function and moved position logic into `updatePosition` * added `IsEqual` comparator and expressed other basic comparators in terms of itself
2015-02-21Added `README.md` to the Turing machine exampleAdrian Kummerlaender
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