ParkerTenBroeck/automata
1
0
Fork 0
mirror of https://github.com/ParkerTenBroeck/automata.git synced 2026-06-06 21:24:06 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

sync

Browse source
This commit is contained in:
Parker TenBroeck 2025-12-22 13:13:45 -05:00
parent d34136f70b
commit e4c7a309d2
2 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
example.npda
View file

@ -14,8 +14,7 @@ d(q0, epsilon, B) = { (q0, [A B]), (q0, [B B]) }
// transition to q1 // transition to q1
d(q0, epsilon, z0) = { (q1, z0) } d(q0, epsilon, z0) = { (q1, z0) }
d(q0, epsilon, A) = { (q1, A) } d(q0, epsilon, A) = { (q1, A) }
d(q0, epsilon, B) = { (q1, B) }
//d(q0, epsilon, B) = { (q1, B) }
// consume stack until empty // consume stack until empty
d(q1, a, A) = { (q1, epsilon) } d(q1, a, A) = { (q1, epsilon) }

2
src/main.rs
View file

@ -18,7 +18,7 @@ fn main() {
} }
}; };
let input = "aababaab"; let input = "aababdsaab";
println!("running on: '{input}'"); println!("running on: '{input}'");
let mut simulator = npda::Simulator::begin(input, table); let mut simulator = npda::Simulator::begin(input, table);
loop { loop {