automata.scala
changeset 56 f28824933a66
parent 43 93fc2f18e129