automata.scala
changeset 88 6e716ecf2db4
parent 43 93fc2f18e129