CoetzeePater2011: experimental results (generated)

Auto-generated from Linglib/Data/Experiments/CoetzeePater2011.json by scripts/gen_experiments.py. Do not edit by hand: edit the JSON and re-run the generator.

Coetzee and Pater's printed t/d-deletion data and model results, after the ROA-946 draft of 6 October 2009: deletion rates by morphological status (7) and by following context (10), the deletion probabilities of five partially ordered grammars (13), the Japanese loanword grammars learned by stochastic OT and Noisy HG (21), the grammars learned for each dialect and for the constructed Tejano′ (23), the Goldvarb fits (25), and the lexically indexed Noisy HG grammar (32). The observed rows of (23) for the seven dialects repeat (10) as proportions and are not stored again. Footnote 7 places the input files of the learning simulations in the archive coetzee-pater-variation.zip on Pater's UMass page.

References

• [CP11b]

inductive CoetzeePater2011.Context : Type

What follows the word-final t/d.

• preV : Context

  Pre-V: a vowel, west end

• pause : Context

  Pre-Pause: a pause, west

• preC : Context

  Pre-C: a consonant, west side

@[instance_reducible]

instance CoetzeePater2011.instDecidableEqContext : DecidableEq Context

Equations

• CoetzeePater2011.instDecidableEqContext x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def CoetzeePater2011.instReprContext.repr : Context → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance CoetzeePater2011.instReprContext : Repr Context

Equations

• CoetzeePater2011.instReprContext = { reprPrec := CoetzeePater2011.instReprContext.repr }

@[instance_reducible]

instance CoetzeePater2011.instFintypeContext : Fintype Context

Equations

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

inductive CoetzeePater2011.Dialect : Type

The dialects of English whose deletion rates the paper reports, with the sources footnote 3 gives for (10).

• aave : Dialect

  AAVE (Washington, DC): after Fasold 1972

• chicano : Dialect

  Chicano English: after Santa Ana 1991

• jamaican : Dialect

  Jamaican English: after Patrick 1992

• newYorkCity : Dialect

  New York City English: after Guy 1980

• tejano : Dialect

  Tejano English: after Bayley 1995

• trinidad : Dialect

  Trinidadian English: after Kang 1994

• philadelphia : Dialect

  Philadelphia English: after Guy 1980

@[instance_reducible]

instance CoetzeePater2011.instDecidableEqDialect : DecidableEq Dialect

Equations

• CoetzeePater2011.instDecidableEqDialect x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def CoetzeePater2011.instReprDialect.repr : Dialect → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance CoetzeePater2011.instReprDialect : Repr Dialect

Equations

• CoetzeePater2011.instReprDialect = { reprPrec := CoetzeePater2011.instReprDialect.repr }

@[instance_reducible]

instance CoetzeePater2011.instFintypeDialect : Fintype Dialect

Equations

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

inductive CoetzeePater2011.ImposedRanking : Type

The ranking a partially ordered grammar of (13) imposes on the constraints of (11).

• none : ImposedRanking

  None: no ranking imposed

• maxPreVOverStarCT : ImposedRanking

  MAX-PRE-V >> *CT: MAX-PRE-V dominates *CT

• starCTOverMaxPreV : ImposedRanking

  *CT >> MAX-PRE-V: *CT dominates MAX-PRE-V

• maxFinalOverStarCT : ImposedRanking

  MAX-FIN >> *CT: MAX-FINAL dominates *CT

• starCTOverMaxFinal : ImposedRanking

  *CT >> MAX-FIN: *CT dominates MAX-FINAL

@[instance_reducible]

instance CoetzeePater2011.instDecidableEqImposedRanking : DecidableEq ImposedRanking

Equations

• CoetzeePater2011.instDecidableEqImposedRanking x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance CoetzeePater2011.instReprImposedRanking : Repr ImposedRanking

Equations

• CoetzeePater2011.instReprImposedRanking = { reprPrec := CoetzeePater2011.instReprImposedRanking.repr }

def CoetzeePater2011.instReprImposedRanking.repr : ImposedRanking → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance CoetzeePater2011.instFintypeImposedRanking : Fintype ImposedRanking

Equations

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

inductive CoetzeePater2011.Model : Type

The stochastic grammars the paper's learners use.

• stOT : Model

  St-OT: stochastic OT, learned by the OT-GLA

