Nfa construction using Thompson's methodHEADmain

1 files changed, 8 insertions, 0 deletions

diff --git a/src/main.rs b/src/main.rs
new file mode 100644
index 0000000..9218791
--- /dev/null
+++ b/src/main.rs
@@ -0,0 +1,8 @@
+mod nfa;
+
+
+fn main() {
+    let mp_rule = "rule MP [A: formula, B: formula] { A } { A -> B } |- { B }";
+
+    println!("Hello, world!");
+}