From 47a81aa2629fe3c729ded7ea6ce2f5eb06e895c4 Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Sun, 15 Mar 2015 11:37:19 +0100
Subject: Updated _Turing machine_ comments to reflect tape logging

---
 example/turing/src/machine.h | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

(limited to 'example/turing/src/machine.h')

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,
-- 
cgit v1.2.3