ကွန်ပြူတာဆိုင်ရာ ရှုပ်ထွေးမှုသီအိုရီ၏နယ်ပယ်တွင်၊ အထူးသဖြင့် ကန့်သတ်ပြည်နယ်စက်များကို လေ့လာရာတွင်၊ အဆုံးအဖြတ်မဟုတ်သော သဘောတရားသည် အရေးကြီးသောအခန်းကဏ္ဍမှ ပါဝင်ပါသည်။ သတ်မှတ်ထားသောအခြေအနေတွင်မဆို လက်ခံနိုင်သောလမ်းကြောင်းအများအပြားကို ယူဆောင်နိုင်စေသည့် သီအိုရီပိုင်းဆိုင်ရာပုံစံများ (Non-deterministic finite state machines) များဖြစ်သည်။ သို့သော် ထိုသို့သော အခြေအနေမျိုးနှင့် ကြုံလာရသောအခါတွင် မေးစရာ ဖြစ်လာသည်။