Two-way finite automaton: Difference between revisions

Revision as of 15:19, 30 October 2021

Revision as of 15:39, 30 October 2021

Line 40:

:<math>\delta(q,R)=(q^\prime,\mathrm{left})</math> for some <math>q^\prime \in Q</math>

It says that there must be some transition possible when the pointer reaches either end of the input word.

* For all symbols <math>\sigma \in \Sigma \cup \{L\}</math>{{clarify|reason='L' and 'R' are not allowed in the 2nd component of a \delta result. Probably, in the right hand side of the following 4 equations, 'L' should be fixed to 'left' and 'R' to 'right'?|date=October 2021}}

: <math>\delta(t,\sigma)=(t,R)</math>

: <math>\delta(r,\sigma)=(r,R)</math>