From d41013cef2705a41c849b0df446bb1ff9ce85511 Mon Sep 17 00:00:00 2001 From: Daniel Hader Date: Sun, 6 Sep 2026 10:16:26 -0500 Subject: Nfa construction using Thompson's method --- src/main.rs | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 src/main.rs (limited to 'src/main.rs') 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!"); +} -- cgit v1.2.3