progs/automata.scala
changeset 439 e27ff222fef3
parent 121 1946e3f773a0