aboutsummaryrefslogtreecommitdiff
path: root/examples/looptest.ndfa
blob: 37673fd3c73703c97eb2e3cd82bdeab8de6647d1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
Comment: Testing the nondeterministic machine's capability to deal with lambda loops

start: s0
accept: s3

edges:
	s0 0 s1
	s1 lambda: s2
	s2 epsilon: s2
	s1 0 s3
	s2 1 s3
end: