progs/automata/thompson.sc
changeset 945 5070392a1bd7
parent 932 5678414a3898
child 967 ce5de01b9632