Машына Т’юрынга: розьніца паміж вэрсіямі
Змесціва выдалена Змесціва дададзена
д робат дадаў: be:Машына Т'юрынга; касмэтычныя зьмены |
артаграфія, тэрміналёгія згодна з слоўнікам ТБМ |
||
Радок 10:
Машына складаецца з наступных частак:
* ''Бясконцая
* ''Галоўка'' — паказвае на пэўную
* ''Рэгістар стану'' — захоўвае інфармацыю пра стан машыны. Стан вызначае наступны крок і можа зьмяняцца падчас працы.
* ''Табліца дзеяньняў'' — апісаньне магчымых дзеяньняў у залежнасьці ад стану машыны і значэньня
=== Фармалізаванае ===
Радок 23:
дзе:
<math>Q\, </math> aбазначае
<math>\Gamma\,</math> —
<math>\Sigma \subset \Gamma</math> —
<math>s \in Q</math> — пачатковы стан машыны.
<math>b = \Gamma \backslash \Sigma</math> — сымбаль, які абазначае пустую
<math>F \subseteq Q</math> — мноства
<math>\delta : Q \times \Gamma \to Q \times \Gamma \times \{L, N, R\}</math>
== Разнавіднасьці ==
Дэтэрмінаванай машынай Т’юрынга называецца машына, у якой для кожнай <math>\delta</math> апісанае толькі адно дзеяньне. У іншым выпадку машына называецца недэтэрмінаванай.
===
<math>\delta: Q \times \Gamma^k \rightarrow Q \times (\Gamma \times \{K,D,S\})^k</math>
У
== Вонкавыя спасылкі ==
|