Formal Foundations of Linguistics

- 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

- 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.)