# File Parser.rb, line 32 def initialize(dea) @atable = ATable.new(dea) @utable = UTable.new(dea) @start = @utable.getnamehs.invert[dea.getStartZustand().to_s] @symbols = @utable.getsymbole.values end