diff --git a/examples2/automaton/DFTA_lisp.xml b/examples2/automaton/DFTA_lisp.xml
new file mode 100644
index 0000000000000000000000000000000000000000..487ea64fa59b58a85145522ef95d2d5bd0051f33
--- /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 0000000000000000000000000000000000000000..b98441f09f5ca723693fc7dd594dccebc875c27e
--- /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>