section_heading: Turingov stroj s dvostranom beskonačnom trakom
paragraph_text: Za razliku od osovnog modela TS koji funkcijom <math>\delta (q,X) = (p,B,R)</math> prelazi iz konfiguracije <math>q X \alpha</math> u konfiguraciju <math>B p \alpha</math>, gdje je oznaka prazne ćelije B lijevo od stanja p, za TS s dvostranom beskonačnom trakom vrijedi: