Symmetric Turing machines are a kind of Turing machines with limited nondeterministic power, and were shown to be at least as powerful as deterministic Turing machines, giving an interesting case in between.
ماشین تورینگ‌های متقارن نوعی از ماشین‌های تورینگ هستند که قدرت عدم قطعیت کمی دارند و ثابت شده است که قدرتشان حدالاقل برابر باDFA است، در واقع چیزی بین این ۲ حالت هستند.