progs/automata.scala
changeset 394 9c0b7d676c7d
parent 121 1946e3f773a0