Formal Language Papers

The Hardest Context-Free Language

• authors: Shiela Greibach
• date: 1973
• publication: SIAM Journal on Computing, Vol. 2, No. 4, Society for Industrial and Applied Mathematics
• url: https://epubs.siam.org/doi/10.1137/0202025

.

Lecture 7: Definite Clause Grammars

• authors: Patrick Blackburn, Johan Bos & Kristina Striegnitz
• date: unknown
• url: https://www.scss.tcd.ie/Tim.Fernando/LPN/PDFs/7.pdf
• topics: Formal Language, Prolog
• format: course-notes

Also covers CFGs.

On the Structure of Context-Sensitive Grammars

• authors: Ronald V. Book
• date: 1971
• online @ archive.org

.

Functional Unification Grammar

• subtitle: A Formalism for Machine Translation
• authors: Martin Kay
• date: 1980?
• url: https://aclanthology.org/P84-1018.pdf
• topics: Formal Language, Unification

.

Definite Clause Grammars for Language Analysis

• subtitle: A Survey of the Formalism and a Comparison with Augmented Transition Networks
• authors: Fernando C. N. Pereira, David H. D. Warren
• date: 1980
• topics: Formal Language, Linguistics, Prolog
• url: https://cgi.di.uoa.gr/~takis/pereira-warren.pdf

.

Formal Languages and Infinite Groups

• authors: Robert Gilman
• date: 1995
• url: https://arxiv.org/abs/math/9509204v1

.

Formal languages and groups as memory

• authors: Mark Kambites
• date: 2006
• url: https://arxiv.org/abs/math/0601061v2

.