progs/dfa.scala
changeset 697 f5655aa04cac
parent 623 8e63f9745f46