تالار گفتمان مانشت

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