Turingův stroj: Porovnání verzí

Smazaný obsah Přidaný obsah
JOb (diskuse | příspěvky)
→‎Definice: opraven symbol podmnožiny pro Sigma
Řádek 12:
* <math>\Gamma</math> je konečná abeceda symbolů na pásce
* <math>b\in \Gamma</math> je symbol reprezentující prázdný symbol ( <math>b</math> není součástí vstupní abecedy přijímaného řetězce)
* <math>\Sigma \insubseteq \Gamma \setminus b</math> je konečná množina vstupních symbolů
* <math>s\in Q</math> je počáteční stav
* <math>\delta: Q\times\Gamma\rightarrow Q\times\Gamma \times \{L,R\}</math> přechodová funkce, kde: