progs/automata/thompson.sc
changeset 979 398a37bc784c
parent 967 ce5de01b9632