„Absztrakt automata” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
Nincs szerkesztési összefoglaló |
a dupla a megszüntetése AWB |
||
55. sor:
*δ az ''átmeneti függvény'', amely a következő formájú
<center><math>\delta:Q \times \Sigma \rightarrow Q.</math></center>
:Ez a függvény kiterjeszthető úgy, hogy a nem az ábécé egy szimbólumáról beszélünk, hanem
<center><math>\hat\delta:Q \times \Sigma^{\star} \rightarrow Q.</math></center>
:…ahol ∑<sup>*</sup> ∑ [[Kleene lezárás]]a
|