progs/automata/thompson.sc
changeset 954 eda0ccf56c72
parent 932 5678414a3898
child 967 ce5de01b9632