Tomáš Pecka
authored
- FA -> LRG: fix double addition of rules - Glushkov: use different state/nonterminal names. Names are generated via hexavigesimal with symbol id appended - Thompson: use different state names - Brzozowski: fix numbering - start at 0 so hexavigesimal starts properly at A - RRG -> FA: if createUnique is used, then use A' instead of A0 - tests: correct exit values to determine if process reached timeout or segfault