Abstrakt
V našem příspěvku postupně zavádíme rozšíření redukčních restartovacích automatů o tzv. neukotvená pravidla. Tohoto rozšíření využíváme pro vyhledávání syntaktických chyb a zotavení z nich.
Vyhledávány jsou zde dva typy chyb: chyby vzhledem ke korektnímu prefixu a nejbližší chyby za speciálními symboly. Tyto symboly nazýváme hlavičkami.
Výhodou zkoumaných typů chyb je, že umožňují přesnou lokalizaci na jediném místě a práci bez falešných chybových hlášek