VI.T39 — Language as Shared Code

Language L = (Σ, E, D): alphabet (grammar), encoding (syntax), decoding (semantics). Faithful when D_j∘E_i(c) ≈ c. Grammar/semantics/pragmatics unified.