Трансляции, их представление и реализация
§ 1.1. Трансляции и трансляторы Определение 1.1. Трансляцией из языка L1 ⊆ Σ* в язык L2 ⊆ Δ* называется отношение τ ⊆ L1 × L2. Здесь Σ — входной алфавит, L1 — входной язык, Δ — выходной алфавит, L2 — выходной язык. Другими словами, трансляция есть некоторое множество пар предложений (x, y), где x∈L1 — входное, а y∈L2 — выходное предложение. Хотя в общем случае в трансляции τ одному входному предложению x может соответствовать несколько выходных пред-ложений y, по отношению к языкам программирования трансляция всегда является функцией, т. е. для каждого входа существует не более одного выхода. Существует бесконечно много примеров трансляций, но самым элементарным, ве-роятно, является тот, который может быть задан гомоморфизмом, т. е. отображением h из Σ в Δ*.