diff --git a/example.npda b/example.npda index e228825..9579916 100644 --- a/example.npda +++ b/example.npda @@ -14,8 +14,7 @@ d(q0, epsilon, B) = { (q0, [A B]), (q0, [B B]) } // transition to q1 d(q0, epsilon, z0) = { (q1, z0) } d(q0, epsilon, A) = { (q1, A) } - -//d(q0, epsilon, B) = { (q1, B) } +d(q0, epsilon, B) = { (q1, B) } // consume stack until empty d(q1, a, A) = { (q1, epsilon) } diff --git a/src/main.rs b/src/main.rs index 2b4b0e8..51eccca 100644 --- a/src/main.rs +++ b/src/main.rs @@ -18,7 +18,7 @@ fn main() { } }; - let input = "aababaab"; + let input = "aababdsaab"; println!("running on: '{input}'"); let mut simulator = npda::Simulator::begin(input, table); loop {