• nHG : Model

  N-HG: Noisy Harmonic Grammar, learned by the HG-GLA

• meHG : Model

  ME-HG: Maximum Entropy Harmonic Grammar, learned by the HG-GLA

@[instance_reducible]

instance CoetzeePater2011.instDecidableEqModel : DecidableEq Model

Equations

• CoetzeePater2011.instDecidableEqModel x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance CoetzeePater2011.instReprModel : Repr Model

Equations

• CoetzeePater2011.instReprModel = { reprPrec := CoetzeePater2011.instReprModel.repr }

def CoetzeePater2011.instReprModel.repr : Model → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance CoetzeePater2011.instFintypeModel : Fintype Model

Equations

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

inductive CoetzeePater2011.Loan : Type

The Japanese loanwords of (18)–(19).

• bobu : Loan

  bobu: 'Bob', two voiced obstruents

• webbu : Loan

  webbu: 'web', a voiced geminate

• guddo : Loan

  guddo: 'good', a voiced geminate and another voiced obstruent

@[instance_reducible]

instance CoetzeePater2011.instDecidableEqLoan : DecidableEq Loan

Equations

• CoetzeePater2011.instDecidableEqLoan x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def CoetzeePater2011.instReprLoan.repr : Loan → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance CoetzeePater2011.instReprLoan : Repr Loan

Equations

• CoetzeePater2011.instReprLoan = { reprPrec := CoetzeePater2011.instReprLoan.repr }

@[instance_reducible]

instance CoetzeePater2011.instFintypeLoan : Fintype Loan

Equations

• CoetzeePater2011.instFintypeLoan = { elems := { val := ↑CoetzeePater2011.Loan.enumList, nodup := CoetzeePater2011.Loan.enumList_nodup }, complete := CoetzeePater2011.instFintypeLoan._proof_1 }

inductive CoetzeePater2011.Variety : Type

The varieties fitted by Goldvarb in (25).

• tejano : Variety

  Tejano: Bayley's Tejano English

• tejanoPrime : Variety

  Tejano': Tejano with the pre-vocalic and pre-consonantal rates traded

@[instance_reducible]

instance CoetzeePater2011.instDecidableEqVariety : DecidableEq Variety

Equations

• CoetzeePater2011.instDecidableEqVariety x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance CoetzeePater2011.instReprVariety : Repr Variety

Equations

• CoetzeePater2011.instReprVariety = { reprPrec := CoetzeePater2011.instReprVariety.repr }

def CoetzeePater2011.instReprVariety.repr : Variety → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance CoetzeePater2011.instFintypeVariety : Fintype Variety

Equations

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

inductive CoetzeePater2011.Lexeme : Type

The words of the lexically indexed simulation (32).

• feast : Lexeme

  feast: the word feast

• most : Lexeme

  most: the word most

@[instance_reducible]

instance CoetzeePater2011.instDecidableEqLexeme : DecidableEq Lexeme

Equations

• CoetzeePater2011.instDecidableEqLexeme x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def CoetzeePater2011.instReprLexeme.repr : Lexeme → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance CoetzeePater2011.instReprLexeme : Repr Lexeme

Equations

• CoetzeePater2011.instReprLexeme = { reprPrec := CoetzeePater2011.instReprLexeme.repr }

@[instance_reducible]

instance CoetzeePater2011.instFintypeLexeme : Fintype Lexeme

Equations

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

def CoetzeePater2011.informalRegisterFactor : Data.Experiments.Decimal

The factor weight of a hypothetical informal register in (27). ((27), p. 24; checked against the page images.)

Equations

• CoetzeePater2011.informalRegisterFactor = { mantissa := 70, exponent := 2 }

def CoetzeePater2011.indexedStarCT : Data.Experiments.Decimal

The weight of *CT in (32). ((32), p. 29; checked against the page images.)

Equations

• CoetzeePater2011.indexedStarCT = { mantissa := 10071, exponent := 2 }

def CoetzeePater2011.indexedMaxPreVFeast : Data.Experiments.Decimal

The weight of MAX-PRE-V indexed to feast in (32). ((32), p. 29; checked against the page images.)

Equations

• CoetzeePater2011.indexedMaxPreVFeast = { mantissa := 118, exponent := 2 }

