progs/automata/thompson.sc
changeset 955 47acfd7f9096
parent 932 5678414a3898
child 967 ce5de01b9632