# File dfa.rb, line 50
  def initialize(s0, finals=[])
    @start = s0
    @state = @start
    @finals = finals
  end