هر دو این نکته‌ها در کتاب لینز ذکر شده البته به عنوان تمرین عنوان شده
تمرین شش فصل ۵
و تمرین ۴

یه نکته در تکمیل توضیح دوستمون جهت تشخیص ابهام:
اصولا ابهام از انجا ناشی میشود که ماشین سر چند راهی گیر میکند و باید از میان مسیرهای موجود گزینش کند تا ببیند میتواند برای گرامر مربوطه یک درخت اشتقاق تولید کند یا خیرر
از انجا که در زبان منظم nfa و dfa معادل هستنند و میتوان به هم تبدیل کرد و چون dfa فاقد ابهام هست لذا زبان منظم به هیچ وجه نمیتواند مبهم باشد.

نکته بعدی اینکه تنها nfa و dfa معادل هم میباشند و این حکم برای ماشین پشته ایی معین و نامعین به هیچ عنوان صدق نمیکنه و همچنین در ماشین تورینگ.
اصولا اثبات اینکه یک زبان ذاتا مبهم نیست کار چندان ساده ایی نیست اما با توجه به یک سری نکات میتوان با استدلالهی ذهنی به نتایج مناسبی رسید.