MühaziRƏ 1 Verilənlər. Alqoritmlər və verilənlərin strukturu

2.Tyurinq maşınının iterasiyası

Bu əməliyyatı ancaq bir maşında yerinə yetirmək olar.Tutaq ki, q_z – T maşınının son vəziyyətidir və q_n isə T maşınının hər hansı sonuncu olmayan bir vəziyyətidir. T maşınının P proqramının hər yerində q_z –i q_n ilə əvəz edək.Alınmış proqram yeni T(q_z, q_n) maşınını təyin edəcəkdir,hansı ki, (q_z, q_n) vəziyyətlərinə görə T maşınının iterasiyası adlanacaqdır.

3.Tyurinq maşınının budaqlanması.

Tutaq ki, T₁ , T₂ və T₃ Tyurinq maşınları uyğun olaraq P₁,P₂ və P₃ proqramları ilə verilmişdir.Hesab edək ki,bu maşınların daxili əlifbası cüt-cüt kəsişmir və tutaq ki, q_z11 və q _z12 - T₁ maşınını hər hansı müxtəlif vəziyyətləridir.

P₁ proqramının hər yerində q_z11 vəziyyətini T₂ maşınının başlanğıc olan q₀₂ ilə,q_z12 vəziyyətini isə T₃ maşınının q₀₃ başlanğıc vəziyyəti ilə əvəz edək .Sonra yeni proqramı P₂ və P₃ proqramları ilə birləşdirək.Bu zaman Tyurinq maşınının P proqramını almış olarıq və bu aşağıdakı kimi işarələnəcəkdir

T=T(T_1,( q_z11, q₀₂),T₂(q_z12, q₀₃), T₃)

T maşını T₁ maşını ilə ilə idarə olunan T₂ və T₃ maşınlarının budaqlanmasından əmələ gəlmişdir.