From c15edae4532f53e7e5bac9dae125c360d93f848d Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Sat, 21 Feb 2015 17:27:52 +0100
Subject: Separated Turing machine implementation into components * i.e.
 separate namespaces and headers for _Tape_ and _State_ functions * `void` is
 now used as the `BLANK` field value

---
 example/turing/src/state.h | 64 ++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 64 insertions(+)
 create mode 100644 example/turing/src/state.h

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

diff --git a/example/turing/src/state.h b/example/turing/src/state.h
new file mode 100644
index 0000000..f5bd7f2
--- /dev/null
+++ b/example/turing/src/state.h
@@ -0,0 +1,64 @@
+#ifndef TYPEASVALUE_EXAMPLE_TURING_SRC_STATE_H_
+#define TYPEASVALUE_EXAMPLE_TURING_SRC_STATE_H_
+
+#include "type.h"
+#include "list/list.h"
+#include "list/operation/higher/find.h"
+
+namespace machine {
+
+namespace state {
+
+struct field {
+	using ID    = tav::Size<0>;
+	using READ  = tav::Size<1>;
+	using WRITE = tav::Size<2>;
+	using NEXT  = tav::Size<3>;
+	using MOVE  = tav::Size<4>;
+};
+
+// (define (state_predicate id read)
+//   (lambda (state)
+//           (and (= id   (nth ID   state))
+//                (= read (nth READ state)))))
+template <
+	typename Id,
+	typename Read
+>
+struct state_predicate {
+	template <typename State>
+	using function = tav::And<
+		tav::IsEqualValue<Id,   tav::Nth<field::ID,   State>>,
+		tav::IsEqualValue<Read, tav::Nth<field::READ, State>>
+	>;
+};
+
+// (define (findState id read states)
+//   (find (state_predicate id read) states))
+template <
+	typename Id,
+	typename Read,
+	typename States
+>
+using findState = tav::Find<
+	state_predicate<Id, Read>::template function,
+	States
+>;
+
+// (define (transition states)
+//   (lambda (state symbol)
+//           (findState state symbol states)))
+template <typename States>
+struct transition {
+	template <
+		typename State,
+		typename Symbol
+	>
+	using state = findState<State, Symbol, States>;
+};
+
+}
+
+}
+
+#endif // TYPEASVALUE_EXAMPLE_TURING_SRC_STATE_H_
-- 
cgit v1.2.3