Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- [debug] ?- setof(I-J,e_closure(nfa([0,1,2,3],[a,b],[(0,a,1),(0,b,1),(0,epsilon,1),(1,epsilon,0),(1,b,3),(1,a,2)],0,[2]),I,J),Closure).
- Closure = [_3420-_3420, 0-1, 1-0].
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement