text: は、 に含まれる文字列  に対して、 に含まれる文字列  が存在するときに、全ての  に相当する文字列群から構成される。「クリーネスター」は、 という形式の全文字列群から構成される。ただし、 は  に含まれ、 である。注意すべきは、 の場合もあるので、空文字列  も含まれるという点である。「反転」は、 の全文字列を反転させた文字列群から構成される。と  の「シャッフル」とは、 で表される全文字列から構成される。ここで、 で、 を連結した  は  に含まれる文字列であり、 を連結した  は  に含まれる文字列である。モデル理論においては、言語は定数記号、関数記号、述語記号の集合である。形式文法 形式言語は、形式文法と密接な関係がある。例として、次のような文脈自由文法の構文規則があるとき、 名詞句 ::= 名詞 | 形容詞 名詞 | 名詞句 "を" 動詞 "ている" 名詞句 動詞 ::= "見" 名詞 ::= "猿" | "飼育員" 形容詞 ::= "小さい" 以下のように規則を再帰的に適用して、その言語の要素(名詞句)を列挙することができる。(猿 飼育員 小さい猿 小さい飼育員) (猿 飼育員 小さい猿 小さい飼育員 猿を見ている猿 猿を見ている飼育員 猿を見ている小さい猿 ...小さい猿を見ている猿 ...) (猿 飼育員 小さい猿 小さい飼育員 猿を見ている猿 ...猿をみている猿を見ている猿 ...小さい猿を見ている猿を見ている小さい飼育員を見ている猿 ...) ...すなわち、このような操作の任意回の繰り返しによって、その言語(文の集合)が得られる。また、形式文法が階層をなすというチョムスキー階層は、生成する言語では言語の認識に必要な最小のオートマトンが階層をなすという形で現れる。その他 言及される分野 形式言語は、「人や計算機の如何なる記号変換能力から如何なる思考能力や計算能力が生まれるか」の学としての広義の数理論理学の研究対象であり、従って形式言語は、哲学・言語学・計算機科学・数学基礎論・数理心理学等々において重要な役割を演ずる。それらの学問分野では、如何なる形式言語を研究すべきかの文法論（構文論・統辞論）や形式言語の意味論や演繹論が研究される。形式手法という場合には、形式言語に加えて、模擬試験、検証・証明などの仕組みを込みで言う場合が有る。自然言語への応用 自然言語を比較的単純な形式言語のモデルにあてはめて分析する言語学は、チョムスキーによって提唱された。音素や語幹などを素記号として考える。実際の自然言語の構文規則（あるいは文法）