(۰۴ آذر ۱۳۹۳ ۰۹:۱۷ ب.ظ)amiriahmad نوشته شده توسط:  الآن بهتر نشد؟
تعریف:

سوال:

---

خیلی چیز پیچیده ای نیست...
فقط یه خورده پیچونده قضیه رو...
تعریف که میگه ما علاوه بر تعریف تابع گذر به صورت عادی، می خواهیم آن را به حالتی که ورودی دومش یک رشته باشد تعمیم دهیم...
در تعریف خود تابع انتقال(گذر) دو ورودی داریم ۱/حالت فعلی، ۲/یک حرف الفبا؛ که خروجی تابع میشود تمام حالاتی که میتوان از آن حالت با دیدن آن حرف به آن ها رسید...
در تعریف تعمیم یافته ورودی دوم تبدیل به رشته شده پس خروجی تابع میشه تمام حالاتی که از آن حالت با دیدن آن رشته می توان به آن ها رسید... اکی؟
اما جواب سوال...
ورودی دوم تابع تعمیم یافته رو گذاشته w v و این یعنی خروجی میشه تمام حالاتی که از حالت q(حالت فعلی) میتوان با دیدن wv به آن حالت ها رسید... که این حالت ها رو میشه این جور بیان کرد که اول با دیدن w به یک سری حالت می رسیم که از هر کدام از اون حالت ها با دیدن v به یک سری حالت دیگه میرسیم یعنی...
با دیدن wv به اجتماع تمام مجموعه حالت هایی میرویم که تابع گذر با دیدن v از حالت p به آن ها میرسد... p هم که هر دفعه میشه یک حالت از حالت هایی که از q شروع کرده و w را دیده ایم....
من بیشتر پیچوندمش نه؟