Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот документ:
https://elib.bsu.by/handle/123456789/256182
Заглавие документа: | Новое доказательство алгоритмической неразрешимости проблемы грамматического разбора для грамматик типа 0 |
Авторы: | Мощенский, В. А. |
Тема: | ЭБ БГУ::ЕСТЕСТВЕННЫЕ И ТОЧНЫЕ НАУКИ::Математика |
Дата публикации: | 1993 |
Издатель: | Минск : Университетское |
Библиографическое описание источника: | Вестник Белорусского государственного университета. Сер. 1, Физика. Математика. Механика. – 1993. – № 3. – С. 45-47. |
Аннотация: | A generative grammar of type 0 is constructed which has unsolvable grammar analysis problem. This construction uses Zeitin's calculus with unsolvable equality word problem |
URI документа: | https://elib.bsu.by/handle/123456789/256182 |
ISSN: | 0321-0367 |
Лицензия: | info:eu-repo/semantics/openAccess |
Располагается в коллекциях: | 1993, №3 (сентябрь) |
Все документы в Электронной библиотеке защищены авторским правом, все права сохранены.