Fix of the algorithm for computing simulations in Ilie, Navarro, Yu: On NFA Reductions. Theory Is Forever 2004: 112-124
Primary LanguageTeX