An unbounded number of empty spaces must be available for c to the right:::: ...a'.b'... = : ...[ _ ] _ _ _ .
За один шаг каретка может сдвинуться на одну позицию влево или вправо, считать, поставить или стереть символ в том месте, где она стоит.