From f912cb53b97d52bbeafc4d007889f1cfaf7ea252 Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Fri, 29 Nov 2019 20:21:40 +0000
Subject: [PATCH] Add notes

---
 automata.txt | 13 +++++++++++++
 todo.txt     |  2 ++
 2 files changed, 15 insertions(+)
 create mode 100644 automata.txt
 create mode 100644 todo.txt

diff --git a/automata.txt b/automata.txt
new file mode 100644
index 0000000..2a4edc2
--- /dev/null
+++ b/automata.txt
@@ -0,0 +1,13 @@
+NFA: a(bc)*
+
+Just a = nfa [ (1,[(only "a",2)],[]), (2,[(only "b",3)],[]), (3,[(only "c",4)],[]), (4,[],[2]) ] 1 [4] :: Maybe (Nfa Int Char)
+
+
+NFA: .*a.
+
+Just a = Nfa.nfa [ (1,[(allExcept "",1),(only "a",2)],[]), (2,[(allExcept "",3)],[]), (3,[],[]) ] 1 [3]
+
+
+NFA: .*(hello|world).*
+
+Just a = Nfa.nfa [ (1,[(allExcept "",1)],[2,9]), (2,[(only "h",3)],[]), (3,[(only "e",4)],[]), (4,[(only "l",5)],[]), (5,[(only "l",6)],[]), (6,[(only "o",7)],[]), (7,[],[8]), (8,[(allExcept "",8)],[]), (9,[(only "w",10)],[]), (10,[(only "o",11)],[]), (11,[(only "r",12)],[]), (12,[(only "l",13)],[]), (13,[(only "d",14)],[]), (14,[],[8]) ] 1 [8]
diff --git a/todo.txt b/todo.txt
new file mode 100644
index 0000000..11a2203
--- /dev/null
+++ b/todo.txt
@@ -0,0 +1,2 @@
+- When miminizing DFAs, remove inaccessible states first
+- Don't show inaccessible states with dfaToDotWithTokens