fsa_1 := rec (
	isFSA := true,
	alphabet := rec (type := "simple", size := 2),
	states := rec (type := "simple", size := 3),
	flags := [ "DFA" ],
	initial := [ 1 ],
	accepting := [ 2, 3 ],
	table := rec(
	  format := "sparse",
	  transitions:=[
	     [ [2, 2] ],
	     [ [1, 2], [2, 3] ],
	     [ [1, 2], [2, 3] ]
	  ]
	)
);
