Potisni automat: razlika između inačica
Izbrisani sadržaj Dodani sadržaj
PA, formalna definicija + primjer |
|||
Redak 29:
*<math>Q</math> je konačan skup stanja
*<math>\Sigma</math> je konačan skup ulaznih znakova (ulazna [[abeceda (racunarstvo)]])
*<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>
| |||