文書型宣言(ぶんしょかたせんげん、英: document type declaration)、DOCTYPE宣言(DOCTYPEせんげん)は、SGMLやXML文書を、文書型定義(DTD)と結びつけるための宣言である。 文書型宣言はSGMLやXML文書の冒頭に記載される。SGMLやXML文書において
文脈自由言語
ある言語が文脈自由言語でないことを証明するために文脈自由言語の反復補題が使われることがある。 基本的な文脈自由言語 L = { a n b n : n ≥ 1 } {\displaystyle L=\{a^{n}b^{n}:n\geq 1\}} は、偶数個の文字から成る文字列で構成され、各文字列の前半は