Linguistics 501
Formal Foundations of Linguistics
Handouts:
Syllabus
Survey
Assignment #1
Assignment #2
Assignment #3
Assignment #4
Assignment #5
Assignment #6
Assignment #7
Assignment #8
Links:
LaTeX
style sheet
for proofs
Hulden, Mans. 2010.
Documentation wiki for the Foma finite-state package
jflap
software to play with various automata types
Graphviz
is a
free
tool for producing pictures of finite automata (and virtually anything else!).
Mike Hammond