m4 は、ブライアン・カーニハンとデニス・リッチーが設計した汎用テキストマクロプロセッサである。その名称は「」（マクロ）の「」と、AP-3ミニコンピュータでデニス・リッチーがそれ以前に書いたマクロプロセッサ「」の次、というところから来ている。テキストマクロプロセッサとは、マクロと呼ばれるコマンドに従ってテキストを置換するテキスト処理ツールである。プログラミングにおいて、ソースコードのプリプロセス（前処理。プリプロセッサを参照）でテキストをテンプレートとして再利用する、といった用途に多用されるが、あらゆる文書における定型処理のようなものに使うことができる。クリストファー・ストレイチーのGPMなどを基に、1977年にm4は開発された。アセンブリ言語用などの特定のフォーマットに強く依存したマクロプロセッサではなく、汎用のマクロプロセッサであり、高度な拡張性を備えている。の最初の実装で使われ、にも添付された。codice_1 の設定ファイルにも使われているが、おそらく今日これを最もよく使っているのはGNUプロジェクトの codice_2 である（codice_2にはGNU版m4が必須である。なお、codice_2が生成したcodice_5スクリプトの実行だけであれば通常はm4は必要ない）。チューリング完全であり、コード生成に向いているとされることもあるが、過度の利用はデバッグを困難にするという問題がある（ある程度はデバッグを支援する情報の出力などといったm4の実装の問題であり、ある程度はマクロ的なものを利用するメタプログラミングに遍在する問題である）。は、もとはの方言である の開発を契機として開発されたものの、汎用のものであり、その適用対象は特定のコンピュータ言語や自然言語に限定されてはない。他のマクロプロセッサとは異なり、m4 は一般的なプログラミング言語と同様、チューリング完全である。Hello Worldコード以下のコード断片はHTML生成ライブラリの一部を示したものである。自動的に節見出しに番号を振るマクロを定義している。m4 でこれを処理すると、次のようなテキストが生成される。元々の M4 の実装である UNIX 版は、現在は OpenSolaris から派生した Heirloom Project でフリー版が配布されている。FreeBSD、NetBSD、OpenBSD といった BSD の子孫の M4 は、1990年頃 Ozan S. Yigit が書いた実装がベースである。GNU版は、やはり1990年頃に René Seindal が書いた別の実装がベースである。以上のどれかをWindowsで実行できるようビルドしたWindows用バイナリもある。POSIXで標準化されている。

出典:wikipedia