progs/automata/thompson.sc
changeset 1012 c01dfa3ff177
parent 1008 eeeba9f76201