Group G5

• Add {Q[p(n),qy]}

• Once we enter state qy, no further transitions are allowed.

• This clause guarantees that we have entered state qy either at some time prior to p(n) or at time p(n).

• Entering qy causes MX to accept its input.

Previous slide

Next slide

Back to first slide

View graphic version