def CoetzeePater2011.indexedMaxFinalFeast : Data.Experiments.Decimal

The weight of MAX-FINAL indexed to feast in (32). ((32), p. 29; checked against the page images.)

Equations

• CoetzeePater2011.indexedMaxFinalFeast = { mantissa := 358, exponent := 2 }

def CoetzeePater2011.indexedMaxFeast : Data.Experiments.Decimal

The weight of MAX indexed to feast in (32). ((32), p. 29; checked against the page images.)

Equations

• CoetzeePater2011.indexedMaxFeast = { mantissa := 10007, exponent := 2 }

def CoetzeePater2011.indexedMaxPreVMost : Data.Experiments.Decimal

The weight of MAX-PRE-V indexed to most in (32). ((32), p. 29; checked against the page images.)

Equations

• CoetzeePater2011.indexedMaxPreVMost = { mantissa := 116, exponent := 2 }

def CoetzeePater2011.indexedMaxFinalMost : Data.Experiments.Decimal

The weight of MAX-FINAL indexed to most in (32). ((32), p. 29; checked against the page images.)

Equations

• CoetzeePater2011.indexedMaxFinalMost = { mantissa := 327, exponent := 2 }

def CoetzeePater2011.indexedMaxMost : Data.Experiments.Decimal

The weight of MAX indexed to most in (32). ((32), p. 29; checked against the page images.)

Equations

• CoetzeePater2011.indexedMaxMost = { mantissa := 9922, exponent := 2 }

structure CoetzeePater2011.MorphRate : Type

A row of (7), p. 6: the percentage of t/d deleted by morphological status in a dialect.

• dialect : Dialect

  The dialect.

• regularPast : ℕ

  The percentage deleted from a regular past suffix, missed.

• semiWeakPast : ℕ

  The percentage deleted from a semi-weak past, kept.

• monomorpheme : ℕ

  The percentage deleted from a monomorpheme, mist.

def CoetzeePater2011.instDecidableEqMorphRate.decEq (x✝ x✝¹ : MorphRate) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance CoetzeePater2011.instDecidableEqMorphRate : DecidableEq MorphRate

Equations

• CoetzeePater2011.instDecidableEqMorphRate = CoetzeePater2011.instDecidableEqMorphRate.decEq

def CoetzeePater2011.instReprMorphRate.repr : MorphRate → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance CoetzeePater2011.instReprMorphRate : Repr MorphRate

Equations

• CoetzeePater2011.instReprMorphRate = { reprPrec := CoetzeePater2011.instReprMorphRate.repr }

def CoetzeePater2011.morphRates : List MorphRate

The 3 rows of (7), p. 6, in the paper's order; checked against the page images.

Equations

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

structure CoetzeePater2011.ContextRate : Type

A row of (10), p. 9: the percentage of t/d deleted in a dialect before a following context.

• percent : ℕ

  The percentage deleted.

def CoetzeePater2011.instDecidableEqContextRate.decEq (x✝ x✝¹ : ContextRate) : Decidable (x✝ = x✝¹)

Equations

