Tjuringova mašina · Turing machine
- theoretical CS
Definicija: Definiše funkcije koje su algoritamski izračunljive i služi kao osnova teorije složenosti i decidabilnosti.
- Polje: theoretical CS
- ID: T3019
Problem zaustavljanja TM je nerješiv.
A TM halting problem is undecidable.