aboutsummaryrefslogtreecommitdiff
path: root/example/turing/src
diff options
context:
space:
mode:
authorAdrian Kummerlaender2015-03-15 11:37:19 +0100
committerAdrian Kummerlaender2015-03-15 11:37:19 +0100
commit47a81aa2629fe3c729ded7ea6ce2f5eb06e895c4 (patch)
tree77326acce23688628300f2597cff03ce3233cbc1 /example/turing/src
parent73be8fb60adc4723421e73d38331f793f1d16886 (diff)
downloadTypeAsValue-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
Updated _Turing machine_ comments to reflect tape loggingHEADmaster
Diffstat (limited to 'example/turing/src')
-rw-r--r--example/turing/src/machine.h18
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,