#A non-deterministic example
fsa_3 := rec(
 isFSA := true,
 alphabet := rec (type := "simple", size := 2),
 states := rec (type := "simple", size := 3),
 flags := [ "NFA" ],
 initial := [ 1, 3 ],
 accepting := [ 2 ],
 table := rec(
   format := "sparse",
   numTransitions := 8,
   transitions := [
     [ [1,2], [2,2] ],
     [ [1,2], [1,3], [2,1], [2,3] ],
     [ [0,1], [1,3] ]
   ]
 )
);