From dd4cb3d36fdcfc132c1be131ebabe97eda0efe6f Mon Sep 17 00:00:00 2001
From: Tomas Pecka <peckato1@fit.cvut.cz>
Date: Thu, 21 Mar 2019 09:34:16 +0100
Subject: [PATCH] Examples of DFTAs

---
 examples2/automaton/DFTA_lisp.xml | 58 +++++++++++++++++++
 examples2/automaton/DFTA_or.xml   | 94 +++++++++++++++++++++++++++++++
 2 files changed, 152 insertions(+)
 create mode 100644 examples2/automaton/DFTA_lisp.xml
 create mode 100644 examples2/automaton/DFTA_or.xml

diff --git a/examples2/automaton/DFTA_lisp.xml b/examples2/automaton/DFTA_lisp.xml
new file mode 100644
index 0000000000..487ea64fa5
--- /dev/null
+++ b/examples2/automaton/DFTA_lisp.xml
@@ -0,0 +1,58 @@
+<?xml version="1.0"?>
+<DFTA>
+	<states>
+		<String>Int</String>
+		<String>List</String>
+	</states>
+	<rankedInputAlphabet>
+		<RankedSymbol>
+			<String>cons</String>
+			<Unsigned>2</Unsigned>
+		</RankedSymbol>
+		<RankedSymbol>
+			<String>int</String>
+			<Unsigned>0</Unsigned>
+		</RankedSymbol>
+		<RankedSymbol>
+			<String>nil</String>
+			<Unsigned>0</Unsigned>
+		</RankedSymbol>
+	</rankedInputAlphabet>
+	<finalStates>
+		<String>List</String>
+	</finalStates>
+	<transitions>
+		<transition>
+			<input>
+				<RankedSymbol><String>nil</String><Unsigned>0</Unsigned></RankedSymbol>
+			</input>
+			<from>
+			</from>
+			<to>
+				<String>List</String>
+			</to>
+		</transition>
+		<transition>
+			<input>
+				<RankedSymbol><String>int</String><Unsigned>0</Unsigned></RankedSymbol>
+			</input>
+			<from>
+			</from>
+			<to>
+				<String>Int</String>
+			</to>
+		</transition>
+		<transition>
+			<input>
+				<RankedSymbol><String>cons</String><Unsigned>2</Unsigned></RankedSymbol>
+			</input>
+			<from>
+				<String>Int</String>
+				<String>List</String>
+			</from>
+			<to>
+				<String>List</String>
+			</to>
+		</transition>
+	</transitions>
+</DFTA>
diff --git a/examples2/automaton/DFTA_or.xml b/examples2/automaton/DFTA_or.xml
new file mode 100644
index 0000000000..b98441f09f
--- /dev/null
+++ b/examples2/automaton/DFTA_or.xml
@@ -0,0 +1,94 @@
+<?xml version="1.0"?>
+<DFTA>
+	<states>
+		<String>T</String>
+		<String>F</String>
+	</states>
+	<rankedInputAlphabet>
+		<RankedSymbol>
+			<String>or</String>
+			<Unsigned>2</Unsigned>
+		</RankedSymbol>
+		<RankedSymbol>
+			<String>t</String>
+			<Unsigned>0</Unsigned>
+		</RankedSymbol>
+		<RankedSymbol>
+			<String>f</String>
+			<Unsigned>0</Unsigned>
+		</RankedSymbol>
+	</rankedInputAlphabet>
+	<finalStates>
+		<String>T</String>
+	</finalStates>
+	<transitions>
+		<transition>
+			<input>
+				<RankedSymbol><String>t</String><Unsigned>0</Unsigned></RankedSymbol>
+			</input>
+			<from>
+			</from>
+			<to>
+				<String>T</String>
+			</to>
+		</transition>
+		<transition>
+			<input>
+				<RankedSymbol><String>f</String><Unsigned>0</Unsigned></RankedSymbol>
+			</input>
+			<from>
+			</from>
+			<to>
+				<String>F</String>
+			</to>
+		</transition>
+		<transition>
+			<input>
+				<RankedSymbol><String>or</String><Unsigned>2</Unsigned></RankedSymbol>
+			</input>
+			<from>
+				<String>T</String>
+				<String>T</String>
+			</from>
+			<to>
+				<String>T</String>
+			</to>
+		</transition>
+		<transition>
+			<input>
+				<RankedSymbol><String>or</String><Unsigned>2</Unsigned></RankedSymbol>
+			</input>
+			<from>
+				<String>T</String>
+				<String>F</String>
+			</from>
+			<to>
+				<String>T</String>
+			</to>
+		</transition>
+		<transition>
+			<input>
+				<RankedSymbol><String>or</String><Unsigned>2</Unsigned></RankedSymbol>
+			</input>
+			<from>
+				<String>F</String>
+				<String>T</String>
+			</from>
+			<to>
+				<String>T</String>
+			</to>
+		</transition>
+		<transition>
+			<input>
+				<RankedSymbol><String>or</String><Unsigned>2</Unsigned></RankedSymbol>
+			</input>
+			<from>
+				<String>F</String>
+				<String>F</String>
+			</from>
+			<to>
+				<String>F</String>
+			</to>
+		</transition>
+	</transitions>
+</DFTA>
-- 
GitLab