Детерминистички потисни аутомат — разлика између измена
Садржај обрисан Садржај додат
Ред 7:
== Дефиниција ==
<math>M=(\Sigma\,, \Q, \Gamma\,, i\,, Z_0\,, K\,, \Delta\,)</math>
Ред 25:
где је <math> \omega\ </math> реч коју ће аутомат прочитати, а <math>( q, \gamma ) </math> унутрашња конфигурација аутомата (први карактер ниске <math> \gamma\ </math> је на врху потисне листе).
''M'' је '''''детерминистички''''' ако задовољава оба следећа услова:
* За свако <math> q \in Q, a \in \Sigma \cup \left \{ \epsilon \right \}, x \in \Gamma</math>, скуп <math>\Delta(q,a,x)\,</math> садржи бар један елемент.
* За свако <math> q \in Q, x \in \Gamma</math>, ако је <math>\Delta(q, \epsilon, x) \not= \emptyset\,</math>, тада је <math>\Delta\left( q,a,x \right) = \emptyset</math> за свако <math>a \in \Sigma</math>
| |||