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) ★
History of
by-topic
/
Formal Language
@master
git clone https://git.catseye.tc/The-Glosscubator/
- Trim resource titles in Formal Language category. Chris Pressey 1 year, 4 months ago
- Add Wikipedia links to many topics. Chris Pressey 1 year, 4 months ago
- Add several books in a new topic, Comics. Chris Pressey 1 year, 4 months ago
- When rebuilding, rewrite Markdown documents according to schema. Chris Pressey 1 year, 4 months ago
- Update the borrowability status of books listed on archive.org. Chris Pressey 1 year, 4 months ago
- Remove placeholders that are no longer needed with Feedmark 0.16. Chris Pressey 1 year, 4 months ago
- Fix commentary links. Chris Pressey 1 year, 6 months ago
- Extract ratings to own files. Chris Pressey 1 year, 6 months ago
- Rename commentary files. Chris Pressey 1 year, 6 months ago
- Link to commentary on entries that have a detectable amount of it. Chris Pressey 1 year, 9 months ago
- Add 2 Games and a PL repository, and sort secondary entries. Chris Pressey 1 year, 9 months ago
- Show ratings on books and papers too. Chris Pressey 1 year, 9 months ago
- Render rating next to each entry that has one, in the READMEs. Chris Pressey 1 year, 9 months ago
- Link to the originating topic, for secondary-topic entries. Chris Pressey 1 year, 9 months ago
- Resources in multiple topics are now rendered in multiple READMEs. Chris Pressey 1 year, 9 months ago
- Add 7 web pages. Chris Pressey 1 year, 11 months ago
- Format interlinks more usefully. Chris Pressey 2 years ago
- Add several papers, and 2 webpages. Chris Pressey 2 years ago
- Add some commentary. Chris Pressey 2 years ago
- Checkpoint removing `src` directories. Chris Pressey 2 years ago
- Fix link. Chris Pressey 2 years ago
- Link back up, add "Web resources" heading to READMEs. Chris Pressey 2 years ago
- Link see-also links to anchor Chris Pressey 2 years ago
- Checkpoint migrating files into `by-topic` directory. Chris Pressey 2 years ago