M = { {q0,q1} , { a } , { a,b,x } , { q0 a→b R q0 , q0 x→x L q1} , q0 , x , q1 }

Yukarıdaki makinenin başlangıç durumu q0, bitiş durumu q1′dir. a sembolü gördüğü sürece b yazmakta ve teybi sağa sarmaktadır. yıldız sembolü ile teypteki karakterler bitince son olarak sola sararak durmaktadır.

Sorunuzda 3 sembol bulunduğu kabulü var. Bu sembollerin sayısının kontrol edilmesi istenmemiş. Sadece okuyup üzerine b yazıyoruz.

Buna göre makinenin çalışması :

-aaa- olarak teyp başlar
 |

q0, a->b R , işlemi sonucunda q0'da kalır ve teyp kayar
-baa-
  |

tekrar q0'da olduğu için q0, a->b R , işlemi sonucunda q0'da kalır ve teyp kayar
-bba-
   |

tekrar q0'da olduğu için q0, a->b R , işlemi sonucunda q0'da kalır ve teyp kayar
-bbb-
    |

okunan değer x olduğu için q0'dan q1 durumuna geçeriz. (q0 x→x L q1 gereği)
-bbb-
   |

q1 durumunda makinemiz durur ve çalışma biter.

başarılar

Yani ilk durumda aaabbb şeklindeki kelimeleri kabul ederken ikinci durumda aabbab şeklindeki kelimeleri de kabul etmesini bekleyebiliriz.

ilk durum için basitçe kelimenin başından bir a sildiğimizde, kelimenin sonundan da bir b silicez. Dolayısıyla a ve b harfleri aynı anda biterse eşitler, şayet birisi önce biterse eşit değiller diyeceğiz.

ikinci durum ise biraz daha zor, kelimenin başından bir harf silip (örneğin a) sonra tersi olan harfi (bu durumda b) kelimenin yine başından ilk gördüğümüz durumda silmemiz gerekiyor. Ancak bu silme işlemini kaydırarak yapmamız gerekiyor.

Örnek üzerinden anlatacak olursam :
-abaaaabbbb- şeklinde bir kelime olsun:
a ve hemen sonra kelimede gelen ilk b siliniyor
—aaaabbbb- halini alıyor ve devam ediyoruz:
—-aaabbbb- şimdi bir a sildik ve bir de b silmemiz gerek. Makinemiz ilk b’yi bulup silecek:
—-aaa-bbb- fakat görüldüğü üzere kelimenin içinde boşluk oldu bunu düzeltmek için kaydırıyoruz:
—-aaabbb– ve böylece devam ediyor.

Burada boşluk oluşması ve kaydırma probleminin çözümü için ilave bir sembol kullanılabilir. Örneğin c sembolü kullanacak olalım. ilk silmeden sonra
-ccaaaabbbb- şeklinde ilk a ve b silindiler
-cccaaacbbb- şeklinde ikinci silme gerçekleşti ve bu şekilde devam ediyoruz. Ta ki bütün kelime c olana kadar. Şayet b veya a önce biterse o zaman eşit değil diyebiliriz.

Yukarıda, iki problemin de çözümünü anlattım ama kolay olanının makinesini çizip adım adım yukarıdaki yazıya ekleyeceğim. Eh zor olanını da artık siz yaparsınız

sorunuzun cevabını aşağıdaki bağlantıda yayınladım.

http://www.bilgisayarkavramlari.com/2010/11/19/esit-a-ve-b-bulunduran-turing-makinesi-ornegi/

başarılar