examples/looptest.vfsm


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: