progs/automata/thompson.sc
changeset 750 40b7efa5fbed
parent 742 155426396b5f
child 753 30ea6b01db46