НГУ

Форумы НГУ
Текущее время: Вт ноя 19, 2019 4:21 am

Часовой пояс: UTC + 7 часов




Начать новую тему Ответить на тему  [ Сообщений: 4 ] 
Автор Сообщение
 Заголовок сообщения: Про формулы
СообщениеДобавлено: Ср ноя 02, 2011 9:25 pm 
Не в сети
Частый гость

Зарегистрирован: Сб апр 02, 2005 4:34 pm
Сообщения: 83
Откуда: Игорь Д.
Сегодня, путешествуя между остановкой и домом, я вдруг задумался о том, как грамматикой задать некую схему аксиом, да к примеру хотя бы что-нибудь вроде
.

Пришёл к выводу, что задача на самом деле очень не простая, и идей, как это сделать, я не представляю - даже для простого случая придумать адекватную схему замен не получается.

Проблему для себя я нашёл в том, что в данном случае несмотря на то, что из A, B и C (в простом случае A) можно по идее выводить любую формулу, в разных вхождениях формула должна выводиться одна и та же.

На всякий случай уточню правила для вывода формул, которые я использовал:


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вт ноя 08, 2011 3:28 am 
Спасибо очень интересное решение. Возьму на заметку.

N.Ch.: Ссылка за смайлом почикана, аффтар тоже.


Вернуться к началу
  
 
 Заголовок сообщения:
СообщениеДобавлено: Вт ноя 08, 2011 7:42 am 
Не в сети
Частый гость

Зарегистрирован: Сб апр 02, 2005 4:34 pm
Сообщения: 83
Откуда: Игорь Д.
ну, решения-то пока что и нету


Вернуться к началу
 Профиль  
 
 Заголовок сообщения:
СообщениеДобавлено: Вт ноя 08, 2011 5:52 pm 
Не в сети
Непрерывный писатель

Зарегистрирован: Пт июн 18, 2004 10:34 pm
Сообщения: 4435
Откуда: Сергей Подзоров
А про какую грамматику речь?

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

_________________
Don't let the sun blast your shadow
Don't let the milk float ride your mind


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 4 ] 

Часовой пояс: UTC + 7 часов


Кто сейчас на конференции

Сейчас этот форум просматривают: Google [Bot] и гости: 3


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

Найти:
Перейти:  
Создано на основе phpBB® Forum Software © phpBB Group
Русская поддержка phpBB