Linguistics 501
Formal Foundations of Linguistics
Fall 2023

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
• Pyfoma (python version of foma)
• jflap software to play with various automata types
• Graphviz is a free tool for producing pictures of finite automata (and virtually anything else!).