Turingův stroj: Porovnání verzí
Smazaný obsah Přidaný obsah
m neni -> není značka: editace z Vizuálního editoru |
→Definice: oprava formální definice Turingova stroje + seřazení prvků sedmice dle en wiki |
||
Řádek 8:
== Definice ==
Turingův stroj je
* <math>Q</math> je konečná [[množina]] vnitřních stavů
* <math>\Gamma</math> je konečná abeceda symbolů
* <math>s\in Q</math> je počáteční stav▼
* <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>
▲* <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:
** <math>L</math> znamená posun čtecí hlavy vlevo
** <math>R</math> znamená posun čtecí hlavy vpravo
* <math>F\subseteq Q</math> je množina koncových stavů
== Konfigurace ==
| |||