• CoetzeePater2011.instDecidableEqContextRate.decEq { percent := a } { percent := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance CoetzeePater2011.instDecidableEqContextRate : DecidableEq ContextRate

Equations

• CoetzeePater2011.instDecidableEqContextRate = CoetzeePater2011.instDecidableEqContextRate.decEq

def CoetzeePater2011.instReprContextRate.repr : ContextRate → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance CoetzeePater2011.instReprContextRate : Repr ContextRate

Equations

• CoetzeePater2011.instReprContextRate = { reprPrec := CoetzeePater2011.instReprContextRate.repr }

def CoetzeePater2011.contextRates : Dialect → Context → ContextRate

The cells of (10), p. 9, by dialect and context; checked against the page images.

Equations

• CoetzeePater2011.contextRates CoetzeePater2011.Dialect.aave CoetzeePater2011.Context.preV = { percent := 29 }
• CoetzeePater2011.contextRates CoetzeePater2011.Dialect.aave CoetzeePater2011.Context.pause = { percent := 73 }
• CoetzeePater2011.contextRates CoetzeePater2011.Dialect.aave CoetzeePater2011.Context.preC = { percent := 76 }
• CoetzeePater2011.contextRates CoetzeePater2011.Dialect.chicano CoetzeePater2011.Context.preV = { percent := 45 }
• CoetzeePater2011.contextRates CoetzeePater2011.Dialect.chicano CoetzeePater2011.Context.pause = { percent := 37 }
• CoetzeePater2011.contextRates CoetzeePater2011.Dialect.chicano CoetzeePater2011.Context.preC = { percent := 62 }
• CoetzeePater2011.contextRates CoetzeePater2011.Dialect.jamaican CoetzeePater2011.Context.preV = { percent := 63 }
• CoetzeePater2011.contextRates CoetzeePater2011.Dialect.jamaican CoetzeePater2011.Context.pause = { percent := 71 }
• CoetzeePater2011.contextRates CoetzeePater2011.Dialect.jamaican CoetzeePater2011.Context.preC = { percent := 85 }
• CoetzeePater2011.contextRates CoetzeePater2011.Dialect.newYorkCity CoetzeePater2011.Context.preV = { percent := 66 }
• CoetzeePater2011.contextRates CoetzeePater2011.Dialect.newYorkCity CoetzeePater2011.Context.pause = { percent := 83 }
• CoetzeePater2011.contextRates CoetzeePater2011.Dialect.newYorkCity CoetzeePater2011.Context.preC = { percent := 100 }
• CoetzeePater2011.contextRates CoetzeePater2011.Dialect.tejano CoetzeePater2011.Context.preV = { percent := 25 }
• CoetzeePater2011.contextRates CoetzeePater2011.Dialect.tejano CoetzeePater2011.Context.pause = { percent := 46 }
• CoetzeePater2011.contextRates CoetzeePater2011.Dialect.tejano CoetzeePater2011.Context.preC = { percent := 62 }
• CoetzeePater2011.contextRates CoetzeePater2011.Dialect.trinidad CoetzeePater2011.Context.preV = { percent := 21 }
• CoetzeePater2011.contextRates CoetzeePater2011.Dialect.trinidad CoetzeePater2011.Context.pause = { percent := 31 }
• CoetzeePater2011.contextRates CoetzeePater2011.Dialect.trinidad CoetzeePater2011.Context.preC = { percent := 81 }
• CoetzeePater2011.contextRates CoetzeePater2011.Dialect.philadelphia CoetzeePater2011.Context.preV = { percent := 38 }
• CoetzeePater2011.contextRates CoetzeePater2011.Dialect.philadelphia CoetzeePater2011.Context.pause = { percent := 12 }
• CoetzeePater2011.contextRates CoetzeePater2011.Dialect.philadelphia CoetzeePater2011.Context.preC = { percent := 100 }

structure CoetzeePater2011.GrammarRate : Type

A row of (13), p. 12: the number of a partially ordered grammar's linear extensions that delete in a context, out of all of them, and the probability of deletion. Counting the linear extensions of the grammars of rows (b)–(e) does not give the printed counts; the study records the discrepancy.

• rankings : ℕ

  The number of linear extensions that delete.

• total : ℕ

  The number of linear extensions.

• probability : Data.Experiments.Decimal

  The probability of deletion.

def CoetzeePater2011.instDecidableEqGrammarRate.decEq (x✝ x✝¹ : GrammarRate) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance CoetzeePater2011.instDecidableEqGrammarRate : DecidableEq GrammarRate

Equations

• CoetzeePater2011.instDecidableEqGrammarRate = CoetzeePater2011.instDecidableEqGrammarRate.decEq

@[instance_reducible]

instance CoetzeePater2011.instReprGrammarRate : Repr GrammarRate

Equations

• CoetzeePater2011.instReprGrammarRate = { reprPrec := CoetzeePater2011.instReprGrammarRate.repr }

def CoetzeePater2011.instReprGrammarRate.repr : GrammarRate → ℕ → Std.Format

Equations

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

def CoetzeePater2011.pocRates : ImposedRanking → Context → GrammarRate

The cells of (13), p. 12, by imposedRanking and context; checked against the page images.

Equations

• CoetzeePater2011.pocRates CoetzeePater2011.ImposedRanking.none CoetzeePater2011.Context.preV = { rankings := 8, total := 24, probability := { mantissa := 33, exponent := 2 } }
• CoetzeePater2011.pocRates CoetzeePater2011.ImposedRanking.none CoetzeePater2011.Context.pause = { rankings := 8, total := 24, probability := { mantissa := 33, exponent := 2 } }
• CoetzeePater2011.pocRates CoetzeePater2011.ImposedRanking.none CoetzeePater2011.Context.preC = { rankings := 12, total := 24, probability := { mantissa := 50, exponent := 2 } }
• CoetzeePater2011.pocRates CoetzeePater2011.ImposedRanking.maxPreVOverStarCT CoetzeePater2011.Context.preV = { rankings := 0, total := 12, probability := { mantissa := 0, exponent := 0 } }
• CoetzeePater2011.pocRates CoetzeePater2011.ImposedRanking.maxPreVOverStarCT CoetzeePater2011.Context.pause = { rankings := 4, total := 12, probability := { mantissa := 33, exponent := 2 } }
• CoetzeePater2011.pocRates CoetzeePater2011.ImposedRanking.maxPreVOverStarCT CoetzeePater2011.Context.preC = { rankings := 6, total := 12, probability := { mantissa := 50, exponent := 2 } }
• CoetzeePater2011.pocRates CoetzeePater2011.ImposedRanking.starCTOverMaxPreV CoetzeePater2011.Context.preV = { rankings := 6, total := 12, probability := { mantissa := 50, exponent := 2 } }
• CoetzeePater2011.pocRates CoetzeePater2011.ImposedRanking.starCTOverMaxPreV CoetzeePater2011.Context.pause = { rankings := 4, total := 12, probability := { mantissa := 33, exponent := 2 } }
• CoetzeePater2011.pocRates CoetzeePater2011.ImposedRanking.starCTOverMaxPreV CoetzeePater2011.Context.preC = { rankings := 6, total := 12, probability := { mantissa := 50, exponent := 2 } }
• CoetzeePater2011.pocRates CoetzeePater2011.ImposedRanking.maxFinalOverStarCT CoetzeePater2011.Context.preV = { rankings := 4, total := 12, probability := { mantissa := 33, exponent := 2 } }
• CoetzeePater2011.pocRates CoetzeePater2011.ImposedRanking.maxFinalOverStarCT CoetzeePater2011.Context.pause = { rankings := 0, total := 12, probability := { mantissa := 0, exponent := 0 } }
• CoetzeePater2011.pocRates CoetzeePater2011.ImposedRanking.maxFinalOverStarCT CoetzeePater2011.Context.preC = { rankings := 6, total := 12, probability := { mantissa := 50, exponent := 2 } }
• CoetzeePater2011.pocRates CoetzeePater2011.ImposedRanking.starCTOverMaxFinal CoetzeePater2011.Context.preV = { rankings := 4, total := 12, probability := { mantissa := 33, exponent := 2 } }
• CoetzeePater2011.pocRates CoetzeePater2011.ImposedRanking.starCTOverMaxFinal CoetzeePater2011.Context.pause = { rankings := 6, total := 12, probability := { mantissa := 50, exponent := 2 } }
• CoetzeePater2011.pocRates CoetzeePater2011.ImposedRanking.starCTOverMaxFinal CoetzeePater2011.Context.preC = { rankings := 6, total := 12, probability := { mantissa := 50, exponent := 2 } }

structure CoetzeePater2011.LoanwordGrammar : Type

A row of (21), p. 18: the constraint values a learner reached on the loanword data of (18)–(19).

• model : Model

  The learner's grammar.

• ocpVoice : Data.Experiments.Decimal

  The value of OCP-VOICE.

• voicedGeminate : Data.Experiments.Decimal

  The value of *VOICED-GEMINATE.

• identVoice : Data.Experiments.Decimal

  The value of IDENT-VOICE.

def CoetzeePater2011.instDecidableEqLoanwordGrammar.decEq (x✝ x✝¹ : LoanwordGrammar) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance CoetzeePater2011.instDecidableEqLoanwordGrammar : DecidableEq LoanwordGrammar

Equations

• CoetzeePater2011.instDecidableEqLoanwordGrammar = CoetzeePater2011.instDecidableEqLoanwordGrammar.decEq

def CoetzeePater2011.instReprLoanwordGrammar.repr : LoanwordGrammar → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance CoetzeePater2011.instReprLoanwordGrammar : Repr LoanwordGrammar

Equations

• CoetzeePater2011.instReprLoanwordGrammar = { reprPrec := CoetzeePater2011.instReprLoanwordGrammar.repr }

def CoetzeePater2011.loanwordWeights : List LoanwordGrammar

The 2 rows of (21), p. 18, in the paper's order; checked against the page images.

Equations

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

structure CoetzeePater2011.DevoicingRate : Type

A row of (21), p. 18: the frequency of devoicing of a loanword in the learning data and in the grammars learned from it.

• learningData : Data.Experiments.Decimal

  The frequency of devoicing in the learning data.

• stOT : Data.Experiments.Decimal

  The frequency of devoicing in the learned stochastic OT grammar.

• nHG : Data.Experiments.Decimal

  The frequency of devoicing in the learned Noisy HG grammar.

@[instance_reducible]

instance CoetzeePater2011.instDecidableEqDevoicingRate : DecidableEq DevoicingRate

Equations

• CoetzeePater2011.instDecidableEqDevoicingRate = CoetzeePater2011.instDecidableEqDevoicingRate.decEq

def CoetzeePater2011.instDecidableEqDevoicingRate.decEq (x✝ x✝¹ : DevoicingRate) : Decidable (x✝ = x✝¹)

Equations

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

def CoetzeePater2011.instReprDevoicingRate.repr : DevoicingRate → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance CoetzeePater2011.instReprDevoicingRate : Repr DevoicingRate

Equations

• CoetzeePater2011.instReprDevoicingRate = { reprPrec := CoetzeePater2011.instReprDevoicingRate.repr }

def CoetzeePater2011.devoicingRates : Loan → DevoicingRate

The cells of (21), p. 18, by loan; checked against the page images.

Equations

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

structure CoetzeePater2011.LearnedGrammar : Type

A row of (23), p. 20: the constraint values a learner reached on a dialect's rates of (10), and the probabilities of deletion its grammar encodes.

• starCT : Data.Experiments.Decimal

  The value of *CT.

• maxPreV : Data.Experiments.Decimal

  The value of MAX-PRE-V.

• maxFinal : Data.Experiments.Decimal

  The value of MAX-FINAL.

• maxC : Data.Experiments.Decimal

  The value of MAX.

• preV : Data.Experiments.Decimal

  The encoded probability of deletion before a vowel.

• pause : Data.Experiments.Decimal

  The encoded probability of deletion before a pause.

• preC : Data.Experiments.Decimal

  The encoded probability of deletion before a consonant.

@[instance_reducible]

instance CoetzeePater2011.instDecidableEqLearnedGrammar : DecidableEq LearnedGrammar

Equations

• CoetzeePater2011.instDecidableEqLearnedGrammar = CoetzeePater2011.instDecidableEqLearnedGrammar.decEq

def CoetzeePater2011.instDecidableEqLearnedGrammar.decEq (x✝ x✝¹ : LearnedGrammar) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance CoetzeePater2011.instReprLearnedGrammar : Repr LearnedGrammar

Equations

• CoetzeePater2011.instReprLearnedGrammar = { reprPrec := CoetzeePater2011.instReprLearnedGrammar.repr }

def CoetzeePater2011.instReprLearnedGrammar.repr : LearnedGrammar → ℕ → Std.Format

Equations

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

def CoetzeePater2011.learnedGrammars : Dialect → Model → LearnedGrammar

The cells of (23), p. 20, by dialect and model; checked against the page images.

Equations

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

structure CoetzeePater2011.TejanoPrimeGrammar : Type

A row of (23), p. 20: the constraint values a learner reached on the rates of Tejano′, and the probabilities of deletion its grammar encodes.

• starCT : Data.Experiments.Decimal

  The value of *CT.

• maxPreV : Data.Experiments.Decimal

  The value of MAX-PRE-V.

• maxFinal : Data.Experiments.Decimal

  The value of MAX-FINAL.

• maxC : Data.Experiments.Decimal

  The value of MAX.

• preV : Data.Experiments.Decimal

  The encoded probability of deletion before a vowel.

• pause : Data.Experiments.Decimal

  The encoded probability of deletion before a pause.

• preC : Data.Experiments.Decimal

  The encoded probability of deletion before a consonant.

def CoetzeePater2011.instDecidableEqTejanoPrimeGrammar.decEq (x✝ x✝¹ : TejanoPrimeGrammar) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance CoetzeePater2011.instDecidableEqTejanoPrimeGrammar : DecidableEq TejanoPrimeGrammar

Equations

• CoetzeePater2011.instDecidableEqTejanoPrimeGrammar = CoetzeePater2011.instDecidableEqTejanoPrimeGrammar.decEq

@[instance_reducible]

instance CoetzeePater2011.instReprTejanoPrimeGrammar : Repr TejanoPrimeGrammar

Equations

• CoetzeePater2011.instReprTejanoPrimeGrammar = { reprPrec := CoetzeePater2011.instReprTejanoPrimeGrammar.repr }

def CoetzeePater2011.instReprTejanoPrimeGrammar.repr : TejanoPrimeGrammar → ℕ → Std.Format

Equations

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

def CoetzeePater2011.tejanoPrimeGrammars : Model → TejanoPrimeGrammar

The cells of (23), p. 20, by model; checked against the page images.

Equations

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

structure CoetzeePater2011.ObservedRate : Type

A row of (23), p. 20: the proportion of deletion in the learning data for Tejano′.

• rate : Data.Experiments.Decimal

  The proportion deleted.

@[instance_reducible]

instance CoetzeePater2011.instDecidableEqObservedRate : DecidableEq ObservedRate

Equations

• CoetzeePater2011.instDecidableEqObservedRate = CoetzeePater2011.instDecidableEqObservedRate.decEq

def CoetzeePater2011.instDecidableEqObservedRate.decEq (x✝ x✝¹ : ObservedRate) : Decidable (x✝ = x✝¹)

Equations

• CoetzeePater2011.instDecidableEqObservedRate.decEq { rate := a } { rate := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

def CoetzeePater2011.instReprObservedRate.repr : ObservedRate → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance CoetzeePater2011.instReprObservedRate : Repr ObservedRate

Equations

• CoetzeePater2011.instReprObservedRate = { reprPrec := CoetzeePater2011.instReprObservedRate.repr }

def CoetzeePater2011.tejanoPrimeRates : Context → ObservedRate

The cells of (23), p. 20, by context; checked against the page images.

Equations

• CoetzeePater2011.tejanoPrimeRates CoetzeePater2011.Context.preV = { rate := { mantissa := 62, exponent := 2 } }
• CoetzeePater2011.tejanoPrimeRates CoetzeePater2011.Context.pause = { rate := { mantissa := 46, exponent := 2 } }
• CoetzeePater2011.tejanoPrimeRates CoetzeePater2011.Context.preC = { rate := { mantissa := 25, exponent := 2 } }

structure CoetzeePater2011.GoldvarbInput : Type

A row of (25), p. 23: the input probability Goldvarb X fits to a variety.

• p0 : Data.Experiments.Decimal

  The input probability p₀.

def CoetzeePater2011.instDecidableEqGoldvarbInput.decEq (x✝ x✝¹ : GoldvarbInput) : Decidable (x✝ = x✝¹)

Equations

• CoetzeePater2011.instDecidableEqGoldvarbInput.decEq { p0 := a } { p0 := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance CoetzeePater2011.instDecidableEqGoldvarbInput : DecidableEq GoldvarbInput

Equations

• CoetzeePater2011.instDecidableEqGoldvarbInput = CoetzeePater2011.instDecidableEqGoldvarbInput.decEq

@[instance_reducible]

instance CoetzeePater2011.instReprGoldvarbInput : Repr GoldvarbInput

Equations

• CoetzeePater2011.instReprGoldvarbInput = { reprPrec := CoetzeePater2011.instReprGoldvarbInput.repr }

def CoetzeePater2011.instReprGoldvarbInput.repr : GoldvarbInput → ℕ → Std.Format

Equations

• CoetzeePater2011.instReprGoldvarbInput.repr x✝ prec✝ = Std.Format.bracket "{ " (Std.Format.nil ++ Std.Format.text "p0" ++ Std.Format.text " := " ++ (Std.Format.nest 6 (repr x✝.p0)).group) " }"

def CoetzeePater2011.goldvarbInputs : Variety → GoldvarbInput

The cells of (25), p. 23, by variety; checked against the page images.

Equations

• CoetzeePater2011.goldvarbInputs CoetzeePater2011.Variety.tejano = { p0 := { mantissa := 44, exponent := 2 } }
• CoetzeePater2011.goldvarbInputs CoetzeePater2011.Variety.tejanoPrime = { p0 := { mantissa := 44, exponent := 2 } }

structure CoetzeePater2011.GoldvarbFactor : Type

A row of (25), p. 23: the factor weight Goldvarb X fits to a following context in a variety, with the observed and expected percentages of deletion.

• factorWeight : Data.Experiments.Decimal

  The factor weight p₁.

• observed : ℕ

  The observed percentage deleted.

• expected : Data.Experiments.Decimal

  The expected percentage deleted.

@[instance_reducible]

instance CoetzeePater2011.instDecidableEqGoldvarbFactor : DecidableEq GoldvarbFactor

Equations

• CoetzeePater2011.instDecidableEqGoldvarbFactor = CoetzeePater2011.instDecidableEqGoldvarbFactor.decEq

def CoetzeePater2011.instDecidableEqGoldvarbFactor.decEq (x✝ x✝¹ : GoldvarbFactor) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance CoetzeePater2011.instReprGoldvarbFactor : Repr GoldvarbFactor

Equations

• CoetzeePater2011.instReprGoldvarbFactor = { reprPrec := CoetzeePater2011.instReprGoldvarbFactor.repr }

def CoetzeePater2011.instReprGoldvarbFactor.repr : GoldvarbFactor → ℕ → Std.Format

Equations

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

def CoetzeePater2011.goldvarbFactors : Variety → Context → GoldvarbFactor

The cells of (25), p. 23, by variety and context; checked against the page images.

Equations

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

structure CoetzeePater2011.IndexedRate : Type

A row of (32), p. 29: the probability of deletion of a word before a following context in the learning data and in the learned lexically indexed Noisy HG grammar.

• learningData : Data.Experiments.Decimal

  The probability of deletion in the learning data.

• learned : Data.Experiments.Decimal

  The probability of deletion in the learned grammar.

def CoetzeePater2011.instDecidableEqIndexedRate.decEq (x✝ x✝¹ : IndexedRate) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance CoetzeePater2011.instDecidableEqIndexedRate : DecidableEq IndexedRate

Equations

• CoetzeePater2011.instDecidableEqIndexedRate = CoetzeePater2011.instDecidableEqIndexedRate.decEq

@[instance_reducible]

instance CoetzeePater2011.instReprIndexedRate : Repr IndexedRate

Equations

• CoetzeePater2011.instReprIndexedRate = { reprPrec := CoetzeePater2011.instReprIndexedRate.repr }

def CoetzeePater2011.instReprIndexedRate.repr : IndexedRate → ℕ → Std.Format

Equations

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

def CoetzeePater2011.indexedRates : Lexeme → Context → IndexedRate

The cells of (32), p. 29, by lexeme and context; checked against the page images.

Equations

• CoetzeePater2011.indexedRates CoetzeePater2011.Lexeme.feast CoetzeePater2011.Context.preV = { learningData := { mantissa := 40, exponent := 2 }, learned := { mantissa := 40, exponent := 2 } }
• CoetzeePater2011.indexedRates CoetzeePater2011.Lexeme.feast CoetzeePater2011.Context.pause = { learningData := { mantissa := 20, exponent := 2 }, learned := { mantissa := 20, exponent := 2 } }
• CoetzeePater2011.indexedRates CoetzeePater2011.Lexeme.feast CoetzeePater2011.Context.preC = { learningData := { mantissa := 60, exponent := 2 }, learned := { mantissa := 59, exponent := 2 } }
• CoetzeePater2011.indexedRates CoetzeePater2011.Lexeme.most CoetzeePater2011.Context.preV = { learningData := { mantissa := 50, exponent := 2 }, learned := { mantissa := 50, exponent := 2 } }
• CoetzeePater2011.indexedRates CoetzeePater2011.Lexeme.most CoetzeePater2011.Context.pause = { learningData := { mantissa := 30, exponent := 2 }, learned := { mantissa := 30, exponent := 2 } }
• CoetzeePater2011.indexedRates CoetzeePater2011.Lexeme.most CoetzeePater2011.Context.preC = { learningData := { mantissa := 70, exponent := 2 }, learned := { mantissa := 70, exponent := 2 } }