Formal Foundations of Linguistics

- Syllabus
- Survey
- Assignment #1
- Assignment #2
- Assignment #3
- Assignment #4
- Assignment #5
- Assignment #6
- Assignment #7
- Assignment #8
- N-gram approximation handout

- Course textbook (2010 version; subject to change)
- Papers (passworded for folks attending the course only.)

- LaTeX style sheet for proofs
- Graphviz is a
*free*tool for producing pictures of finite automata (and virtually anything else!). - My own
finite
state toolkit. These command-line utilities are XML-based and
*not*industrial strength. - Hulden, Mans. 2010. Documentation wiki for the Foma finite-state package
- Nice pedagogical software for automata: JFLAP