Posts categorized under: 2025-Spring

Jake on model-theoretic phonology software (05/09)

Model theoretic logical transductions are a very exciting, relatively recent development in phonology, with a lot of insights still yet to be unearthed. Much work that has been done has been focused either on general expressive capacity given representational choices, or specific transductions as analysis of specific language phenomena. In …

Matthew on Control languages (03/28)

This week Matthew Hayden will be giving us an introduction to control grammars. Intuitively, a control grammar is a grammar whose possible paths of derivation are constrained by some set of strings, called the control language. Matthew will go over the basics of control grammars, discuss their expressibility, and compare …

Kenneth on mixed-relation TSL (03/07)

For the first session, Kenneth will be talking about mixed-relation TSL.

String TSL involves relativizing the precedence relation to a tier of salient elements. For trees, there are more choices: we can relativize dominance and precedence (Graf 2022) as well as derived relations such as d-command (Graf and Shafiei 2019 …