Множества выбора. Процедурная реализация рекурсивного спуска, страница 2

return TRUE; // применяем это правило, т. е. не делаем ничего и возвращаемся

return FALSE; // очередной терминал не входит ни в одно множество выбора, поэтому останов по ошибке

}

bool V() {

switch (CurrentLexem) { // здесь использована другая техника проверки очередного терминала

case ‘(‘ : // в этом случае должно применяться правило V : ( S )

CurrentLexem = GetLexem(); // прочитаем следующий терминал

if ( S() == FALSE ) // вызовем S(), и если она обнаружит ошибку,

return FALSE; // остановимся

if ( CurrentLexem != ‘)’ ) // если ошибки не было, то очередным терминалом должна быть скобка )

return FALSE; // если нет – остановимся

// если да, действуем так же, как в случае правил V : i и V : c

case ‘i’ : // это правило V : i

case ‘c’ : // это правило V : c

CurrentLexem = GetLexem(); // прочитаем следующий терминал

break; // и на выход

default : // очередной терминал не входит ни в одно множество выбора

return FALSE; // остановимся по ошибке

}

return TRUE; // возвратимся для продолжения разбора

}

( x + y ) * z u

Такт

Вход

(

)

Функция

Стек

1 2 3 4 5