progs/automata/thompson.sc
changeset 944 f5d2453c5640
parent 932 5678414a3898
child 967 ce5de01b9632