НГУ
http://forum.nsu.ru/

Про формулы
http://forum.nsu.ru/viewtopic.php?f=18&t=22777
Страница 1 из 1

Автор:  ignored [ Ср ноя 02, 2011 9:25 pm ]
Заголовок сообщения:  Про формулы

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

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

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

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

Автор:  ostrychmax [ Вт ноя 08, 2011 3:28 am ]
Заголовок сообщения: 

Спасибо очень интересное решение. Возьму на заметку.

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

Автор:  ignored [ Вт ноя 08, 2011 7:42 am ]
Заголовок сообщения: 

ну, решения-то пока что и нету

Автор:  Коба [ Вт ноя 08, 2011 5:52 pm ]
Заголовок сообщения: 

А про какую грамматику речь?

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

Страница 1 из 1 Часовой пояс: UTC + 7 часов
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/