Cтраница 3
Остается только показать, что LI и L2 - контекстно-свободные языки. [31]
Гинзбург и Спейнер подробно исследовали подсемейство контекстно-свободных языков - ограниченные контекстно-свободные языки, которые много лучше ведут себя по. Для подробного знакомства с этими языками мы отсылаем читателя к гл. [32]
Существуют ( L ( n) log n) - разрешимые нерегулярные контекстно-свободные языки. [33]
Дерево свертывания ариф. [34] |
Все дальнейшие рассуждения этого параграфа относятся только к каноническому свертыванию контекстно-свободных языков. [35]
Поскольку известно, что все контекстно-свободные языки являются контекстно-связанными и существуют контекстно-свободные языки, не являющиеся языками сетей Петри, приходим к выводу, что существуют контекстно-связанные языки, не являющиеся языками сетей Петри. [36]
Прежде всего мы покажем, что каждая рекурсивная схема Е имеет контекстно-свободный язык значений. [37]
Существуют ( L ( n) log log n) - разрешимые нерегулярные контекстно-свободные языки. [38]
Большинство языков программирования удовлетворяют этому требованию или достаточно хорошо аппроксимируются некоторым контекстно-свободным языком. Система обозначений БНФ эквивалентна типу 2 по Хомскому. Поэтому языки, определенные с помощью 6НФ ( такие, как АЛГОЛ), принадлежат типу 2 по Хомскому. [39]
Существуют ( L ( ri) - log log я) - разрешимые нерегулярные контекстно-свободные языки. [40]
В завершающей книгу 13 главе показано, как могут применяться в изучении контекстно-свободных языков формальные степенные ряды от некоммутативных переменных и принадлежащие Щютценберже алгебраические методы. [41]
Поэтому класс языков, разрешимых односторонними магазинными машинами, образует собственное подмножество класса контекстно-свободных языков. Как показано в [1], существует единственный класс сложности, содержащий нерегулярные множества, а именно класс ( L ( n) n) - разрешимых множеств. [42]
Применение системной методологии и методов теории множеств, математического программирования, теории алгоритмов и контекстно-свободных языков придает процессу поиска конструктивных решений аксиоматический характер. [43]
Им же в результате специализации одной из этих моделей в 1959 г. было выделено семейство контекстно-свободных языков. [44]
Операции, предложенные в статьях Груски ( см. этот сборник), Мак-Вертера и Интемы для порождения контекстно-свободных языков, несколько отличаются, хотя и тесно связаны между собой. Эта связь - фактически, сведение некоторых операций к другим - рассматривается в статье Груски. Поставленная в этой статье задача о минимальном числе вспомогательных символов не сводится к задаче о звездной глубине подстановочного выражения, решаемой в статье Мак-Вертера, хотя эти задачи и связаны одна с другой. [45]