Turkish Suffix Templates

[GK05]

Turkish is strictly suffixing ([GK05] Ch 6): suffixes attach in a fixed order determined by a positional template. The verbal (Ch 6, 8, 13) and nominal (Ch 6, 8, 14) templates live here as Fragment data over Morphology.AffixTemplate; ordering predictions are checked in Studies/GokselKerslake2005.lean.

Voice suffixes can stack within their slot (yap-tır-ıl- 'be made to do' = CAUS + PASS); slots are position classes, not token counts.

inductive Turkish.SuffixTemplate.VerbSlot : Type

Verbal suffix slots. [GK05] Ch 6, 8, 13.

• voice : VerbSlot
• negation : VerbSlot
• tam : VerbSlot
• copula : VerbSlot
• agreement : VerbSlot
• question : VerbSlot

@[instance_reducible]

instance Turkish.SuffixTemplate.instDecidableEqVerbSlot : DecidableEq VerbSlot

Equations

• Turkish.SuffixTemplate.instDecidableEqVerbSlot x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Turkish.SuffixTemplate.instReprVerbSlot : Repr VerbSlot

Equations

• Turkish.SuffixTemplate.instReprVerbSlot = { reprPrec := Turkish.SuffixTemplate.instReprVerbSlot.repr }

def Turkish.SuffixTemplate.instReprVerbSlot.repr : VerbSlot → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.

inductive Turkish.SuffixTemplate.NounSlot : Type

Nominal suffix slots. [GK05] Ch 6, 8, 14.

• derivational : NounSlot
• plural : NounSlot
• possessive : NounSlot
• case : NounSlot

@[instance_reducible]

instance Turkish.SuffixTemplate.instDecidableEqNounSlot : DecidableEq NounSlot

Equations

• Turkish.SuffixTemplate.instDecidableEqNounSlot x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Turkish.SuffixTemplate.instReprNounSlot.repr : NounSlot → Nat → Std.Format

Equations

• One or more equations did not get rendered due to their size.

@[instance_reducible]

instance Turkish.SuffixTemplate.instReprNounSlot : Repr NounSlot

Equations

• Turkish.SuffixTemplate.instReprNounSlot = { reprPrec := Turkish.SuffixTemplate.instReprNounSlot.repr }

def Turkish.SuffixTemplate.verbTemplate : Morphology.AffixTemplate VerbSlot

The verbal template, stem-outward: Root - Voice - Negation - TAM - Copula - Agreement - Question.

Equations

• One or more equations did not get rendered due to their size.

def Turkish.SuffixTemplate.nounTemplate : Morphology.AffixTemplate NounSlot

The nominal template, stem-outward: Root - Derivational - Plural - Possessive - Case.

Equations

• One or more equations did not get rendered due to their size.