fsa_2 := rec (
 isFSA := true,
 alphabet := rec (type := "simple", size := 2),
 states := rec (type := "simple", size := 2),
 flags := [ "DFA", "minimized" ],
 initial := [ 1 ],
 accepting := [ 2 ],
 table := rec(
   format :=  "dense deterministic",
   transitions := [
     [0, 2],
     [2, 2]
   ]
 )
);

#Note that the language of fsa_1 is identical to the language of fsa_2
#(i.e. all strings starting with the second symbol), and
#fsa_2 is a minimized form of fsa_1.