Article published In: Formal Language Theory and its Relevance for Linguistic Analysis
Edited by Diego Gabriel Krivochen
[Evolutionary Linguistic Theory 3:2] 2021
► pp. 129–153
Nonderived environment blocking and input-oriented computation
Published online: 5 November 2021
https://doi.org/10.1075/elt.00031.cha
https://doi.org/10.1075/elt.00031.cha
Abstract
This paper presents a computational account of nonderived environment blocking (NDEB) that indicates the
challenges it has posed for phonological theory do not stem from any inherent complexity of the patterns themselves. Specifically,
it makes use of input strictly local (ISL) functions, which are among the most restrictive (i.e., lowest computational complexity)
classes of functions in the subregular hierarchy ( (2018). The
computational nature of phonological generalizations. In L. Hyman & F. Plank (Eds.), Phonological
typology: Phonetics and
phonology (pp. 126–195). Berlin: Mouton De Gruyter. ) and shows that NDEB is
ISL provided the derived and nonderived environments correspond to unique substrings in the input structure. Using three classic
examples of NDEB from Finnish, Polish, and Turkish, it is shown that the distinction between derived and nonderived sequences is
fully determined by the input structure and can be achieved without serial derivation or intermediate representations. This result
reveals that such cases of NDEB are computationally unexceptional and lends support to proposals in rule- and constraint-based
theories that make use of its input-oriented nature.
Article outline
- 1.Introduction
- 1.1Formal language theory and phonology
- 1.2Nonderived environment blocking
- 2.Previous work on NDEB
- 3.Computational background
- 3.1Subregular functions
- 3.2Boolean monadic recursive schemes
- 4.Analyses
- 5.Discussion
- 6.Conclusion
- Notes
References
References (62)
Aksënova, A., Graf, T. & Moradi, S. (2016). Morphotactics
as tier-based strictly local dependencies. In M. Elsner & S. Kuebler (eds.), Proceedings
of the 14th SIGMORPHON Workshop on Computational Research in Phonetics, Phonology, and
Morphology (pp. 121–130). Berlin: Association for Computational Linguistics.
(2009). Derived
environment effects in colloquial Helsinki Finnish. In K. Hanson & S. Inkelas (eds.), The
nature of the word: essays in honor of Paul
Kiparsky (pp. 433–460). Cambridge, MA: MIT Press.
Bhaskar, S., Chandlee, J., Jardine, A., & Oakden, C. (2020). Boolean
monadic recursive schemes as a logical characterization of the subsequential
functions. In A. Leporati, C. Martín-Vide, D. Shapira, & C. Zandron (eds.), Language
and automata theory and applications, 14th international
conference (pp. 157–169). Berlin/Heidelberg: Springer.
Burness, P., McMullin, K., & Chandlee, J. (to appear). Long-distance phonological processes as tier-based strictly local
functions. to appear in Glossa.
Burzio, L. (2000). Cycles,
non-derived-environment blocking, and correspondence. In J. Dekkers, F. van der Leeuw, & J. van de Weijer (eds.), Optimality
theory: Phonology, syntax, and
acquisition (pp. 47–87). Oxford: Oxford University Press.
Chandlee, J. (2014). Strictly
local phonological processes (Doctoral thesis, University of Delaware).
Chandlee, J. & Jardine, A. (2019). Quantifier-free
least-fixed point functions for phonology. In P. de Groote, F. Drewes, & G. Penn (eds.), Proceedings
of the 16th Meeting on the Mathematics of
Language (pp. 50–62). Toronto: Association for Computational Linguistics.
(2021). Computational
universals in linguistic theory: Using recursive programs for phonological analysis. To appear
in Language.
Chandlee, J., Heinz, J. & Jardine, A. (2018). Input
strictly local opaque
maps. Phonology, 35(2), 171–205.
Chomsky, N. (1956). Three
models for the description of language. IRE Transactions on Information
Theory, 2(3), 113–124.
Gainor, B., Lai, R., & Heinz, J. (2012). Computational
characterizations of vowel harmony patterns and pathologies. In J. Choi, E. Alan Hogue, J. Punske, D. Tat, J. Schertz, & A. Trueman (eds.), WCCFL
29: Proceedings of the 29th West Coast Conference on Formal
Linguistics (pp. 63–71). Somerville, MA: Cascadilla.
Graf, T. (2019). A
subregular bound on the complexity of lexical quantifiers. In J. J. Schlöder, D. McHugh, & F. Roelofsen (eds.), Proceedings
of the 22nd Amsterdam
Colloquium (pp. 455–464). Amsterdam: University of Amsterdam.
Graf, T. & Kostyszyn, K. (2021). Multiple
wh-movement is not special: The subregular complexity of persistent features in minimalist
grammars. In A. Ettinger, E. Pavlich, & B. Prickett (eds.), Proceedings
of the Society for Computation in Linguistics Volume
4 (pp. 275–285). Amherst: MA: University of Massachusetts.
Halle, M. (1978). Formal
versus functional considerations in
phonology. Bloomington: Indiana University Linguistics Club.
(2018). The
computational nature of phonological generalizations. In L. Hyman & F. Plank (Eds.), Phonological
typology: Phonetics and
phonology (pp. 126–195). Berlin: Mouton De Gruyter.
(2013). What
complexity differences reveal about domains in language. Topics in Cognitive
Science, 5(1), 111–131.
Heinz, J. & Lai, R. (2013). Vowel
harmony and subsequentiality. In A. Kornai & M. Kuhlmann (eds.), Proceedings
of the 13th Meeting on the Mathematics of
Language (pp. 52–63). Sofia, Bulgaria: Association for Computational Linguistics.
Inkelas, S. (2001). Phonotactic
blocking through structural immunity. In B. Stiebels & D. Wunderlich (eds.), Lexicon
in focus. Studia grammatica
45 (pp. 7–40). Berlin: Akademie Verlag.
(2009). Another
look at velar deletion in Turkish, with special attention to the derived environment
condition. UC Berkeley PhonLab Annual
Report, 51, 387–403.
Inkelas, S. & Orgun, C. O. (1995). Level
ordering and economy in the lexical phonology of
Turkish. Language, 711, 763–793.
Inkelas, Sharon. (2011). “Another look at velar deletion in Turkish, with special attention to the derived environment condition.” In Eser Taylan and Bengisu Rona (eds.), Puzzles of Language: Essays in honour of Karl Zimmer. Harrassowitz.
Inkelas, S., Orgun, C. O. & Zoll, C. (1997). Implications
of lexical exceptions for the nature of grammar. In I. Roca (ed.), Constraints
and derivations in
phonology (pp. 393–418). Oxford: Clarendon Press.
Itô, J. & Mester, A. (1996, October). Structural
economy and OCP interactions in local domains. Paper presented at
the Western Conference on Linguistics, University of
California, Santa Cruz.
Iverson, G. K. & D. Wheeler. (1988). Blocking
and the elsewhere condition. In M. Hammond & M. Noonan (Eds.), Theoretical
morphology (pp. 325–338). San Diego: Academic Press.
Ji, J. & Heinz, J. (2020). Input
strictly local tree transducers. In A. Leporati, C. Martín-Vide, D. Shapira, & C. Zandron (eds.), Language
and automata theory and applications, 14th international
conference (pp. 369–381). Berlin/Heidelberg: Springer.
Kaplan, Ronald and Martin Kay. (1994). Regular models of phonological rule systems. Computational Linguistics 201. 331–78.
Kiparsky, P. (1973). Phonological
representations: Abstractness, opacity, and global rules. In O. Fujimura (ed.), Three
dimensions of linguistic
theory (pp. 57–86). Tokyo: TEC.
(1982). Lexical
morphology and phonology. In I.-S. Yang (ed.), Linguistics
in the morning
calm (pp. 3–91). Seoul: Hanshin.
(1993). Blocking
in nonderived environments. In E. M. Kaisse & S. Hargus (eds.), Phonetics
and phonology 4: Studies in lexical
phonology (pp. 277–313). San Diego: Academic Press.
(2003). Finnish
noun inflection. In D. Nelson & S. Manninen (eds.), Generative
approaches to Finnic and Saami
linguistics (pp. 109–161). Stanford: CSLI Publications.
Luo, H. (2017). Long-distance
consonant agreement and subsequentiality. Glossa: A Journal of General
Linguistics, 2(1), 52.
Mascaró, J. (1976). Catalan
phonology and the phonological cycle (Doctoral
thesis, Massachusetts Institute of Technology).
McCollum, A., Baković, E., Mai, A., & Meinhardt, E. (2020). Unbounded
circumambient patterns in segmental
phonology. Phonology, 37(2), 215–255.
Mohri, M. (1997). Finite-state
transducers in language and speech processing. Computational
Linguistics, 231, 269–311.
Moschovakis, Y. (2019). Abstract
recursion and intrinsic complexity, Lecture Notes in Logic, volume
48. Cambridge: Cambridge University Press.
Oakden, C. (2021). Modeling
phonological interactions using recursive schemes (Doctoral
thesis, Rutgers University).
Odden, D. (2019, March). Radical
substance free phonology and feature learning. Paper presented
at Phonology Theory Agora, Nice,
France.
Payne, A. (2017). All
dissimilation is computationally subsequential. Language: Phonological
Analysis, 93(4), e353–e371.
Prince, A. & Smolensky, P. (1993). Optimality
theory: Constraint interaction in generative grammar. (ROA
537). Rutgers Optimality Archive.
Prince, A. and Smolensky, P. (2004). Optimality
Theory: Constraint Interaction in Generative Grammar. Malden, MA: Blackwell.
Rasin, E. (2016). A
rule-ordering theory of blocking in nonderived environments. In G. O. Hansson, A. Farris-Trimble, K. McMullin, & D. Pulleyblank (eds.), Supplemental
Proceedings of the 2015 Annual Meeting on
Phonology. Vancouver: Linguistic Society of America. Retrieved from.
Rasin, E., Shefi, I., & Katzir, R. (2020). A
unified approach to several learning challenges in
phonology. In M. Asatryan, Y. Song, & A. Whitmal (eds.), Proceedings
of NELS 50 Volume
3 (pp. 73–87). Amherst, MA: University of Massachusetts GLSA.
Rogers, J. & Pullum, G. K. (2011). Aural
pattern recognition experiments and the subregular hierarchy. Journal of Logic, Language and
Information, 201, 329–342.
Rogers, J., Heinz, J., Fero, M., Hurst, J., Lambert, D., & Wibel, S. (2013). Cognitive
and subregular complexity. In G. Morrill & M.-J. Nederhof (eds.), Formal
grammar, Lecture notes in computer science, Volume
8036 (pp. 90–108). Berlin/Heidelberg: Springer.
Sezer, E. (1981). The
k/Ø alternation in Turkish. In G. Clements (ed.), Harvard
studies in
phonology (pp. 354–382). Bloomington: Indiana University Linguistics Club.
Smolensky, P. (1993). Harmony,
markedness, and phonological activity. Paper presented at Rutgers
Optimality Workshop-1, New Brunswick, NJ.
van Oostendorp, M. (2007). Derived
environment effects and consistency of exponence. In S. Blaho, P. Bye, & M. Kraemer (eds.), Freedom
of
Analysis? (pp. 123–148). Berlin: Mouton De Gruyter.
Vu, M. H., Shafiei, N., & Graf, T. (2019). Case
assignment in TSL syntax: A case study. In G. Jarosz, M. Nelson, B. O’Connor, & J. Pater (eds.), Proceedings
of the Society for Computation in Linguistics Volume
2 (pp. 267–276). Amherst: MA: University of Massachusetts.
Wolf, M. (2008). Optimal
interleaving: Serial phonology-morphology interaction in a constraint-based model (Doctoral
thesis, University of Massachusetts).
