形式言語は、「人や計算機の如何なる記号変換能力から如何なる思考能力や計算能力が生まれるか」の学としての広義の数理論理学の研究対象であり、従って形式言語は、哲学・言語学・計算機科学・数学基礎論・数理心理学等々において重要な役割を演ずる。それらの学問分野では、如何なる形式言語を研究すべきかの文法論（構文論・統辞論）や形式言語の意味論や演繹論が研究される。形式手法という場合には、形式言語に加えて、模擬試験、検証・証明などの仕組みを込みで言う場合が有る。
形式言語（けいしきげんご、英: formal language）は、その文法（構文、統語論）が、場合によっては意味（意味論）も、形式的に与えられている（形式体系を参照）言語である。形式的でないために、しばしば曖昧さが曖昧なまま残されたり、話者集団という不特定多数によってうつろいゆくような自然言語のそれに対して、一部の人工言語や、いわゆる機械可読な（機械可読目録を参照）ドキュメント類などは形式言語である。この記事では形式的な統語論すなわち構文の形式的な定義と形式文法について述べる。形式的な意味論については形式意味論の記事を参照。
亡命したブイエはロシア帝国に滞在した。1791年9月6日に神聖ローマ皇帝のレオポルト2世のボヘミア王としての戴冠式のために、彼はプラハのハプスブルク家の宮廷に赴いた。1797年に彼は回顧録を出版し大変な成功を収めたのち、1800年にロンドンで死去した。息子のルイ･ド・ブイエはフランス帝国で将軍となった。ドイツの文学者ハインリヒ・フォン・クライストは著書「Fantasien auf einer Reise nach Prag」のなかでブイエの人となりを書き残している。クライストは、1791年の9月2日にプラハのエステート劇場でモーツァルトの『ドン・ジョバンニ』の上演を親子で鑑賞していたブイエの様子を見て、亡命したこととフランスでの中傷の動きに対して、煩悶と自責の念とで苦しむ傷ついた人物と描写している。
ブイエは1789年のフランス革命には敵対的だった。彼はメス市と継続的に戦い、メスとナンシーの軍事的反乱を鎮圧した。 1790年に彼はムーズ県、ザール県とモゼル県にまたがる管区軍司令官となった。王党派と見込まれて国王パリ脱出計画に勧誘されると、彼はルイ16世に対して、王の家族は他国に反革命を訴えることが可能な場所で彼の管区内にある国境の町のモンメディに避難するべきと提案した。しかしこの計画は1791年7月21日のヴァレンヌ事件によって失敗し、ブイエは亡命した。事件後、実際の首謀者である国王と王妃マリー・アントワネットら王族の責任を回避するために、バルナーヴらフイヤン派は国王誘拐説をでっち上げ、その首謀者としてブイエを示唆した。彼は国王のために働いただけであったが、すでに国外にいたので反論できなかった。結果として、フランス国歌『ラ・マルセイエーズ』の歌詞の5番において言及され、Français, en guerriers magnanimes,Portez ou retenez vos coups!Épargnez ces tristes victimes,À regret s'armant contre nous.À regret s'armant contre nous.,Mais ces despotes sanguinaires,Mais ces complices de Bouillé,Tous ces tigres qui, sans pitié,Déchirent le sein de leur mère!フランス人よ、寛容な戦士として認容と攻撃を慎むことも考えよ！あの痛ましき犠牲者と我らに武器を向けた事を後悔した犠牲者たちを許すのだ！我らに武器を向けた事を後悔した犠牲者たちを許すのだ！ただしあの血に飢えた暴君とブイエ将軍の共謀者らは別である！あの無慈悲で残虐な虎どもは自分の母胎を引き裂くのである！と名指しで非難される悪名だけが残った。
ゲンミンゲンの統治者であったヴォルフ・フォン・ゲンミンゲンと、ゲンミンゲンの説教師ベルンハルト・グリープラーは、1520年代の初めにはすでに、ルターの信奉者になっていた。1531年の終わり、もしくは1532年の初めヴォルフはルター派の牧師をおき、これ以後、カトリックに固執する司祭を罷免してゲンミンゲンから追放した。 この教区の保護者であるシュパイアー司教座聖堂参事会との長年にわたる紛争の末、宗教改革運動はゲンミンゲンに定着した。 これに対してシュテープバッハでは、「cuius regio - eius religio（領主の宗教が領民の宗教）」の原則に基づき、1545年から1648年の間に10回も住民の宗教が変わった。シュテープバッハは、1649年にプファルツ選帝侯領となり、やっと改革派教会の村と定まった。ゲンミンゲンには、福音派と改革派の教会組織が存在する。カトリック信者は、エッピンゲンのカトリック教会組織に属す。ゲンミンゲンのユダヤ人は、17世紀には少人数がすでに暮らしていた。入植政策の目標とされたことから、1710年以降、ゲンミンゲン地区の一角に大規模なコミュニティが形成されていった。1727年にユダヤ人学校が開設、1751年に12家族、1762年には17家族、約100人が定住していた。1790年からは、ノイペルク伯もゲンミンゲンにユダヤ人を受け容れた。1809年には、このコミュニティに16家族、86人が属しており、19世紀半ばまで増大し続けた（1864年には291人が属した）が、その後移民などにより減少した。1900年から1933年までの間にコミュニティの構成員は157人から47人にまで減少した。1933年以降、ほとんどのユダヤ人が町を出て、より大きな都市へ移り住んだ。1938年にはシナゴーグが破壊され、ゲンミンゲン当局に接収された。最後に残った7人のユダヤ人は1940年に Gursに移送され、そのうち3人が最終的にアウシュヴィッツで殺害された。シュテープバッハでも18世紀以降、一時的にユダヤ人コミュニティが創設された。