Парсинг формул математической логики

[vladok00777]

Подскажите, пожалуйста, с чего начать и как действовать при написании парсера (pascal,lazarus) для формул мат.логики? например есть формула

[VIK_aka_TOR]

а парсить вы картинку собираетесь или же введенную через "вашу" программу информацию?

как в живую "высчитываете" так и в программе считайте.

[WinCoder]

с чего начать

с отделения действий от чисел.

[type_Oleg]

Там не только действия и числа. Их можно в Pascal описать выражениями, операциями и переменными.
Там еще есть отношения. Например, как вы опишите в Pascal квантор всеобщности - перевернутое A. Он означает " для каждого .. ", " для любого .."

[WinCoder]

Ну значит надо начать с разделения чисел, действий, и отношений. Я в этой области не силён. Высшую математику не изучал. Школьная + ПТУ.

[vladok00777]

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

[ViktorR]

Могу предположить, что для такой задачи следует получить представление о прямой и обратной польской записи (нотации).
Интернет (вместо флага) Вам в руки.


Как-то так, ...

[Utkin]

Могу предположить, что для такой задачи следует получить представление о прямой и обратной польской записи (нотации).

Эти знания там необязательны. Пусть разбирает рекурсивно в дерево. Это классический случай разбора выражений.