Eine universelle Turing Maschine besitzt die Fähigkeit, beliebige andere Turing Maschinen zu simulieren. Als Eingabe nimmt sie die Beschreibung der zu simulierenden Turing Maschine und des Eingabebandes für diese Turing Maschine.
Mit Hilfe der zwei-dimensionalen Welt von TuringKara ist es "relativ gut" (mit weniger als 50 Zuständen!) möglich, eine universelle Turing Maschine zu erstellen, die beliebige Ein-Band Turing Maschinen simuliert.