Linguistics 501
Formal Foundations of Linguistics

Handouts:

• Syllabus
• Survey
• Assignment #1
• Assignment #2
• Assignment #3
• Some laws and rules of inference for predicate logic
• Assignment #4
• Assignment #5
• Assignment #6
• Schedule change
• Assignment #7
• Lexicon file as of April 14
• Lexicon file as of April 19
• Phonology and multiple application in foma
• Foma file for the replace operator
• Final project
• Welsh verbs handout
• Welsh verbs analysis #1
• Welsh verbs analysis #2
• Cynghanedd handout

Readings:

• Course textbook (2010 version; subject to change)
• Papers (passworded for folks attending the course only.)

Links:

• Graphviz is a free tool for producing pictures of finite automata (and virtually anything else!).
• My own finite state toolkit. These command-line utilities are XML-based and not industrial strength.
• LaTeX style sheet for proofs
• Hulden, Mans. 2010. Documentation wiki for the Foma finite-state package
• Hulden, Mans, and Iñaki Alegria. 2010. Creating language resources and applications using finite-state morphological grammars LREC.
• Nice pedagogical software for automata: JFLAP