Машына Цьюрынга: Розніца паміж версіямі

[дагледжаная версія][дагледжаная версія]
Змесціва выдалена Змесціва дададзена
Радок 40:
== Разнавіднасці ==
 
Дэтэрмінаванай машынай Т'юрынгаЦьюрынга называецца машына, у якой для кожнай <math>\delta</math> апісанае толькі адно дзеянне. У іншым выпадку машына называецца недэтэрмінаванай.
 
=== Шматлентачная машына Т'юрынгаЦьюрынга ===
Шматлентачная машына Т'юрынгаЦьюрынга адрозневаецца тым, што складаецца з некалькіх лентаў і, адпаведна, з некалькіх галовак. У такім разе апісанне функцыі выглядае наступным чынам:
 
<math>\delta: Q \times \Gamma^k \rightarrow Q \times (\Gamma \times \{K,D,S\})^k</math>
Радок 49:
Звярніце увагу, што стан апісваецца для ўсёй машыны, а не для кожнай галоўкі асобна.
 
У шматлентачнай машыне першая лента звычайна называецца лентай увядзення, апошняя - — вывядзення, а сярэднія - — працоўнымі.