Difference between revisions of "Kymorph/Remaining transducer issues/п deletion and voicing conflict"
Jump to navigation
Jump to search
Firespeaker (talk | contribs) |
Firespeaker (talk | contribs) |
||
Line 17: | Line 17: | ||
=== The conflict === |
=== The conflict === |
||
As expected, the following conflict results from these two rules being present in the same .twol file: |
|||
<pre> |
<pre> |
||
There is a <=-rule conflict between "Intervocalic voicing of п" and "Deletion of п at end of verb stem in <cv_perf>". |
There is a <=-rule conflict between "Intervocalic voicing of п" and "Deletion of п at end of verb stem in <cv_perf>". |
Revision as of 20:26, 24 July 2011
The problem
The environment
- п should delete between a low vowel and a morpheme boundary followed by {I}п
- e.g., тап>{I}п : таап, теп>{I}п : тээп (everything else needed for these rules works)
- п should voice (to б) in all other intervocalic positions
- e.g., тап>{A} : таба, теп>{A} : тебе
- also: кап>{I} : кабы, кеп>{I} : кеби
The basic rules
- "Intervocalic voicing of п"
- п:б <=> :SurVow (:0) _ %>: (:0) :SurVow ;
- "Deletion of п at end of verb stem in <cv_perf>"
- п:0 <=> :LowVow _ %>: %{I%}: п ;
The conflict
As expected, the following conflict results from these two rules being present in the same .twol file:
There is a <=-rule conflict between "Intervocalic voicing of п" and "Deletion of п at end of verb stem in <cv_perf>". E.g. in context {I}:и >: ё:ё _ >: {I}:и п:п WARNING! The conflict is unresolvable.
What needs to be done
Somehow, the voicing rule needs to exclude the entire environment of the deletion rule.
How to do it
It might be possible with what's suggested in the twolc book on pp. 49-54.
How not to do it
- Using <= and => instead of <=> does not seem to be a possible solution.
- Subtracting the more restrictive rule's left (x) and right (y) environments from the more general rule's left (a) and right (b) environments (respectively, resulting in [ a - x ] _ [ b - y ]) doesn't work, because then it fails to apply the more general rule after e.g., any x environment, not just when any y follows.