Пред.Страница  След.страница   Раздел   Содержание


    Определение. Если из правил транслирующей грамматики  ГТ удалить выходные символы, то получим  входную грамматику ГТвх  для заданной  грамматики. Если из правил заданной транслирующей   грамматики удалить входные символы, то  получим выходную грамматику ГТвых   заданной транслирующей грамматики ГТ. Язык, порождаемый грамматикой ГТвх, называется входным языком  заданной  транслирующей грамматики, а язык,  порождаемый ГТвых , называется выходным   языком заданной транслирующей грамматики  ГТ
    Определение. Если из цепочки символов a , полученной  путем вывода в заданной Т -грамматике , исключим все выходные символы, то получим  цепочку a1, которую назовем входной цепочкой.  Если же из цепочки a исключим все символы   входного алфавита, то в  результате получим  цепочку a2, которую назовем выходной  цепочкой, порождаемой Т - грамматикой . Цепочки a1 и a2 образуют пару, выводимую  в  заданной Т -  грамматике. 
Пред.Страница  След.страница  Раздел   Содержание
Hosted by uCoz