aboutsummaryrefslogtreecommitdiff
path: root/examples/nondet.vfsm
blob: dad024a316d83efc59cf81d74454c281475ed56b (plain) 
1
2
3
4
5
6
7
8
9
10
11

start: s0

accept: s3

edges:
	s0 epsilon: s3
	s0 a s1
	s0 a s2
	s1 a s3
	s2 b s3
end:
generated by cgit v1.2.1 (git 2.18.0) at 2024-09-19 21:37:48 +0000