Тип публикации: диссертация
Год издания: 2006
Аннотация: Предложен метод мономиальных меток, дающий алгоритм беступикового синтаксического анализа мономов (программ) контекстно-свободных языков программирования. Решена проблема распознавания коммутативных образов контекстно-свободных языков, что дает принципиальное продвижение в решении проблемы академика В.М. Глушкова распознавания контПоказать полностьюекстно-свободных языков Хомского. В качестве необходимого промежуточного этапа решена проблема установления алгебраичности суммы степенного ряда, получен критерий алгебраичности, обобщающий критерий Кронекера о рациональности, который связывает рациональность суммы ряда с обращением в нуль последовательности определителей Ганкеля. Получены необходимые и отдельно достаточные условия принадлежности формального языка классу контекстно-свободных языков. Установлена связь между контекстно-свободными языками над алфавитом с n-терминальными символами и линейными (наиболее простыми) языками над алфавитом, содержащим n+1 терминальный символ. Введен и изучен класс нелинейных аффинных контекстно-свободных языков, определяемый в соответствии со свойствами грамматики языка; получено частичное решение проблемы установления свойств контекстно-свободных языков по свойстам их грамматик в форме Хомского - Щютценберже.