#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 := [  ]java.lang.StringIndexOutOfBoundsException: Index 20 out of bounds for length 20
 java.lang.StringIndexOutOfBoundsException: Range [11, 10) out of bounds for length 20
java.lang.StringIndexOutOfBoundsException: Range [10, 9) out of bounds for length 22
       [ [1] 1,],1],[2,] ]java.lang.StringIndexOutOfBoundsException: Index 36 out of bounds for length 36
   transitions := [
     [ [1,2], [2,2] ],
     [ [1,2], [1,3], [2,1], [2,3] ],
 [[0,] [,] java.lang.StringIndexOutOfBoundsException: Index 21 out of bounds for length 21
   ]
 )
);