Dolatian (2020): Computational locality of cyclic phonology in Armenian #
This file formalizes the analysis of destressed high vowel reduction in Chapters 1 and 2 of [Dol20] and its computational rendering in Chapter 6. Armenian stress falls on the rightmost full vowel of a word, (1), and is reassigned as each suffix is added; a high vowel that was stressed in the base and loses stress in the derivative, and only such a vowel, reduces, deleting when the cluster it leaves is syllabifiable and otherwise becoming schwa, (46). Reduction is cyclic without bound, (5) and (48): each morpheme may trigger a new round of stress shift and reduction. It is stratal, after [Kip82]: in Western Armenian the derivational suffixes that build morphological stems trigger the stem-level cophonology of stress shift with reduction, while the inflectional suffixes that build morphological words trigger the word-level cophonology of stress shift alone, (7) to (9). And it is prosodic: in Eastern Armenian vowel-initial inflection reduces as well, (10) and (65), because onset maximization resyllabifies the stem-final consonant and misaligns the Prosodic Stem of [Dow99] that the morphological stem maps to; the misaligned stem expands over the suffix and triggers a cophonology of its own, which reduces high vowels in Eastern but not in Western Armenian and reduces the diphthong uj in neither, (76) and (78). The plural allomorphy of (66), -er after monosyllables and -ner after polysyllables, thereby decides whether a plural reduces its base. Reduction itself is a quantifier-free logical transduction in the sense of [Cha14a], §6.6.1: given the destressing diacritic, deletion and schwa are read off two segments on either side of the target.
Implementation notes #
Segments are kept at the granularity the analysis reads: consonant, high vowel, other full
vowel, the diphthong uj, and schwa, so that u and i are one symbol and the segmental
detail of [Vau98] is not represented. Stress is computed as the position of the rightmost
full vowel rather than as the logical transduction of Chapter 5, and destressing compares that
position across a cycle; the reduction step is the transduction dhr, run on the string with
the destressed vowel marked, so a cycle composes a stress function with a quantifier-free map,
and the domain label that the dissertation's SETTINGS constant supplies to the reduction
formulas is the cophonology argument of reduce. Syllabifiability, (46), is the condition
that the destressed vowel be flanked by single consonants that themselves neighbour nuclei.
Prosodic Stem misalignment is read off the stem-final consonant and the suffix-initial vowel,
without a syllabification. The foot and recursive prosodic word alternatives of §2.5.3, the
lexical exceptions of (72) and the variation of §2.7.3, and the compound bracketing paradox of
Chapter 3 are not formalized.
TODO #
The complex-coda clause of (46), a second consonant before the target licensed when the two
form a falling-sonority coda, needs a sonority scale over consonants; with one consonant
symbol, dhr gives schwa where the dissertation deletes, as in jergír ~ jergr-a-kúnt, (17).
References #
Segments and stress, (1) #
Equations
- Dolatian2020.instDecidableEqSeg x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- Dolatian2020.instReprSeg.repr Dolatian2020.Seg.c prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Dolatian2020.Seg.c")).group prec✝
- Dolatian2020.instReprSeg.repr Dolatian2020.Seg.h prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Dolatian2020.Seg.h")).group prec✝
- Dolatian2020.instReprSeg.repr Dolatian2020.Seg.v prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Dolatian2020.Seg.v")).group prec✝
- Dolatian2020.instReprSeg.repr Dolatian2020.Seg.uj prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Dolatian2020.Seg.uj")).group prec✝
- Dolatian2020.instReprSeg.repr Dolatian2020.Seg.schwa prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Dolatian2020.Seg.schwa")).group prec✝
Instances For
Equations
- Dolatian2020.instReprSeg = { reprPrec := Dolatian2020.instReprSeg.repr }
A full vowel bears stress: a high or other full vowel or the diphthong, not schwa.
Equations
- Dolatian2020.Seg.h.Full = True
- Dolatian2020.Seg.v.Full = True
- Dolatian2020.Seg.uj.Full = True
- x✝.Full = False
Instances For
A syllable nucleus: any vowel, schwa included.
Equations
- Dolatian2020.Seg.c.Nucleus = False
- x✝.Nucleus = True
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
The position of the stressed vowel, the rightmost full vowel, (1).
Equations
- Dolatian2020.stress w = (List.findIdxs (fun (x : Dolatian2020.Seg) => decide x.Full) w).getLast?
Instances For
Reduction as a quantifier-free transduction, (46) and §6.6.1 #
The guard that a term reads a nucleus not carrying the destressing mark.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The context in which deletion leaves a syllabifiable cluster, (46): a nucleus and a single consonant before the target and a single consonant and a nucleus after it.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Destressed high vowel reduction as a quantifier-free transduction, (46): the destressed high
vowel, marked true, becomes schwa unless deletion is licensed, in which case it matches no
clause and is deleted; every other segment is faithful.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The string with the destressed position marked.
Equations
- Dolatian2020.mark w p = List.mapIdx (fun (n : ℕ) (s : Dolatian2020.Seg) => (s, decide (n = p))) w
Instances For
Cophonologies, (76) #
The reductions a cophonology applies: destressed high vowel reduction and destressed diphthong reduction.
- dhr : Bool
Destressed high vowel reduction applies.
- ddr : Bool
Destressed diphthong reduction applies.
Instances For
Equations
- Dolatian2020.instDecidableEqCophonology.decEq { dhr := a, ddr := a_1 } { dhr := b, ddr := b_1 } = if h : a = b then h ▸ if h : a_1 = b_1 then h ▸ isTrue ⋯ else isFalse ⋯ else isFalse ⋯
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Dolatian2020.instReprCophonology = { reprPrec := Dolatian2020.instReprCophonology.repr }
The stem-level cophonology, triggered by derivation: both reductions.
Equations
- Dolatian2020.stemLevel = { dhr := true, ddr := true }
Instances For
The word-level cophonology, triggered by inflection: stress shift alone.
Equations
- Dolatian2020.wordLevel = { dhr := false, ddr := false }
Instances For
The two standard dialects, which share the morphology and the Prosodic Stem and differ in its cophonology.
Instances For
Equations
- Dolatian2020.instDecidableEqDialect x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Dolatian2020.instReprDialect = { reprPrec := Dolatian2020.instReprDialect.repr }
The Prosodic Stem cophonology, (76): high vowel reduction without diphthong reduction in Eastern Armenian, stress shift alone in Western Armenian.
Equations
- Dolatian2020.Dialect.eastern.pstemLevel = { dhr := true, ddr := false }
- Dolatian2020.Dialect.western.pstemLevel = Dolatian2020.wordLevel
Instances For
Apply a cophonology's reductions to the destressed vowel at p.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Strata, the Prosodic Stem and the cycle, (9), (14) and (78) #
Whether a suffix builds a morphological stem, derivation, or a morphological word, inflection.
Instances For
Equations
- Dolatian2020.instDecidableEqStratum x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- Dolatian2020.instReprStratum = { reprPrec := Dolatian2020.instReprStratum.repr }
Equations
- Dolatian2020.instReprStratum.repr Dolatian2020.Stratum.stem prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Dolatian2020.Stratum.stem")).group prec✝
- Dolatian2020.instReprStratum.repr Dolatian2020.Stratum.word prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Dolatian2020.Stratum.word")).group prec✝
Instances For
A suffix: its segments and the stratum it triggers.
Instances For
The Prosodic Stem mapped from the base is misaligned from the syllables by a vowel-initial suffix after a consonant-final base, §2.5.3: onset maximization resyllabifies the final consonant, and the stem expands over the suffix.
Equations
- Dolatian2020.Misaligned base suf = (base.getLast? = some Dolatian2020.Seg.c ∧ ∃ s ∈ suf.head?, s.Nucleus)
Instances For
Equations
- Dolatian2020.instDecidableMisaligned base suf = id inferInstance
The cophonology a cycle triggers, (76) and (78): the stem-level for derivation, and for inflection the Prosodic Stem cophonology of the dialect when the stem is misaligned and the word-level otherwise.
Equations
- One or more equations did not get rendered due to their size.
Instances For
One cycle: the suffix is spelled out, stress is reassigned, and the vowel stressed in the base, if it has lost stress, reduces according to the cophonology the cycle triggers.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The cyclic derivation of a root with its suffixes, in order: unbounded cyclicity, §2.3.2.2.
Equations
- Dolatian2020.derive d root sufs = List.foldl (Dolatian2020.cycle d) root sufs
Instances For
The plural allomorph, (66): -er after a monosyllabic base and -ner after a polysyllabic one.
Equations
- One or more equations did not get rendered due to their size.
Instances For
What the cophonologies exclude #
A cycle whose cophonology is the word-level shifts stress alone.
Inflection triggers the word-level cophonology in Western Armenian whether or not the Prosodic Stem is misaligned, (76).
Inflection over an aligned Prosodic Stem triggers the word-level cophonology in either dialect, (78).
The dialects differ only where a misaligned Prosodic Stem triggers its cophonology under inflection, (76).
Diphthong reduction is stem-level only, (76): no inflection triggers it.
Inflection never reduces in Western Armenian, (7) and (37).
Consonant-initial inflection, and inflection of a vowel-final base, never reduces in either dialect, (10e): the Prosodic Stem stays aligned.
Derivation, and inflection over an aligned Prosodic Stem, run alike in the two dialects.
Inflection never reduces a destressed diphthong in either dialect, (12).
The forms, (5), (10), (12), (42), (47), (48), (65) and (66) #
amusín 'husband': a.mu.sín.
Equations
Instances For
-utjun, derivational.
Equations
- Dolatian2020.utjun = { segs := [Dolatian2020.Seg.h, Dolatian2020.Seg.c, Dolatian2020.Seg.c, Dolatian2020.Seg.h, Dolatian2020.Seg.c], stratum := Dolatian2020.Stratum.stem }
Instances For
-anal, derivational inchoative.
Equations
- Dolatian2020.anal = { segs := [Dolatian2020.Seg.v, Dolatian2020.Seg.c, Dolatian2020.Seg.v, Dolatian2020.Seg.c], stratum := Dolatian2020.Stratum.stem }
Instances For
-ov, the instrumental.
Equations
- Dolatian2020.ov = { segs := [Dolatian2020.Seg.v, Dolatian2020.Seg.c], stratum := Dolatian2020.Stratum.word }
Instances For
-ner, the plural after polysyllables.
Equations
- Dolatian2020.ner = { segs := [Dolatian2020.Seg.c, Dolatian2020.Seg.v, Dolatian2020.Seg.c], stratum := Dolatian2020.Stratum.word }
Instances For
The derivations of (47): hivánt keeps its unstressed high vowel, hankíst reduces to schwa because deletion would leave an unsyllabifiable cluster, amusín deletes.
Unbounded cyclicity, (5a): d͡zín, d͡zən-únt, d͡zən-ənt-agán, each cycle destressing and reducing the vowel stressed in its base.
A destressed high vowel in a suffix reduces, (48a): ázk, azk-ajín, azk-ajn-agán.
The diphthong, (12) and (62): zərújt͡s reduces to zərut͡s-él in derivation, while Eastern vowel-initial inflection, which reduces high vowels, leaves zərújt͡s-óv alone.
The plural, (66): the monosyllable tʰúxtʰ takes -er and reduces, tʰəxtʰ-ér, while amusín takes -ner and does not; a following case suffix changes nothing.
Western Armenian reduces before no case suffix, (65): amusi.n-óv, amusi.n-í.