# Formal Grammar **Domain:** Linguistics / Computer Science / Language Generation **Doc Type:** Canonical Concept Node **Maturity:** Developed **Related:** [[wiki/Computational Linguistics|Computational Linguistics]], [[wiki/Language|Language]], [[wiki/Constraint Satisfaction|Constraint Satisfaction]], [[wiki/Semantic-First Constrained Generation|Semantic-First Constrained Generation]], [[wiki/GOFAI (Good Old-Fashioned AI)|GOFAI (Good Old-Fashioned AI)]] --- ## Definition **A Formal Grammar specifies rules or constraints that determine which structures count as well formed in a language.** In linguistics and computer science, grammars make syntactic organization explicit enough to analyze or generate. Generative grammar describes a system capable of producing admissible structures rather than enumerating every sentence. Grammaticality, however, does not guarantee relevance, coherence or conceptual development. ## Project Context The author of [[projects/Ten Years Building a Symbolic Language Engine|Ten Years Building a Symbolic Language Engine]] reports building Chomsky-style generative bots and confronting their central limitation directly: a sentence can be well formed and have nowhere to go. Syntax supplies admissible form but not a developing thought. That failure motivated corpus-derived concept traversal and [[wiki/Semantic-First Constrained Generation|Semantic-First Constrained Generation]]. Grammar remained necessary as a realization layer, but semantic direction had to be supplied elsewhere. Verse-form templates in [[wiki/VersePerfect|VersePerfect]] are a domain-specific grammatical layer. They project expected rhyme and syllable positions over a document while leaving harder constraints—such as refrain and permutation schedules—subject to the evidence available in surviving definitions. ## Key Insight **Grammar can constrain expression without supplying the reason for expressing anything.** ## See Also [[wiki/Semantic-First Constrained Generation|Semantic-First Constrained Generation]], [[wiki/Constraint Satisfaction|Constraint Satisfaction]], [[wiki/Computational Linguistics|Computational Linguistics]], [[wiki/Prosody and Syllabification|Prosody and Syllabification]], [[wiki/Language Model|Language Model]] ## Sources / Provenance - Noam Chomsky, *Syntactic Structures* (1957). - Project account of generative bots and poetic-form templates.