Editing Formal language (section)

==External links==
*{{springer|title=Formal language|id=p/f040830}}
*[[University of Maryland, Baltimore|University of Maryland]], [http://www.csee.umbc.edu/help/theory/lang_def.shtml Formal Language Definitions]
* James Power, [http://www.cs.nuim.ie/~jpower/Courses/parsing/ "Notes on Formal Language Theory and Parsing"] {{Webarchive|url=https://web.archive.org/web/20071121142736/http://www.cs.nuim.ie/~jpower/Courses/parsing/ |date=21 November 2007 }}, 29 November 2002.
* Drafts of some chapters in the "Handbook of Formal Language Theory", Vol. 1–3, G. Rozenberg and A. Salomaa (eds.), [[Springer Verlag]], (1997):
** Alexandru Mateescu and Arto Salomaa, [https://www.cs.cmu.edu/~lkontor/noam/Mateescu-Salomaa.pdf "Preface" in Vol.1, pp. v–viii, and "Formal Languages: An Introduction and a Synopsis", Chapter 1 in Vol. 1, pp. 1–39]
** Sheng Yu, [https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.67.1248&rep=rep1&type=pdf "Regular Languages", Chapter 2 in Vol. 1]
** Jean-Michel Autebert, Jean Berstel, Luc Boasson, [https://www-igm.univ-mlv.fr/~berstel/Articles/1997CFLPDA.pdf "Context-Free Languages and Push-Down Automata", Chapter 3 in Vol. 1]
** Christian Choffrut and Juhani Karhumäki, [http://www.liafa.jussieu.fr/~cc/PUBLICATIONS/CKTUCS.PS.gz "Combinatorics of Words", Chapter 6 in Vol. 1]
** Tero Harju and Juhani Karhumäki, [http://users.utu.fi/harju/articles/morph.pdf "Morphisms", Chapter 7 in Vol. 1, pp. 439–510]
** Jean-Eric Pin, [http://www.liafa.jussieu.fr/~jep/PDF/HandBook.pdf "Syntactic semigroups", Chapter 10 in Vol. 1, pp. 679–746]
** M. Crochemore and C. Hancart, [http://www-igm.univ-mlv.fr/~mac/REC/DOC/B4.ps "Automata for matching patterns", Chapter 9 in Vol. 2]
** Dora Giammarresi, Antonio Restivo, [https://web.archive.org/web/20071008170115/http://bruno.maitresdumonde.com/optinfo/Spe-MP/dmds1998/2dlang/giammaresi-restivo-paper.ps "Two-dimensional Languages", Chapter 4 in Vol. 3, pp. 215–267]

{{Formal languages and grammars}}
{{Mathematical logic}}

{{Authority control}}

{{DEFAULTSORT:Formal Language}}
[[Category:Formal languages| ]]
[[Category:Theoretical computer science]]
[[Category:Combinatorics on words]]
[[Category:Mathematical linguistics]]