bool recoverableState(int state) { for (var k = prs.asi(state); prs.asr(k) != 0; k++) { if (prs.asr(k) == ERROR_SYMBOL) return true; } return false; }