در کتاب لینز گفته شده یکی از شروط قطعیت اینه که برای هر ورودی حداکثر یک حرکت داشته باشیم:
اگر تو ماشینی این دو حالتو داشته باشیم قطعیه؟
یعنی از یک حالت به ازای یک ورودی یکسان با الفبای پشته مختلف به یه حالت برن.
[attachment=1801]
به ازای هر ورودی و هر چه در بالای پشته است فقط یک حرکت(ص ۲۲۵ لنز)
با این حساب قطعی میشه!!
نظرت چیه؟
یعنی قطعیت در حالت حداکثر یک حرکت فقط به ورودی بستگی داره و شامل الفبای پشته نمیشه.
ممنون