Turingův stroj: Porovnání verzí
Smazaný obsah Přidaný obsah
→Definice: opraven symbol podmnožiny pro Sigma značka: editace z Vizuálního editoru |
→top: typo |
||
Řádek 1:
[[Soubor:Maquina.png|thumb|Umělecké znázornění Turingova stroje
'''Turingův stroj''' ('''TS''') je [[výpočetní model|teoretický model]] [[počítač]]e popsaný matematikem [[Alan Turing|Alanem Turingem]].
Skládá se z procesorové jednotky, tvořené [[konečný automat|konečným automatem]], [[počítačový program|programu]] ve tvaru pravidel přechodové funkce a pravostranně nekonečné pásky pro zápis mezivýsledků. Využívá se pro modelování [[algoritmus|algoritmů]] v [[teorie vyčíslitelnosti|teorii vyčíslitelnosti]].
|