Það er ómögulegt að spá í hvaða ástand líkindasamt og skiptandi Turing vélum mun enda í, sem gerir þá hvaða tegund yfirgripsmikil Turing vél? Skrifaðu svarið í samhengi við fyrri spurningu. Það geta verið 1 - 20 setningar. Umfjöllun:
Margir gerðir af Turing vélum eru notaðir til að skilgreina flækjustig flokka, svo sem ákvarðandi Turing vél, líkindatækni Turing vél, ekki ákvarðandi Turing vél, Kvantum Turing vél, symmetrisk Turing vél og skiptandi Turing vél. Þeir eru allir jafn öflugir í meginatriðum, en þegar auðlindir (eins og tími eða rými) eru takmörkuð, geta sumir þeirra verið öflugri en aðrir.