Please use this identifier to cite or link to this item:
https://elib.bsu.by/handle/123456789/256182
Title: | Новое доказательство алгоритмической неразрешимости проблемы грамматического разбора для грамматик типа 0 |
Authors: | Мощенский, В. А. |
Keywords: | ЭБ БГУ::ЕСТЕСТВЕННЫЕ И ТОЧНЫЕ НАУКИ::Математика |
Issue Date: | 1993 |
Publisher: | Минск : Университетское |
Citation: | Вестник Белорусского государственного университета. Сер. 1, Физика. Математика. Механика. – 1993. – № 3. – С. 45-47. |
Abstract: | 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 |
Licence: | info:eu-repo/semantics/openAccess |
Appears in Collections: | 1993, №3 (сентябрь) |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.