Linguistics 501
Formal Foundations of Linguistics

Handouts:

• Syllabus
• Survey
• Assignment #1
• Assignment #2
• "Laws" handout
• "Rules" handout
• Assignment #3
• "Laws and rules of predicate logic" handout
• Assignment #4
• Assignment #5
• Assignment #6
• N-grams handout
• Assignment #7
• Final assignment

Readings:

• Course textbook
• Papers These are passworded for folks attending the course only.

Links:

• Here's the paper and the code for the latest version of the prolog syllable parser of mine that Karttunen cites.
• Graphviz is a free tool for producing pictures of finite automata (and virtually anything else!).
• JFLAP: a wonderful free tool for playing with finite automata, though the formalism is a little different from our text. (You may need to install Java on Windows machines.)
• My own finite state toolkit. These command-line utilities are XML-based and not industrial strength.
• LaTeX style sheet for proofs
• Finomaton is a free program for producing finite automaton pictures appropriate for LaTeX. (They can be exported as Metapost and then converted to postscript; requires tcl/tk.)