(s0, a,р
h0 ) и (s1, $, h0I ),
где a - заданная цепочка, s1 - одно из заключительных состояний автомата, I - начальная аксиома грамматики.
Цепочку и язык, допускаемые расширенным автоматом, можно определить так.
Определение.
) , $|--* ( s1, h0I ), где s1 - одно из заключительных состояний,
Определение.
|
Пред.Страница След.Страница Раздел Содержание >