Formal Foundations of Linguistics
Some laws and rules of inference for predicate logic
Lexicon file as of April 14
Lexicon file as of April 19
Phonology and multiple application in foma
Foma file for the replace operator
Welsh verbs handout
Welsh verbs analysis #1
Welsh verbs analysis #2
(2010 version; subject to change)
(passworded for folks attending the course only.)
tool for producing pictures of finite automata (and virtually anything else!).
finite state toolkit
. These command-line utilities are XML-based and
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
Nice pedagogical software for automata: