Formal Foundations of Linguistics
- Course textbook
- Papers These
are passworded for folks attending the course only.
- Here's the paper
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
state toolkit. These command-line utilities are XML-based and
not industrial strength.
- LaTeX style sheet for proofs
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.)