diff options
| author | Adrian Kummerlaender | 2015-03-15 11:37:19 +0100 |
|---|---|---|
| committer | Adrian Kummerlaender | 2015-03-15 11:37:19 +0100 |
| commit | 47a81aa2629fe3c729ded7ea6ce2f5eb06e895c4 (patch) | |
| tree | 77326acce23688628300f2597cff03ce3233cbc1 /example/turing/src | |
| parent | 73be8fb60adc4723421e73d38331f793f1d16886 (diff) | |
| download | TypeAsValue-master.tar TypeAsValue-master.tar.gz TypeAsValue-master.tar.bz2 TypeAsValue-master.tar.lz TypeAsValue-master.tar.xz TypeAsValue-master.tar.zst TypeAsValue-master.zip | |
Diffstat (limited to 'example/turing/src')
| -rw-r--r-- | example/turing/src/machine.h | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/example/turing/src/machine.h b/example/turing/src/machine.h index 4a72d94..97cbe4d 100644 --- a/example/turing/src/machine.h +++ b/example/turing/src/machine.h @@ -33,16 +33,18 @@ using updatePosition = tav::Cond< // (define (simulate transition tape state position) // (if (= state FINAL) -// tape +// (cons '(position . tape) +// '()) // (let ((current_state (transition state // (readSymbol position tape)))) -// (simulate transition -// (current_state NEXT) -// (writeSymbol position -// (current_state WRITE) -// tape) -// (updatePosition (current_state MOVE) -// position))))) +// (cons '(position tape) +// (simulate transition +// (current_state NEXT) +// (writeSymbol position +// (current_state WRITE) +// tape) +// (updatePosition (current_state MOVE) +// position)))))) template < template<typename, typename> class Transition, typename State, |