Linguistics 501
Formal Foundations of Linguistics
Handouts:
The handouts below are in PDF format. These can be viewed with Acrobat
Reader, available for free from Adobe. (The
display of IPA isn't always very attractive over the web, but they print
fine.)
Links:
- LaTeX style sheet for proofs
- Finomaton
is a wonderful little program for producing Finite Automaton pictures
appropriate for LaTeX. (They can be exported as Metapost and then
converted to postscript; requires TCL/TK.)
- Graphviz is another program
for producing pictures of Finite Automata (and virtually anything
else!).
Papers:
These are for folks attending the course only. Note too that some of
these are scanned pdf files and are thus huge.
Mike Hammond