next up previous
Next: An example Up: Completion loops Previous: Completion loops

Completion (probabilistic, transitive)

displaymath8391

for all Y, Z such that tex2html_wrap_inline8395 is non-zero, and tex2html_wrap_inline7803 is not a unit production ( tex2html_wrap_inline8399 or tex2html_wrap_inline8401 ). Then

eqnarray5467



Andreas Stolcke
Sat Jun 29 21:49:02 PDT 1996