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: