• Home
  • CLT seminar: Måns Huldén - Techniques for formal verification in phonology and morphology

CLT seminar: Måns Huldén - Techniques for formal verification in phonology and morphology


This talk will focus on some recent techniques that provide useful theory-neutral mechanisms for analyzing and evaluating phonological and morphological generalizations in various contexts.

These techniques draw on finite state technology which is customarily used for modeling phonological and morphological phenomena computationally and also finds many applications in speech technology. The popularity of finite state machines – automata and transducers – rests on a few main attributes: they provide a theory-neutral platform for encoding linguistic generalizations, they are inherently bidirectional (a model defined in the direction of generation can also perform parsing), they can accommodate gradience effects and probabilistic generalizations, and they enjoy substantial practical support in the form of software and development tools. For our purposes, the most important feature is the set of computational methods available for formal verification and investigation of finite state models.

One technique particularly useful to the linguist is equivalence testing of grammars. While testing the equivalence of e.g. finite transducers is computationally undecidable in the general case, there exist efficient algorithms for doing so in the realm of many linguistically interesting contexts. When combined with techniques to model richer phonological structures such as autosegments or constraint-driven formalisms like Optimality Theory, such equivalence testing permits the automation of various difficult tasks in phonological modeling. Among other things, it enables one to formally ascertain the correctness of generalizations expressed in a particular formalism, investigate competing theories of historical-comparative reconstruction, and perform more general comparisons of phonological and morphological models.

Date: 2014-05-15 10:30 - 11:30

Location: L308, Lennart Torstenssonsgatan 8


add to Outlook/iCal

To the top

Page updated: 2014-05-12 18:13

Send as email
Print page
Show as pdf