Синтаксический анализатор

[Utkin]

быть логическое выражение или переменная

Собственно переменную можно рассматривать как логическое выражение...

[Arturko]

Вообщем надо сначала составить правила, а уже потом писать код.
Вот что у меня получилось для моего куска кода.

if (CEdit1.Text='') and (KEdit2.Text='') then begin ShowMessage('Please enter data'); exit end;

if (<выражение>) and (<выражение>) then begin <инструкция>; exit end;
<выражение>::=<идентификатор> = '<?>'
<инструкция>::=<идентификатор>('<?> ')

Исходя из моих правил:
в выражении слева от знака равно может быть любое введённое слово - идентификатор, что справа от равно, надо ещё разобраться.
в инструкции тоже любой идентификатор а вот что в скобках, тоже надо разобраться.

Помоему теперь понятно когда нужно выводить ошибки, а когда нет.

Ну как? В чём ошибки? Знаки вопроса - как обозвать то, что будет вводиться в ковычках?

[Arturko]

Дальнейшие мысли: забить все ключевые слова в массив, а дальше проверять, например если после ключевого слова if нет скобки - выводим ( expected, если после ключевой скобки нет выражения - выводим statement expected и т.д.

Но это потом, сейчас главное правильно составить правила.

[Utkin]

Вы еще забыли короткую форму условия.

(<выражение>) and (<выражение>)

Это какая-то бяка. Условие описывают обычно так:
if условие then действие
А вот условие уже должно включать и and и or и пр. Разбор условий поможет и для других операторов - например, while.

например если после ключевого слова if нет скобки - выводим ( expected, если после ключевой скобки нет выражения - выводим statement expected и т.д.

А как насчет:

if FileExists(FileName) then result=0;

[Arturko]

Правила пишем для конкретного кода, поэтому думаю тут без and нельзя, а если есть and, то после if будет скобка.

[Utkin]

Правила пишем для конкретного кода, поэтому думаю тут без and нельзя, а если есть and, то после if будет скобка.

Вы явно противоречите правилам языка. Думаю стоит все-таки прояснить ситуацию. А если там будет несколько and? Препод ведь не зря про рекурсию писал... А вложенные скобки в рекурсии милое дело.

[Arturko]

<Условие>::<идентификатор>=<идентиф икатор> |<идентификатор>=<число> |<число>=<идентификатор> |<идентификатор>=<идентификатор> AND <идентификатор>=<идентификатор>

вы так предлагаете? я же не смогу так описать все правила, дальше мне надо сделать | ... and .... and..... | потом с тремя and, с четырьмя.... бескончено.

Отправил преподу, задал вопрос должно быть именно два условия и один and, или надо описать все возможные варианты if. Кстати в этом примере begin и end тогда тоже не обязательны.

Я всё узнал. Считаем что должно быть обязательно 2 условия, обязательно begin, exit, end. В условии должен быть именно такой литерал, какой описан в правиле, т.е никаких цифр. Идентфиикатор обязательно такого типа, что бы была точка (т.е. текстовое поле), а не просто любой идентификатор.
Вот так будут выглядеть правила:
if (<выражение>) and (<выражение>) then begin <инструкция>; exit end;
<выражение>::=<идентификатор>.<иден тификатор>= <литерал>
<инструкция>::=<идентификатор>(<лит ерал>)
<литерал>::= ''|'Please enter data'

Теперь, когда известны правила (они именно такие, одобрены преподавателем), мы знаем что будет являться ошибкой, а что нет. Помогите пожалуйста с кодом, с чего начать? Какие лексемы заносить в массив, как сравнивать, и главное, как тут использовать рекурсию? Идею хотя бы, буду пробовать сам.

----
форум - не чат - есть что добавить к вашему крайнему сообщению - нажимайте на нём кнопку "Правка" и редактируйте/дописывайте...

Модератор

[s-andriano]

Сообщение от Arturko

Вообщем надо сначала составить правила, а уже потом писать код.

Сначала нужно четко сформулировать условия задачи, а только потом приниматься за решение.
Пока условия никому не понятны (что видно из обсуждения).

[Serge_Bliznykov]

Сначала нужно четко сформулировать условия задачи, а только потом приниматься за решение.
Пока условия никому не понятны (что видно из обсуждения).

да нет. мне лично ТЕПЕРЬ условия задачи понятны.
пост выше #57 более-менее внятный. и теперь понятны правила, по которым должна проверяться введённая конструкция.

Осталось вспомнить/найти/изучить/разобрать метод рекурсивного спуска и написать его реализацию, и всё, задача решена

[Arturko]

В этом и проблема. Можете помочь с рекурсивным спуском?