README.md

Formal Language Theory

(Up) | 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

finite automata - Is there a reasonable and studied concept of reduction between regular languages? - Computer Science Stack Exchange ★

parsers - Representing \"but not\" in formal grammar - Computer Science Stack Exchange ★

formal languages - Proving that a word is *not* generated by a context-free grammar - Computer Science Stack Exchange ★

closure properties - Does there exist an context free language L such that L∩L\^R is not context free? - Computer Science Stack Exchange ★

computability - Context-free complete language - Computer Science Stack Exchange ★★★

Natural examples of context-sensitive languages from practice - Theoretical Computer Science Stack Exchange ★

idioms - Is \"regex\" in modern programming languages really \"context sensitive grammar\"? - Stack Overflow ★

(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) ★ 💭

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) ★