Logo BSU

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот документ: 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 (сентябрь)

Полный текст документа:
Файл Описание РазмерФормат 
45-47.pdf1,06 MBAdobe PDFОткрыть
Показать полное описание документа Статистика Google Scholar



Все документы в Электронной библиотеке защищены авторским правом, все права сохранены.