Форум программистов
 

Восстановите пароль или Зарегистрируйтесь на форуме, о проблемах и с заказом рекламы пишите сюда - alarforum@yandex.ru, проверяйте папку спам!

Вернуться   Форум программистов > IT форум > Помощь студентам
Регистрация

Восстановить пароль

Купить рекламу на форуме - 42 тыс руб за месяц

Ответ
 
Опции темы Поиск в этой теме
Старый 25.11.2014, 19:18   #1
vladok00777
 
Регистрация: 30.10.2014
Сообщений: 3
По умолчанию Парсинг формул математической логики

Подскажите, пожалуйста, с чего начать и как действовать при написании парсера (pascal,lazarus) для формул мат.логики? например есть формула
Изображения
Тип файла: png 434к34к.png (6.5 Кб, 129 просмотров)
vladok00777 вне форума Ответить с цитированием
Старый 25.11.2014, 19:39   #2
VIK_aka_TOR
Участник клуба
 
Аватар для VIK_aka_TOR
 
Регистрация: 30.01.2011
Сообщений: 1,578
По умолчанию

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

как в живую "высчитываете" так и в программе считайте.
пишу код не только за печеньки
VIK_aka_TOR вне форума Ответить с цитированием
Старый 25.11.2014, 19:42   #3
WinCoder
Заблокирован
 
Регистрация: 24.11.2014
Сообщений: 721
По умолчанию

Цитата:
с чего начать
с отделения действий от чисел.
WinCoder вне форума Ответить с цитированием
Старый 25.11.2014, 19:54   #4
type_Oleg
Старожил
 
Аватар для type_Oleg
 
Регистрация: 02.03.2008
Сообщений: 2,504
По умолчанию

Там не только действия и числа. Их можно в Pascal описать выражениями, операциями и переменными.
Там еще есть отношения. Например, как вы опишите в Pascal квантор всеобщности - перевернутое A. Он означает " для каждого .. ", " для любого .."
type_Oleg вне форума Ответить с цитированием
Старый 25.11.2014, 20:15   #5
WinCoder
Заблокирован
 
Регистрация: 24.11.2014
Сообщений: 721
По умолчанию

Ну значит надо начать с разделения чисел, действий, и отношений. Я в этой области не силён. Высшую математику не изучал. Школьная + ПТУ.
WinCoder вне форума Ответить с цитированием
Старый 25.11.2014, 20:59   #6
vladok00777
 
Регистрация: 30.10.2014
Сообщений: 3
По умолчанию

я так понимаю, лучше всего бинарное дерево использовать при парсинге? в моем случае смысл кванторов не важен, мне все равно их потом за скобку выносить.
vladok00777 вне форума Ответить с цитированием
Старый 25.11.2014, 21:51   #7
ViktorR
Старожил
 
Регистрация: 23.10.2010
Сообщений: 2,378
По умолчанию

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


Как-то так, ...
Как-то так, ...
ViktorR вне форума Ответить с цитированием
Старый 26.11.2014, 08:24   #8
Utkin
Старожил
 
Аватар для Utkin
 
Регистрация: 04.02.2009
Сообщений: 17,351
По умолчанию

Цитата:
Могу предположить, что для такой задачи следует получить представление о прямой и обратной польской записи (нотации).
Эти знания там необязательны. Пусть разбирает рекурсивно в дерево. Это классический случай разбора выражений.
Маньяк-самоучка
Utkin появился в результате деления на нуль.
Осторожно! Альтернативная логика
Utkin вне форума Ответить с цитированием
Ответ


Купить рекламу на форуме - 42 тыс руб за месяц



Похожие темы
Тема Автор Раздел Ответов Последнее сообщение
Записать следующее рассуждения в виде последовательности формул логики высказываний svich Помощь студентам 0 16.01.2014 00:52
Элементы математической логики. Контрольная работа. Роман Шлежингр Помощь студентам 4 15.05.2012 09:37
Элементы математической логики. Контрольная работа. Роман Шлежингр Помощь студентам 6 30.04.2012 19:08
Алгебра логики. Александр95 Помощь студентам 3 12.04.2011 16:02
Элементы математической логики. Высказывания Vesnushka18 Помощь студентам 1 11.04.2008 17:40