Potisni automat: razlika između inačica

Izbrisani sadržaj Dodani sadržaj
mNema sažetka uređivanja
Redak 29:
 
*<math>Q</math> je konačan skup stanja
*<math>\Sigma</math> je konačan skup ulaznih znakova (ulazna [[abeceda (računarstvo)|abeceda]])
*<math>\Phi</math> je konačan skup znakova stoga (stogovna abeceda)
*<math>\sigma</math> (ili ponekad <math>\delta</math>) je konačna relacija prijelaza <math>(Q \times ( \Sigma \cup \left \{ \epsilon \right \} ) \times \Phi) \longrightarrow P( Q \times \Phi ^{*} )</math>