翻訳器と解釈器

言語 $S$（原始言語）、言語 $T$（目的言語）、言語 $I$（実装言語）を考えます。

コンパイラとは、$I$ で書かれたプログラム $C$ であって、$S$ のプログラム $p$ を入力すると $T$ のプログラム $C(p)$ を出力し、任意の入力 $d$ について $p$ を $d$ に適用した結果と $C(p)$ を $d$ に適用した結果が一致するものをいいます。

インタプリタとは、$I$ で書かれたプログラム $J$ であって、$S$ のプログラム $p$ と入力 $d$ の組を受け取り、$p$ を $d$ に適用した結果を直接出力するものをいいます。