progs/automata/thompson.sc
changeset 952 33b3e790e1d4
parent 932 5678414a3898
child 967 ce5de01b9632