Documentation

Linglib.Fragments.Korean.Phonology

Korean Phonological Inventory #

Korean segments and the stop nasalization rule, using the SPE formalism from Theories.Phonology.RuleBased.Defs.

Segments #

Core inventory for the nasalization demo: /p t k m n a u l/. Korean stops are specified as [-del.rel.] (non-affricate), which is the target feature for the nasalization rule.

Rules #

  1. Stop Nasalization (Hayes p.132): [-del.rel.] → [+nasal, +voice, +son] / __ [+nasal]

@cite{hayes-2009}

source
def Fragments.Korean.Phonology.p :
Theories.Phonology.Segment

/p/: voiceless bilabial stop (non-affricate)

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Fragments.Korean.Phonology.t :
    Theories.Phonology.Segment

    /t/: voiceless alveolar stop (non-affricate)

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def Fragments.Korean.Phonology.k :
      Theories.Phonology.Segment

      /k/: voiceless velar stop (non-affricate)

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def Fragments.Korean.Phonology.m :
        Theories.Phonology.Segment

        /m/: bilabial nasal

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Fragments.Korean.Phonology.n :
          Theories.Phonology.Segment

          /n/: alveolar nasal

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            def Fragments.Korean.Phonology.a :
            Theories.Phonology.Segment

            /a/: low vowel

            Equations
            • One or more equations did not get rendered due to their size.
            Instances For
              source
              def Fragments.Korean.Phonology.u :
              Theories.Phonology.Segment

              /u/: high back rounded vowel

              Equations
              • One or more equations did not get rendered due to their size.
              Instances For
                source
                def Fragments.Korean.Phonology.l :
                Theories.Phonology.Segment

                /l/: alveolar lateral

                Equations
                • One or more equations did not get rendered due to their size.
                Instances For
                  source
                  def Fragments.Korean.Phonology.stopNasalization :
                  Theories.Phonology.RuleBased.PhonRule

                  Stop Nasalization (Hayes p.132): [-del.rel.] → [+nasal, +voice, +son] / __ [+nasal]

                  Non-affricate stops become nasalized before nasals.

                  Equations
                  • One or more equations did not get rendered due to their size.
                  Instances For
                    source
                    theorem Fragments.Korean.Phonology.p_matches_nasalization_target :
                    p.hasValue Theories.Phonology.Feature.delayedRelease false = true

                    Korean stops have [-del.rel.], matching the nasalization target.

                    source
                    theorem Fragments.Korean.Phonology.t_matches_nasalization_target :
                    t.hasValue Theories.Phonology.Feature.delayedRelease false = true
                    source
                    theorem Fragments.Korean.Phonology.k_matches_nasalization_target :
                    k.hasValue Theories.Phonology.Feature.delayedRelease false = true
                    source
                    theorem Fragments.Korean.Phonology.a_not_nasalization_target :
                    a.specified Theories.Phonology.Feature.delayedRelease = false

                    Vowels and nasals lack [-del.rel.], so they don't trigger nasalization.

                    source
                    theorem Fragments.Korean.Phonology.m_not_nasalization_target :
                    m.specified Theories.Phonology.Feature.delayedRelease = false