Програмування обробника синтаксичних помилок

Треба доповнити таблицю переходів ПСА (п.4.8) інформацією про сутність помилки при попаданні в «не правильні комірки» таблиці та розширити програмне забезпечення п.4.8.

Для наведеної вище граматики опису змінних заплануємо текстове пояснення таких синтаксичних помилок:

1) замість ключового слова var записано інше, наприклад, vart – при наборі зачипили літеру t (на клавіатурі r і t розташовані поруч). Лексичний аналізатор розпізнає vart як токен “ідентификатор” (id).

vart a12: char;

В комірку М[<оператор_опису_змінних>, id ] поміщуємо call error#1(“vart”).

2) У списку змінних між двома змінними замість коми проставлено інший символ, наприклад, крапка (переплутано регістр при наборі в українському алфавіті).

var a12.bc: integer;

Оскільки у таблиці аналізу відсутня комірка М[<спис_імен_зм2>, “. ”], до неї нового не додаємо.

3) Після списку змінних замість роздільника “: ” стоїть інший символ:

var a12;char;

В комірку М<спис_імен_зм2>, “; ”] поміщуємо call error#3(“ Перед типом змінних має бути символ двокрапки, а не крапки з комою ”).

Граматика, таблиця аналізу якої не має множинних записів, називається LL(1). Перше " L " означає перегляд вхідного потоку зліва направо, друге " L "– ліве породження, а " 1 " – перегляд одного символу із вхідного потоку на кожному кроці для прийняття рішення про подальші дії. Можна показати, що алгоритм 5.2 для кожної LL(1)-граматики G будує таблицю аналізу, що розбирає всі речення G, і тільки їх.

LL(1)-граматики мають ряд відмітних властивостей. Така граматика не може бути неоднозначною або ліворекурсивною. Можна також показати, що граматика G є LL(1)-граматикою тоді й тільки тоді, коли для будь-яких двох різних її продукцій А::= α | β виконуються наступні умови.

1. Не існує такого термінала а, для якого і α, і β породжують рядок, що починається з а.

2. Порожній рядок може породжувати тільки одна із продукций αабо β.