Flemming2021: experimental results (generated)

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

The observed probabilities of pronouncing schwa in the eight French contexts of (19), from the experiment of Smith and Pater (2020), with the probabilities fitted by the four stochastic Harmonic Grammars and their deviances (Table 2). The text gives the deviances of MaxEnt and censored NHG as 12.8 and 14.6 in that order; the table, and the footnote on censored NHG, give 14.6 to MaxEnt and 12.8 to censored NHG.

References

• [Fle21]

inductive Flemming2021.Underlying : Type

Whether the schwa site is clitic-final, with an underlying schwa, or word-final, with none.

• zero : Underlying

  /∅/: word-final, no underlying schwa

• schwa : Underlying

  /ə/: clitic-final, an underlying schwa

@[instance_reducible]

instance Flemming2021.instDecidableEqUnderlying : DecidableEq Underlying

Equations

• Flemming2021.instDecidableEqUnderlying x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Flemming2021.instReprUnderlying : Repr Underlying

Equations

• Flemming2021.instReprUnderlying = { reprPrec := Flemming2021.instReprUnderlying.repr }

def Flemming2021.instReprUnderlying.repr : Underlying → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Flemming2021.instFintypeUnderlying : Fintype Underlying

Equations

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

inductive Flemming2021.Onset : Type

How many consonants precede the schwa site.

• c : Onset

  C: one consonant

• cc : Onset

  CC: two consonants

@[instance_reducible]

instance Flemming2021.instDecidableEqOnset : DecidableEq Onset

Equations

• Flemming2021.instDecidableEqOnset x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Flemming2021.instReprOnset.repr : Onset → ℕ → Std.Format

Equations

• Flemming2021.instReprOnset.repr Flemming2021.Onset.c prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Flemming2021.Onset.c")).group prec✝
• Flemming2021.instReprOnset.repr Flemming2021.Onset.cc prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Flemming2021.Onset.cc")).group prec✝

@[instance_reducible]

instance Flemming2021.instReprOnset : Repr Onset

Equations

• Flemming2021.instReprOnset = { reprPrec := Flemming2021.instReprOnset.repr }

@[instance_reducible]

instance Flemming2021.instFintypeOnset : Fintype Onset

Equations

• Flemming2021.instFintypeOnset = { elems := { val := ↑Flemming2021.Onset.enumList, nodup := Flemming2021.Onset.enumList_nodup }, complete := Flemming2021.instFintypeOnset._proof_1 }

inductive Flemming2021.Following : Type

The following word.

• disyllable : Following

  _σσ́: a disyllable, stressed on its second syllable

• monosyllable : Following

  _σ́: a stressed monosyllable

@[instance_reducible]

instance Flemming2021.instDecidableEqFollowing : DecidableEq Following

Equations

• Flemming2021.instDecidableEqFollowing x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Flemming2021.instReprFollowing.repr : Following → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance Flemming2021.instReprFollowing : Repr Following

Equations

• Flemming2021.instReprFollowing = { reprPrec := Flemming2021.instReprFollowing.repr }

@[instance_reducible]

instance Flemming2021.instFintypeFollowing : Fintype Following

Equations

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

inductive Flemming2021.Model : Type

The stochastic Harmonic Grammars compared.

• maxEnt : Model

  MaxEnt: Maximum Entropy

• normalMaxEnt : Model

  Normal MaxEnt: MaxEnt with normal noise

• nhg : Model

  NHG: Noisy Harmonic Grammar

• censoredNhg : Model

  Censored NHG: Noisy Harmonic Grammar with censored noise

@[instance_reducible]

instance Flemming2021.instDecidableEqModel : DecidableEq Model

Equations

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

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

Equations

• One or more equations did not get rendered due to their size.
• Flemming2021.instReprModel.repr Flemming2021.Model.maxEnt prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Flemming2021.Model.maxEnt")).group prec✝
• Flemming2021.instReprModel.repr Flemming2021.Model.nhg prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Flemming2021.Model.nhg")).group prec✝

@[instance_reducible]

instance Flemming2021.instReprModel : Repr Model

Equations

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

@[instance_reducible]

instance Flemming2021.instFintypeModel : Fintype Model

Equations

• Flemming2021.instFintypeModel = { elems := { val := ↑Flemming2021.Model.enumList, nodup := Flemming2021.Model.enumList_nodup }, complete := Flemming2021.instFintypeModel._proof_1 }

structure Flemming2021.SchwaRate : Type

A row of Table 2, p. 23: the observed probability of pronouncing schwa in a context and the probabilities the grammars fit.

• observed : Data.Experiments.Decimal

  The observed probability, Pə.

• maxEnt : Data.Experiments.Decimal

  The probability fitted by MaxEnt.

• normalMaxEnt : Data.Experiments.Decimal

  The probability fitted by normal MaxEnt.

• nhg : Data.Experiments.Decimal

  The probability fitted by NHG.

• censoredNhg : Data.Experiments.Decimal

  The probability fitted by censored NHG.

def Flemming2021.instDecidableEqSchwaRate.decEq (x✝ x✝¹ : SchwaRate) : Decidable (x✝ = x✝¹)

Equations

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

@[instance_reducible]

instance Flemming2021.instDecidableEqSchwaRate : DecidableEq SchwaRate

Equations

• Flemming2021.instDecidableEqSchwaRate = Flemming2021.instDecidableEqSchwaRate.decEq

@[instance_reducible]

instance Flemming2021.instReprSchwaRate : Repr SchwaRate

Equations

• Flemming2021.instReprSchwaRate = { reprPrec := Flemming2021.instReprSchwaRate.repr }

def Flemming2021.instReprSchwaRate.repr : SchwaRate → ℕ → Std.Format

Equations

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

def Flemming2021.schwaRates : Underlying → Onset → Following → SchwaRate

The cells of Table 2, p. 23, by underlying and onset and following; checked against the page images.

Equations

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

structure Flemming2021.Fit : Type

A row of Table 2, p. 23: the deviance of a grammar's fit, lower for a better fit.

• deviance : Data.Experiments.Decimal

  The deviance.

@[instance_reducible]

instance Flemming2021.instDecidableEqFit : DecidableEq Fit

Equations

• Flemming2021.instDecidableEqFit = Flemming2021.instDecidableEqFit.decEq

def Flemming2021.instDecidableEqFit.decEq (x✝ x✝¹ : Fit) : Decidable (x✝ = x✝¹)

Equations

• Flemming2021.instDecidableEqFit.decEq { deviance := a } { deviance := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯

@[instance_reducible]

instance Flemming2021.instReprFit : Repr Fit

Equations

• Flemming2021.instReprFit = { reprPrec := Flemming2021.instReprFit.repr }

def Flemming2021.instReprFit.repr : Fit → ℕ → Std.Format

Equations

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

def Flemming2021.deviances : Model → Fit

The cells of Table 2, p. 23, by model; checked against the page images.

Equations

• Flemming2021.deviances Flemming2021.Model.maxEnt = { deviance := { mantissa := 146, exponent := 1 } }
• Flemming2021.deviances Flemming2021.Model.normalMaxEnt = { deviance := { mantissa := 217, exponent := 1 } }
• Flemming2021.deviances Flemming2021.Model.nhg = { deviance := { mantissa := 260, exponent := 1 } }
• Flemming2021.deviances Flemming2021.Model.censoredNhg = { deviance := { mantissa := 128, exponent := 1 } }