Компиляторы

[s-andriano]

Ну тогда понятно.
В данном случае, как видно, следует составить набор правил грамматики для оператора for.
Шаблон оператора известен. Очевидно, он будет основным элементом грамматики.
В шаблон помимо неизменных членов (терминальных символов) входят и те, которые могут быть записаны по-разному:
- переменная цикла,
- нижний предел цикла,
- верхний предел цикла,
- блок операторов, выполняемых в цикле.
Причем последний в данном конкретном случае состоит из единственного оператора присваивания.

Т.е. первая процедура должна найти элементы цикла for и проверить терминальные символы этой конструкции, а затем вызвать из себя блоки проверки корректности указанных выше 4-х частей. Те, в свою очередь, также могут вызывать блоки проверки своих составляющих, например, при проверке оператора присваивания может вызывать функции для проверки отдельно правой и отдельно левой части.

[Виталюкас]

Сообщение от s-andriano

Ну тогда понятно.
В данном случае, как видно, следует составить набор правил грамматики для оператора for.
Шаблон оператора известен. Очевидно, он будет основным элементом грамматики.
В шаблон помимо неизменных членов (терминальных символов) входят и те, которые могут быть записаны по-разному:
- переменная цикла,
- нижний предел цикла,
- верхний предел цикла,
- блок операторов, выполняемых в цикле.
Причем последний в данном конкретном случае состоит из единственного оператора присваивания.

Т.е. первая процедура должна найти элементы цикла for и проверить терминальные символы этой конструкции, а затем вызвать из себя блоки проверки корректности указанных выше 4-х частей. Те, в свою очередь, также могут вызывать блоки проверки своих составляющих, например, при проверке оператора присваивания может вызывать функции для проверки отдельно правой и отдельно левой части.

Верно только как это записать?

[Виталюкас]

ну а вот и сам результат:

<инстр>::= <перем>:=<выр>|for<инстр>to<выр>do< инстр>;

<поле компонента>::=<перем>.<перем>|<пере м>.<перем>.<перем>

<выр>::= <терм>+<терм>|<терм>-<терм>

<терм>::= <перем>|(<выр>)

[Виталюкас]

Сообщение от Виталюкас

ну а вот и сам результат:

<инстр>::= <перем>:=<выр>|for<инстр>to<выр>do< инстр>;

<поле компонента>::=<перем>.<перем>|<пере м>.<перем>.<перем>

<выр>::= <терм>+<терм>|<терм>-<терм>

<терм>::= <перем>|(<выр>)

вот чего требовалось в этой теме.