progs/automata.scala
changeset 487 4a22b233a5bf
parent 121 1946e3f773a0