progs/automata.scala
changeset 344 8686ae7174c3
parent 121 1946e3f773a0