next up previous contents
Next: DATR theorems syncnode.theo Up: DATR theory syncnode.dtr Previous: Compositional QLP mapping

Autosegmental automaton

MPros:

 <>            ==   ##
 <#>           ==   <>
 <cpros>       ==   <>
 <wpros>       ==   <>
 <stress>      ==   stress <>
 <umlaut>      ==   umlaut <>
 <noumlaut>    ==   noumlaut <> .

MP_int:

  <>            ==
  <cpros>       ==   "MP_int:<MPros:<>>"
  <wpros>       ==   <>
  <stress>      ==   <>
  <umlaut>      ==   <>
  <noumlaut>    ==   <>
  <spread>      ==   <>
  <##>          ==   <>

... ... ...

  <'U'>          ==   <"Prosody" 'U'>
  <umlaut 'U'>   ==   'Y' <>
  <noumlaut 'U'> ==   'U' <>
  <'O'>          ==   <"Prosody" 'O'>
  <umlaut 'O'>   ==   '9' <>
  <noumlaut 'O'> ==   'O' <>

... ... ... .

Prosody:

  <>            ==
  <#>           ==   <>
  <noumlaut>    ==   / noumlaut
  <umlaut>      ==   / umlaut
  <stress>      ==   / <> .



Dafydd Gibbon
Sat Jan 6 20:59:29 MET 1996