progs/automata.scala
changeset 289 08b5ddbc7e55
parent 121 4fc05d4f0e01