Skip to main content

The power of locality domains in phonology*

  • Thomas Graf (a1)

Domains play an integral role in linguistic theories. This paper combines locality domains with current models of the computational complexity of phonology. The first result is that if a specific formalism – strictly piecewise grammars – is supplemented with a mechanism to enforce first-order definable domain restrictions, its power increases so much that it subsumes almost the full hierarchy of subregular languages. However, if domain restrictions are based on linguistically natural intervals, we instead obtain an empirically more adequate model. On the one hand, this model subsumes only those subregular classes that have been argued to be relevant for phonotactic generalisations. On the other hand, it excludes unnatural generalisations that involve counting or elaborate conditionals. It is also shown that strictly piecewise grammars with interval-based domains are theoretically learnable, unlike those with arbitrary, first-order domains.

Corresponding author
Hide All

I am greatly indebted to two anonymous reviewers and the editors of this issue. Their detailed feedback led to major changes that hopefully have resulted in a much more accessible and phonologically grounded paper. This paper has also profited tremendously from regular discussions of subregular phonology with Alëna Aksënova, Hyunah Baek, Aniello De Santo and Chikako Takahashi.

Hide All
Applegate, Richard B. (1972). Ineseño Chumash grammar. PhD dissertation, University of California, Berkeley.
Baek, Hyunah (to appear). Computational representation of unbounded stress: tiers with structural features. CLS 53.
Booij, Geert & Rubach, Jerzy (1984). Morphological and prosodic domains in Lexical Phonology. Phonology Yearbook 1. 127.
Chandlee, Jane (2014). Strictly local phonological processes. PhD dissertation, University of Delaware.
Chandlee, Jane, Eyraud, Rémi & Heinz, Jeffrey (2014). Learning Strictly Local subsequential functions. Transactions of the Association for Computational Linguistics 2. 491503.
Chandlee, Jane, Eyraud, Rémi & Heinz, Jeffrey (2015). Output strictly local functions. In Kuhlmann, Marco, Kanazawa, Makoto & Kobele, Gregory M. (eds.) Proceedings of the 14th Meeting on the Mathematics of Language. Association for Computational Linguistics. 112125.
De Santo, Aniello & Graf, Thomas (2017). Structure sensitive tier projection: applications and formal properties. Ms, Stony Brook University. Available (May 2017) at
Ebbinghaus, H.-D., Flum, J. & Thomas, W. (1996). Mathematical logic. 2nd revised edn. New York: Springer.
Enderton, Herbert B. (2001). A mathematical introduction to logic. 2nd edn. San Diego: Academic Press.
Gold, E. M. (1967). Language identification in the limit. Information and Control 10. 447474.
Goldsmith, John A. (1976). Autosegmental phonology. PhD dissertation, MIT.
Graf, Thomas (2010a). Comparing incomparable frameworks: a model theoretic approach to phonology. University of Pennsylvania Working Papers in Linguistics 16:1. Available (May 2017) at
Graf, Thomas (2010b). Logics of phonological reasoning. MA thesis, University of California, Los Angeles.
Graf, Thomas & Heinz, Jeffrey (2015). Commonality in disparity: the computational view of syntax and phonology. Paper presented at the GLOW Workshop on Computation, Learnability and Phonological Theory, Paris. Slides available (May 2017) at
Hayes, Bruce (1995). Metrical stress theory: principles and case studies. Chicago: University of Chicago Press.
Heinz, Jeffrey (2007). The inductive learning of phonotactic patterns. PhD dissertation, University of California, Los Angeles.
Heinz, Jeffrey (2009). On the role of locality in learning stress patterns. Phonology 26. 303351.
Heinz, Jeffrey (2010). Learning long-distance phonotactics. LI 41. 623661.
Heinz, Jeffrey (2014). Culminativity times harmony equals unbounded stress. In van der Hulst, Harry (ed.) Word stress: theoretical and typological issues. Cambridge: Cambridge University Press. 255275.
Heinz, Jeffrey (to appear). The computational nature of phonological generalizations. In Hyman, Larry M. & Plank, Frans (eds.) Phonological typology. Berlin & New York: Mouton de Gruyter.
Heinz, Jeffrey, Rawal, Chetan & Tanner, Herbert G. (2011). Tier-based strictly local constraints in phonology. In Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics. Vol. 2. Association for Computational Linguistics. 5864.
Jardine, Adam (2016). Computationally, tone is different. Phonology 33. 247283.
Jardine, Adam & Heinz, Jeffrey (2016). Learning Tier-based Strictly 2-Local languages. Transactions of the Association for Computational Linguistics 4. 8798.
Jardine, Adam & McMullin, Kevin (2017). Efficient learning of tier-based strictly k-local languages. In Drewes, Frank, Martín-Vide, Carlos & Truthe, Bianca (eds.) Language and automata theory and applications: 11th International Conference, Proceedings. Cham: Springer. 6476.
Jensen, John T. (1974). A constraint on variables in phonology. Lg 50. 675686.
Johnson, C. Douglas (1972). Formal aspects of phonological description. The Hague: Mouton.
Kaplan, Ronald & Kay, Martin (1994). Regular models of phonological rule systems. Computational Linguistics 20. 331378.
Kaye, Jonathan (1995). Derivations and interfaces. In Durand, Jacques & Katamba, Francis (eds.) Frontiers of phonology: atoms, structures, derivations. London & New York: Longman. 289332.
Kiparsky, Paul (1982). From cyclic to lexical phonology. In van der Hulst, Harry & Smith, Norval (eds.) The structure of phonological representations. Part 1. Dordrecht: Foris. 131175.
Lai, Regine (2015). Learnable vs. unlearnable harmony patterns. LI 46. 425451.
McMullin, Kevin (2016). Tier-based locality in long-distance phonotactics: learnability and typology. PhD dissertation, University of British Columbia.
McNaughton, Robert & Papert, Seymour A. (1971). Counter-free automata. Cambridge, Mass.: MIT Press.
Nespor, Marina & Vogel, Irene (1986). Prosodic phonology. Dordrecht: Foris.
Odden, David (1994). Adjacency parameters in phonology. Lg 70. 289330.
Rogers, James, Heinz, Jeffrey, Bailey, Gil, Edlefsen, Matt, Visscher, Molly, Wellcome, David & Wibel, Sean (2010). On languages piecewise testable in the strict sense. In Ebert, Christian, Jäger, Gerhard & Michaelis, Jens (eds.) The mathematics of language. Berlin & Heidelberg: Springer. 255265.
Rogers, James, Heinz, Jeffrey, Fero, Margaret, Hurst, Jeremy, Lambert, Dakotah & Wibel, Sean (2013). Cognitive and sub-regular complexity. In Morrill, Glyn & Nederhof, Mark-Jan (eds.) Formal grammar. Berlin & Heidelberg: Springer. 90108.
Rogers, James & Pullum, Geoffrey K. (2011). Aural pattern recognition experiments and the subregular hierarchy. Journal of Logic, Language and Information 20. 329342.
Rubach, Jerzy (2008). An overview of Lexical Phonology. Language and Linguistics Compass 2. 456477.
Scheer, Tobias (2012). Chunk definition in phonology: prosodic constituency vs. phrase structure. In Bloch-Trojnar, Maria & Bloch-Rozmej, Anna (eds.) Modules and interfaces. Lublin: Wydawnictwo KUL. 221253.
Selkirk, Elisabeth (1984). Phonology and syntax: the relation between sound and structure. Cambridge, Mass: MIT Press.
Selkirk, Elisabeth (2011). The syntax–phonology interface. In Goldsmith, John, Riggle, Jason & Yu, Alan C. L. (eds.) The handbook of phonological theory. 2nd edn. Oxford: Wiley-Blackwell. 435484.
Shwayder, Kobey (2015). Words and subwords: phonology in a piece-based syntactic morphology. PhD dissertation, University of Pennsylvania.
Vergnaud, Jean-Roger (1977). Formal properties of phonological rules. In Butts, Robert E. & Hintikka, Jaakko (eds.) Basic problems in methodology and linguistics. Dordrecht: Reidel. 299318.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

  • ISSN: 0952-6757
  • EISSN: 1469-8188
  • URL: /core/journals/phonology
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 7
Total number of PDF views: 121 *
Loading metrics...

Abstract views

Total abstract views: 338 *
Loading metrics...

* Views captured on Cambridge Core between 14th August 2017 - 17th March 2018. This data will be updated every 24 hours.