Formal Language Theory
(Up) | Wikipedia: Formal language theory | See also: Attribute Grammars, Parsing
Web resources
Definite clause grammar - Wikipedia
Context-free grammar - Wikipedia
Context-sensitive grammar - Wikipedia
Mildly context-sensitive grammar formalism - Wikipedia
Literal movement grammar - Wikipedia
Range concatenation grammar - Wikipedia
Star height problem - Wikipedia, the free encyclopedia
Is there a reasonable and studied concept of reduction between regular languages? ★
Representing \"but not\" in formal grammar ★
Proving that a word is *not* generated by a context-free grammar ★
Does there exist an context free language L such that L∩L\^R is not context free? ★
Context-free complete language ★★★
Natural examples of context-sensitive languages from practice ★
Is \"regex\" in modern programming languages really \"context sensitive grammar\"? ★
(in Automata Theory) Csc520 Foundations of Computer Science ★
(in Programming Languages) GF - Grammatical Framework ★
(in Programming Languages) Grammatical Framework (programming language) - Wikipedia
Papers
The Hardest Context-Free Language 🏛️ 💭
Lecture 7: Definite Clause Grammars ★
On the Structure of Context-Sensitive Grammars (online @ archive.org) ★★ 💭
Functional Unification Grammar
Definite Clause Grammars for Language Analysis ★
Formal Languages and Infinite Groups ★ 💭
Formal languages and groups as memory ★ 💭
(in Logic) The Galois Connection between Syntax and Semantics (online @ www.logicmatters.net) ★ 💭
Books
Introduction to Formal Languages (borrow @ archive.org) (borrow with print disabilities @ archive.org (1991)) ★ 💭
Natural Language Processing Techniques in Prolog (online @ cs.union.edu) ★ 💭
Programs, Grammars, Arguments (online @ archive.org)
(in Linguistics) An Introduction to Unification-based Approaches to Grammar (online @ dash.harvard.edu) (borrow @ archive.org) ★