Skip to content
Snippets Groups Projects
Tomáš Pecka's avatar
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
b9be7075
History