automata.scala
changeset 52 0874de7bdbd8
parent 43 93fc2f18e129