" Nech L je regulárny jazyk. Pomocou nedeterministických dvojsmerných konečných automatov dokážte, že jazyk
L' = { uv | $ w Î S^* : uvw Î L , |u|=|w|=|v| }
je regulárny. "