プログラミング 言語 は 、 計算 さ れ ない ホスト 言語 に 埋め込ま れる 場合 が ある 。

まして 、 現在 様々 な 業務 で 実用 さ れ て いる よう な 複雑 化 し た プログラム を 機械 語 で 書く こと の できる 人間 は 皆無 で ある 。

そして 自動 翻訳 で 生成 さ れ た 機械 語 を コンピュータ に 実行 さ せる こと に する 。

しかし 、 コンピュータ 相手 で は 指示 し た とおり に しか 動作 せ ず 、 プログラマ が コード に 込め た 意図 を 理解 さ せる こと は でき ない 。

言語 仕様 と プログラム と その 入力 データ の 組合せ で 、 その プログラム を 実行 し た とき の 結果 （ 外部 から 観測 さ れる 振る舞い ） が 完全 に 指定 でき なけれ ば なら ない 。

多く の 言語 は 、 新た な ニーズ を 満たす べく 設計 さ れ 、 他 の 言語 と 組み合わさ れ 、 最終 的 に 使わ れ なく なる 。

新た な プログラミング 言語 が 開発 さ れる 度 に 機能 が 追加 さ れ 、 プログラマ は ハードウェア の 命令 から より 遠い 形 で アイデア を 表現 できる よう に なっ て いっ た 。

プログラミング における プログラミング 言語 の 必要 性 を 排除 する 方法 として 、 自然 言語 処理 が 提案 さ れ て き た という 面 も ある 。

プログラミング 言語 は 、 人間 が コンピュータ に 命令 を 指示 する ため に 作ら れ て おり 、 コンピュータ が 曖昧 さ なく 解析 できる よう に 設計 さ れ て いる 。

一般に 自然 言語 の 規則 は 奥 が 深く 、 驚く ほど の 合理 性 に 裏打ち さ れ て いる こと が ある 。

これ に対して 、 プログラミング 言語 は 、 コンピュータ によって 扱い やすい よう に 、 文脈 によって 意味 が 変わる こと が できる だけ ない よう に 設計 さ れ て いる 。

しかし 、 プログラミング 言語 の 規則 は 、 言語 設計 者 の 意図 と 作業 によって のみ 、 変更 さ れる 。

その よう な 研究 も 進め られ て いる が 、 未だに 汎用 で 実用 に なる プログラム は 作成 さ れ た こと が ない 。

自然 言語 と 異なり ほとんど の プログラミング 言語 は 厳密 に 定義 さ れ て おり 、 規則 に 従わ ない プログラム は 実行 さ れ ない 。

大 部分 の プログラミング 言語 の 文法 は 文脈 自由 文法 によって 定義 さ れ て いる 。

プログラミング 言語 の 見た目 は 、 その 構文 （ 統語 論 ） で 決定 さ れる 。

多く の プログラミング 言語 は 文字 だけ で 構成 さ れ 、 単語 や 数 や 区切り 記号 の 並び で あり 、 自然 言語 に 似 て いる 。

多く の 言語 は 文字 で 構成 さ れる ため 、 以下 で は それ について 論じる 。

プログラミング 言語 の 構文 は 一般 に 、 字句 解析 用 の 正規 表現 と 構文 解析 用 の バッカス・ナウア 記法 （ 文脈 自由 文法 ） で 定義 さ れる 。

多く の 言語 の 構文 は 文脈 自由 文法 を 使っ て 記述 さ れる 。