110239

Wynik jest negatywny, więc zapisujemy # i wracamy do początku. Jak chcemy ponownie sprawdzić znak pierwszy (a) wynik otrzymujemy negatywny, gdyż sprawdzany ciąg wygląda tak: #####bch#. Można tu zaobserwować, że pierwszy znak ciągu został zamazany, przez co utraciliśmy możliwość uzyskania pozytywnego wyniku, mimo że ciąg ten znajduje się w szukanym.

Zjawisko to rozwiązaliśmy przy pomocy funkcji „pierwszy”, która jest wywoływana zawsze, kiedy wynik testowania jest negatywny. W celu uniknięcia utraty danych zapamiętuje ona zamazywany znak, a następnie wraca do początku i sprawdza czy sprawdzaliśmy pierwszy znak. Jeżeli tak to powraca do miejsca zamazania i wychodzi z funkcji, w przeciwnym wypadku po powrocie do miejsca zamazania na powrót wstawia zapamiętany znak, a dopiero potem wychodzi z funkcji.

Wnioski

Maszyna Turinga co prawda potrafi sobie poradzić z większością algorytmów, ale problem stanowi jej programowanie. Mozolne tworzenie gigantycznych grafów jest pracą żmudną, choć nie tak bardzo trudną. Po za tym im trudniejszy problem tym więcej potrzeba stanów, co skutkuje brakiem czytelności grafa Duży problem stanowi brak pamięci, przez co w celu zapamiętania każdego znaku trzeba tworzyć nowy stan.