progs/automata.scala
changeset 304 43def0135737
parent 121 1946e3f773a0