Грамматика - тип
Cтраница 1
Грамматики типа / называют контекстными грамматиками. [1]
Грамматика типа 3 допускает табличную форму записи. Такая форма G c для ВС содержит 20X17 элементов. Удобно перейти к канонической форме таблицы. Табличная форма представления работы БВУВ позволяет непосредственно перейти к его реализации в ПОМП устройства СПИ. При этом обеспечивается простота модификации ПО при изменении версии протокола. [2]
Наиболее общие грамматики типа 0 не накладывают никаких ограничений на правила подстановки. Применительно к языкам программирования они обладают излишней общностью. [3]
В грамматиках типа 0 и 1 а может быть любой строкой. Контекстная зависимость проявляется в том, что в некоторых продукциях для определения преобразований необходимо учитывать контекст. Например, в случае оат - сфт преобразование а - р осуществляется в контексте аат. [4]
Языки программирования могут быть описаны грамматиками типов 1 и 2, поэтому к этим грамматикам в последнее время проявляется такой большой интерес. В дальнейшем будут рассматриваться грамматики только этих двух типов. [5]
Здесь я должен кое-что пояснить: в принципе, все грамматики типа УСП обладают мощью любого программирующего формализма; так что, если музыкальное значение вообще может быть как-то уловлено ( мне кажется, что это возможно), то это может быть сделано в грамматике УСП. Но мне кажется, что эта грамматика будет определять не только музыкальные структуры, но и общую структуру мозга слушателя. [6]
Легко показать, что класс неукорачивающих грамматик совпадает с классом грамматик типа 1 по Хомскому. [7]
На самом деле, я часто задумывался о возможности написать грамматику типа УСП ( или какого-нибудь иную программу, производящую предложения), которая выдавала бы только истинные высказывания. [8]
Со многими формальными системами, например с каноническими системами и с грамматиками типа 0, связаны присущие им алгоритмически неразрешимые проблемы: в общем случае не существует алгоритма, способного за конечное время ответить, принадлежит или нет заданная строка языку, порождаемому заданной грамматикой. Вспомните наше определение разрешимости в разд. Исследования порождающей мощности помогают нам понять, каким образом характеристики грамматики связаны со структурными особенностями языка, и выбрать самую слабую грамматику, пригодную в данной ситуации. [9]
Выше уже отмечалось, что один и тот же язык может быть порожден грамматиками разных типов. Грамматика типа 2 ( бесконтекстная или контекстно-свободная грамматика) проще, чем контекстно-зависимая грамматика типа 1 и работать с ней во многих случаях удобней. [10]
Но КСГ эффективно не отсекает абсурдные фразы вроде: стереть эту вторую строку в этом первом пароле. Последние эквивалентны грамматикам типа 0 и соответствуют машинам Тьюринга. [11]
 |
Рекурсивные сети переходов. [12] |
Поэтому язык L не воспринимается РП-сетью. Он порождается грамматикой типа 1 и воспринимается машиной Тьюринга с конечной лентой. [13]
Однако описание языков программирования грамматиками типа 1 во многих случаях может облегчить как сам процесс описания языка, так и построение транслятора. [14]
Может показаться, что эту область легко закодировать в грамматике типа УСП или какой-нибудь подобной программе. Продолжив это наивное рассуждение, можно сказать, что значение языка опирается на связь с окружающим миром, в то время как музыка - чисто формальна. [15]
Страницы: 1 2