progs/automata/thompson.sc
changeset 740 cdfc278e37b9
parent 733 4d37ccc8c5be
child 742 155426396b5f