Skip to main content Accessibility help

Input Strictly Local opaque maps

  • Jane Chandlee (a1), Jeffrey Heinz (a2) and Adam Jardine (a3)


This paper gives a computational characterisation of opaque interactions in phonology. Specifically, a range of opaque interactions are shown to be Input Strictly Local (ISL) maps (Chandlee 2014), which are string-to-string functions that determine output based only on contiguous sequences of input symbols. Examples from Baković’s (2007) extended typology of counterfeeding, counterbleeding, self-destructive feeding, non-gratuitous feeding and cross-derivational feeding, as well as a case of fed counterfeeding from Kavitskaya & Staroverov (2010), are all given ISL analyses, which show that these interactions can be computed based on sequences of bounded length in the input. It is discussed how ISL maps are restrictive in their typological predictions, have guaranteed learning results and known methods for generation and recognition, and thus compare favourably to rule-based and constraint-based approaches to these interactions.


Corresponding author


Hide All

The authors would like to thank the following people for valuable feedback and discussion related to this work: Bill Idsardi, the three anonymous reviewers and audiences at GALANA 2015, GLOW 2015, UPenn, UC Berkeley, UCSD and the University of Chicago.



Hide All
Albright, Adam & Fullwood, Michelle A. (eds.) (2015). Proceedings of the 2014 Meeting on Phonology.
Albro, Daniel M. (2005). Studies in computational Optimality Theory, with special reference to the phonological system of Malagasy. PhD dissertation, University of California, Los Angeles.
Baković, Eric (2000). Harmony, dominance and control. PhD dissertation, Rutgers University.
Baković, Eric (2005). Antigemination, assimilation and the determination of identity. Phonology 22. 279315.
Baković, Eric (2007). A revised typology of opaque generalisations. Phonology 24. 217259.
Baković, Eric (2011). Opacity and ordering. In Goldsmith, John, Riggle, Jason & Yu, Alan (eds.) The handbook of phonological theory. 2nd edn. Malden, Mass. & Oxford: Wiley-Blackwell. 4067.
Baković, Eric (2013). Blocking and complementarity in phonological theory. Sheffield & Bristol, Conn.: Equinox.
Bane, Max, Riggle, Jason & Sonderegger, Morgan (2010). The VC dimension of constraint-based grammars. Lingua 120. 11941208.
Beesley, Kenneth R. & Karttunen, Lauri (2003). Finite state morphology. Stanford: CSLI.
Benua, Laura (1997). Transderivational identity: phonological relations between words. PhD dissertation, University of Massachusetts, Amherst.
Bermúdez-Otero, Ricardo (2018). Stratal Phonology. In Hannahs, S. J. & Bosch, Anna R. K. (eds.) The Routledge handbook of phonological theory. Abingdon & New York: Routledge. 100134.
Buccola, Brian (2013). On the expressivity of Optimality Theory versus ordered rewrite rules. In Morrill, Glyn & Nederhof, Mark-Jan (eds.) Formal grammar: Proceedings of the 17th and 18th International Conferences, FG 2012/2013. Berlin & Heidelberg : Springer. 142158.
Chandlee, Jane (2014). Strictly local phonological processes. PhD dissertation, University of Delaware.
Chandlee, Jane, Athanasopoulou, Angeliki & Heinz, Jeffrey (2012). Evidence for classifying metathesis patterns as subsequential. WCCFL 29. 303309.
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.
Chandlee, Jane & Heinz, Jeffrey (2012). Bounded copying is subsequential: implications for metathesis and reduplication. In Proceedings of the 12th Meeting of the ACL Special Interest Group on Computational Morphology and Phonology, pages. Stroudsburg, PA: Association for Computational Linguistics. 4251.
Chandlee, Jane & Heinz, Jeffrey (2016). Computational phonology. In Aronoff, Mark (ed.) Oxford research encyclopedia of linguistics. Oxford: Oxford University Press.
Chandlee, Jane & Heinz, Jeffrey (2018). Strict locality and phonological maps. LI 49. 2360.
Chandlee, Jane, Jardine, Adam & Heinz, Jeffrey (2015). Learning repairs for marked structures. In Albright & Fullwood (2015).
Chandlee, Jane & Lindell, Steven (to appear). A logical characterization of strictly local functions. In Heinz, Jeffrey (ed.) Doing computational phonology. Oxford: Oxford University Press.
Chomsky, Noam & Halle, Morris (1968). The sound pattern of English. New York: Harper & Row.
Eisner, Jason (1997). Efficient generation in primitive Optimality Theory. In Proceedings of the 35th Annual Meeting of the ACL and 8th Conference of the European Chapter of the Association for Computational Linguistics. Morristown, NJ: Association for Computational Linguistics. 313320.
Finley, Sara (2008). Formal and cognitive restrictions on vowel harmony. PhD dissertation, Johns Hopkins University.
Frank, Robert & Satta, Giorgio (1998). Optimality Theory and the generative complexity of constraint violability. Computational Linguistics 24. 307315.
Gainor, Brian, Lai, Regine & Heinz, Jeffrey (2012). Computational characterizations of vowel harmony patterns and pathologies. WCCFL 29. 6371.
Gerdemann, Dale & Hulden, Mans (2012). Practical finite state Optimality Theory. In Proceedings of the 10th International Workshop on Finite State Methods and Natural Language Processing. Association for Computational Linguistics. 1019.
Gerdemann, Dale & van Noord, Gertjan (2000). Approximation and exactness in finite state optimality theory. In Eisner, Jason, Karttunen, Lauri & Thériault, Alain (eds.) Finite-state phonology: proceedings of the 5th Workshop of the ACL Special Interest Group in Computational Phonology (SIGPHON). Luxemburg. 3445.
Gildea, Daniel & Jurafsky, Daniel (1996). Learning bias and phonological-rule induction. Computational Linguistics 22. 497530.
Gold, E. Mark (1967). Language identification in the limit. Information and Control 10. 447474.
Goldrick, Matthew (2000). Turbid output representations and the unity of opacity. NELS 30. 231245.
Hansson, Gunnar Ólafur (2007). Blocking effects in agreement by correspondence. LI 38. 395409.
Hayes, Bruce, Kirchner, Robert & Steriade, Donca (eds.) (2004). Phonetically based phonology. Cambridge: Cambridge University Press.
Heinz, Jeffrey (2010). Learning long-distance phonotactics. LI 41. 623661.
Heinz, Jeffrey (2011a). Computational phonology. Part I: Foundations. Language and Linguistics Compass 5. 140152.
Heinz, Jeffrey (2011b). Computational phonology. Part II: Grammars, learning, and the future. Language and Linguistics Compass 5. 153168.
Heinz, Jeffrey & Lai, Regine (2013). Vowel harmony and subsequentiality. In Kornai, András & Kuhlmann, Marco (eds.) Proceedings of the 13th Meeting on the Mathematics of Language. Sofia: Association for Computational Linguistics. 5263.
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.
Heinz, Jeffrey & Riggle, Jason (2011). Learnability. In van Oostendorp, Marc, Ewen, Colin J., Hume, Elizabeth & Rice, Keren (eds.) The Blackwell companion to phonology. Malden, Mass.: Wiley-Blackwell. 5478.
Higuera, Colin de la (1997). Characteristic sets for polynomial grammatical inference. Machine Learning 27. 125138.
Higuera, Colin de la (2010). Grammatical inference: learning automata and grammars. Cambridge: Cambridge University Press.
Idsardi, William J. (1998). Tiberian Hebrew spirantization and phonological derivations. LI 29. 3773.
Idsardi, William J. (2000). Clarifying opacity. The Linguistic Review 17. 337350.
Jäger, Gerhard (2002). Gradient constraints in finite state OT: the unidirectional and the bidirectional case. In Kaufmann, Ingrid & Stiebels, Barbara (eds.) More than words: a Festschrift for Dieter Wunderlich. Berlin: Akademie Verlag. 299325.
Jain, Sanjay, Osherson, Daniel, Royer, James S. & Sharma, Arun (1999). Systems that learn: an introduction to learning theory. 2nd edn. Cambridge, Mass.: MIT Press.
Jardine, Adam (2016). Computationally, tone is different. Phonology 33. 247283.
Jardine, Adam, Chandlee, Jane, Eyraud, René & Heinz, Jeffrey (2014). Very efficient learning of structured classes of subsequential functions from positive data. In Clark, Alexander, Kanazawa, Makoto & Yoshinaka, Ryo (eds.) Proceedings of the 12th International Conference on Grammatical Inference. 94108.
Jarosz, Gaja (2014). Serial markedness reduction. In Kingston, John, Moore-Cantwell, Claire, Pater, Joe & Staubs, Robert (eds.) Proceedings of the 2013 Meeting on Phonology.
Jarosz, Gaja (2016). Learning opaque and transparent interactions in Harmonic Serialism. In Ólafur Hansson, Gunnar, Farris-Trimble, Ashley, McMullin, Kevin & Pulleyblank, Douglas (eds.) Proceedings of the 2015 Annual Meeting on Phonology.
Johnson, C. Douglas (1972). Formal aspects of phonological description. The Hague & Paris: Mouton.
Johnson, Mark (1984). A discovery procedure for certain phonological rules. In Proceedings of the 10th International Conference on Computational Linguistics and the 22nd Annual Meeting of the ACL. 344347.
Kager, René (1999). Optimality Theory. Cambridge: Cambridge University Press.
Kaplan, Ronald & Kay, Martin (1994). Regular models of phonological rule systems. Computational Linguistics 20. 331378.
Karttunen, Lauri (1993). Finite-state constraints. In Goldsmith, John A. (ed.) The last phonological rule: reflections on constraints and derivations. Chicago: University of Chicago Press. 173194.
Karttunen, Lauri (1998). The proper treatment of optimality in computational phonology. In Karttunen, Lauri & Oflazer, Kemal (eds.) Proceedings of the International Workshop on Finite State Methods in Natural Language Processing. Ankara: Bilkent University. 112.
Kavitskaya, Darya & Staroverov, Peter (2010). When an interaction is both opaque and transparent: the paradox of fed counterfeeding. Phonology 27. 255288.
Kawahara, Shigeto (2015). A catalogue of phonological opacity in Japanese. Reports of the Keio Institute of Cultural and Linguistic Studies 46. 145174.
Kearns, Michael & Vazirani, Umesh (1994). An introduction to computational learning theory. Cambridge, Mass.: MIT Press.
Kiparsky, Paul (1971). Historical linguistics. In Dingwall, William Orr (ed.) A survey of linguistic science. College Park: University of Maryland Linguistics Program. 576642.
Kiparsky, Paul (1973). Abstractness, opacity, and global rules. In Fujimura, Osamu (ed.) Three dimensions in linguistic theory. Tokyo: TEC. 5786.
Kiparsky, Paul (1998). Paradigm effects and opacity. Ms, Stanford University.
Kiparsky, Paul (2000). Opacity and cyclicity. The Linguistic Review 17. 351365.
Legendre, Géraldine, Miyata, Yoshiro & Smolensky, Paul (1990). Harmonic Grammar: a formal multi-level connectionist theory of linguistic well-formedness: theoretical foundations. In Proceedings of the 12th Annual Conference of the Cognitive Science Society. Hillsdale: Erlbaum. 388395.
Łubowicz, Anna (2003). Contrast preservation in phonological mappings. PhD dissertation, University of Massachusetts, Amherst.
Lundskaer-Nielsen, Tom & Holmes, Philip (2011). Danish: an essential grammar. 2nd edn. London & New York: Routledge.
McCarthy, John J. (1999). Sympathy and phonological opacity. Phonology 16. 331399.
McCarthy, John J. (2000). Harmonic serialism and parallelism. NELS 30. 501524.
McCarthy, John J. (2003). Comparative markedness. Theoretical Linguistics 29. 151.
McCarthy, John J. (2007). Hidden generalizations: phonological opacity in Optimality Theory. Sheffield & Bristol, Conn.: Equinox.
McCarthy, John J. & Prince, Alan (1999). Faithfulness and identity in Prosodic Morphology. In Kager, René, van der Hulst, Harry & Zonneveld, Wim (eds.) The prosody–morphology interface. Cambridge: Cambridge University Press. 218309.
McMullin, Kevin (2016). Tier-based locality in long-distance phonotactics: learnability and typology. PhD dissertation, University of British Columbia.
McMullin, Kevin & Ólafur Hansson, Gunnar (2015). Long-distance phonotactics as Tier-Based Strictly 2-Local languages. In Albright & Fullwood (2015).
Magri, Giorgio (2013). HG has no computational advantages over OT: toward a new toolkit for computational OT. LI 44. 569609.
Mohri, Mehryar (1997). Finite-state transducers in language and speech processing. Computational Linguistics 23. 269311.
Nazarov, Aleksei & Pater, Joe (2017). Learning opacity in Stratal Maximum Entropy Grammar. Phonology 34. 299324.
Odden, David (2005). Introducing phonology. Cambridge: Cambridge University Press.
Oncina, José, García, Pedro & Vidal, Enrique (1993). Learning subsequential transducers for pattern recognition interpretation tasks. IEEE Transactions on Pattern Analysis and Machine Intelligence 15. 448458.
Pater, Joe (2008). Gradual learning and convergence. LI 39. 334345.
Pater, Joe (2012). Serial Harmonic Grammar and Berber syllabification. In Borowsky, Toni, Kawahara, Shigeto, Shinya, Takahito & Sugahara, Mariko (eds.) Prosody matters: essays in honor of Elisabeth Selkirk. London: Equinox. 4372.
Potts, Christopher, Pater, Joe, Jesney, Karen, Bhatt, Rajesh & Becker, Michael (2010). Harmonic Grammar with linear programming: from linear systems to linguistic typology. Phonology 27. 77117.
Prince, Alan & Smolensky, Paul (2004). Optimality Theory: constraint interaction in generative grammar. Malden, Mass. & Oxford: Blackwell.
Riggle, Jason (2004). Generation, recognition, and learning in finite-state Optimality Theory. PhD dissertation, University of California, Los Angeles.
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.
Sanders, Nathan (2003). Opacity and sound change in the Polish lexicon. PhD dissertation, University of California, Santa Cruz.
Smolensky, Paul (2006). Optimality in phonology II: harmonic completeness, local constraint conjunction, and feature domain markedness. In Smolensky, Paul & Legendre, Géraldine (eds.) The harmonic mind: from neural computation to optimality-theoretic grammar. Vol. 2: Linguistic and philosophical implications. Cambridge, Mass.: MIT Press. 27160.
Sprouse, Ronald L. (1997). A case for enriched inputs. Handout of paper presented at TREND (Trilateral Phonology Weekend) 3. Available as ROA-193 from the Rutgers Optimality Archive.
Tesar, Bruce (2014). Output-driven phonology: theory and learning. Cambridge: Cambridge University Press.
Tesar, Bruce & Smolensky, Paul (1996). Learnability in Optimality Theory (long version). Technical Report 96:3, Department of Cognitive Science, Johns Hopkins University.
Tesar, Bruce & Smolensky, Paul (1998). Learnability in Optimality Theory. LI 29. 229268.
Weigel, William F. (2005). Yowlumne in the twentieth century. PhD thesis, University of California, Berkeley.
Wilson, Colin (2000). Targeted constraints: an approach to contextual neutralization in Optimality Theory. PhD dissertation, Johns Hopkins University.

Related content

Powered by UNSILO
Type Description Title
Supplementary materials

Chandlee et al. supplementary material
Chandlee et al. supplementary material 1

 PDF (879 KB)
879 KB
Supplementary materials

Chandlee et al. supplementary material
Chandlee et al. supplementary material 2

 Unknown (52 KB)
52 KB

Input Strictly Local opaque maps

  • Jane Chandlee (a1), Jeffrey Heinz (a2) and Adam Jardine (a3)


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.