# File Automaten.rb, line 726 def initialize(grammar) @grammar = grammar @start = @grammar.getStartsymbol.getName end