Детерминистички потисни аутомат — разлика између измена

нема описа измене
Нема описа измене
:<math>\delta\,:(Q\, \times ( \Sigma\, \cup \left \{ \lambda\, \right \} ) \times \Gamma\,) \longrightarrow Q \times \Gamma ^{*}</math>
''M'' је детерминистички ако задовољава оба следећа услова:
* За свако <math> q \in Q, a \in \Sigma \cup \left \{ \lambda \right \}, x \in \Gamma</math>,скуп <math>\delta(q,a,x)\,</math> садржи бар један елемент.
* За свако <math> q \in Q, x \in \Gamma</math>, ако је <math>\delta(q, \lambda, x) \not= \emptyset\,</math>, тада је <math>\delta\left( q,a,x \right) = \emptyset</math> за свако <math>a \in \Sigma</math>
Постоје два могућа критеријума за прихватање знакова:прихватање праѕном потисном листом и прихватање завршним стањем.Ова два критеријума нису једнака за детерминистичке потисне аутомате иако јесу за недетерминистичке потисне аутомате.
 
62

измене