[tex]L = \left \{ a^{n}b^{m}c^{k}d^{l}| n m k l , is: even \right.\left. \right \}[/tex]
به نظر من منظمه!
برای اینکه جمع n,m,k,l زوج باشه یا باید همه n,m,l,k زوج باشن یا تعداد زوجی از این چهارتا فرد باشن و این حالتارو میشه با آتاماتا نشون داد
دقیفا همینی که ایشون میگند منظمه
ولی خوب نمیشه گفت اعداد زوج نامتناهی هستند
بعدم بیایین لم پمپاژ رو برای این زبان اجرا کنید ببینیم نتیجه اش چی میشه؟؟؟؟!!!!
برای اینکه زوج بودن FAپیاده شود لازم است دوstatای تعریف کنیم اون وقت در حالت بی نهایتم منظمه
یکم فکر کنیم
(۲۵ دى ۱۳۸۹ ۱۱:۲۱ ب.ظ)hamidkhl نوشته شده توسط: به نظر من منظمه!دوستان به این نکته که از جزوه منوچهر زاده در آوردم دقت کنید
برای اینکه جمع n,m,k,l زوج باشه یا باید همه n,m,l,k زوج باشن یا تعداد زوجی از این چهارتا فرد باشن و این حالتارو میشه با آتاماتا نشون داد
[attachment=292]
خوب از لم تزریق استفاده کنید.
(۲۶ دى ۱۳۸۹ ۰۱:۰۴ ق.ظ)javadjj نوشته شده توسط: ولی خوب نمیشه گفت اعداد زوج نامتناهی هستند
بعدم بیایین لم پمپاژ رو برای این زبان اجرا کنید ببینیم نتیجه اش چی میشه؟؟؟؟!!!!
ببخشید - مگه اعداد زوج متناهی هستن؟ میشه بزرگترین عدد زوج رو به ما معرفی کنید؟
درضمن خانواده زبان های منظم تحت اجتماع بسته هستند ولی تحت اجتماع نامتناهی بسته نیستند. اینو تو کتاب لینز و جبل عاملی نوشته.
آقا javad این نکته ای که شما نوشتین دلیلش اینه که میشه n+K+l=5 رو بدست آورد و حالتهاشو رسم کرد مثلا ۲ تا a بخونیم ۲ تا b و یه c و برسیم به حالت پذیرش.حالا برای هر کدوم یک طوقه با پرچسب خودش بگذاریم(یعنی اگه با a به اون State رسیدیم هر چی a میخواد بخونه و .... فقط باید ترتیب a,b,c حفظ بشه. میشه >5.
(۲۶ دى ۱۳۸۹ ۰۱:۲۵ ق.ظ)javadjj نوشته شده توسط:(25 دى ۱۳۸۹ ۱۱:۲۱ ب.ظ)hamidkhl نوشته شده توسط: به نظر من منظمه!دوستان به این نکته که از جزوه منوچهر زاده در آوردم دقت کنید
برای اینکه جمع n,m,k,l زوج باشه یا باید همه n,m,l,k زوج باشن یا تعداد زوجی از این چهارتا فرد باشن و این حالتارو میشه با آتاماتا نشون داد
آقا جواد، این فرم جواب دادن، برای این مورد یا خیلی سخته یا اصلاً ممکن نیست.
اما نکته خوبی فرمودید، اگه میشه چند تا نکته دیگه هم بزارین
این سوال، مربوط به آزمون های پارسه چند سال پیشه.
من نظرم اینه که منظمه چون
اینم nfa نقطه‌ها پایانی اند
زبان منظمه اینم بخشی از DFA این زبان منظم(برای تاکید)
با تشکر از زخمتی که واسه کشیدن dfa کشیدین ولی متاسفانه این dfa ترتیب a,b,c,d رو رعایت نمیکنه مثلا بعد از خوندن C میشه دوباره a خوند و این اشتباهه.