تالار گفتمان مانشت

اگر یک ماشین تورینگ دارای انتقال هایی به شکل
[tex]\delta (q_{0},a)=\left \{ (q_{1},b,r),(q_{2},c,L) \right \}[/tex]
[tex]q_{0}aaa\vdash bq_{1}aa[/tex]
[tex]q_{0}aaa\vdash q_{2}\square caa[/tex]
اخرین خط رو متوجه نمیشم دقیقا بلنک رو از کجا اورده یعنی چطوری بلنک رو اورده
حدسم اینه که به اول نوار خورده و پشتش بلنک هست که با چپ رفتن وضعیت q دو به بلنک اشاره می کنه
ایا برداشت من درسته ؟

اول و آخر رشته Blank هست ولی خودمون هم میتونیم یه سری از کاراکترا رو به B تبدیل کنیم مثلا توی a^n b^n که یه a رو B میکنیم یه b . پس یک سری B هم وسط رشته ایجاد میشه.