Синтаксически-управляемый перевод

Транслирующие грамматики

Транслирующей грамматикой (или грамматикой перевода) называется КС-грамматика, множество терминальных символов которой разбито на множество входных символов и множество символов действия. Цепочки языка, определяемого транслирующей грамматикой, называется последовательностями актов.

G_T= (V, D, N, S₀, P), VÈD= T, V - входные символы, D - символы действия.

Пример: G_T = ({a, b, c}, {x, y, z}, {A, B}, A, P_T).

P_T: A®aAxB

A®z

B®Bc

B®by

^ ^^

Во многих применениях подразумевается, что любой символ действия представляет процедуру, которая осуществляет выдачу символа. Такую грамматику будем называть грамматикой цепочечного перевода.

Вопросы и упражнения

1.В чем главное отличие транслирующей грамматики от обычной КС-грамматики?

2. Для чего обычно используют символы действия?