грамматики, образуют перевод, определяемый этой грамматикой. |
грамматику ГТ такую, что переводы, порождаемые СУ - схемой и Т - грамматикой, совпадают.
|
((<A><C>)<C>)<C> ==> ((x{x}<C>)<C> ==> ((x{x}+<A>{+}<C>)<C>)<C> ==>
((x{x}+x{x}{+}<C>)<C>)<C> ==> ((x{x}+x{x}{+})<C>)<C> ==>
((x{x}+x{x}{+})+<A>{+}<C>)<C> ==> ((x{x}+x{x}{+})+x{x}{+}<C>)<C> ==>
((x{x}+x{x}{+})+x{x}{+})<C> ==> ((x{x}+x{x}{+})+x{x}{+}).