هس بخ هب انم تی ش تکلیف ششم اوتومتا و رطاحی کامپایلر نیمسال اول 95-94 دانشکده مهندسی کامپیوتر مدرس :دکتر جابریپور تاریخ تحویل :شنبه 23آبان توجه :تحویل سواالتی که با * مشخص شدهاند و سواالت کالس درس الزامی است .سواالتی که با عالمت ! مشخص شدهاند برای شروع مناسب هستند. )!( -1اگر Pیک PDAباشد که دارای سه حالت (𝑟 )𝑝, 𝑞,است و یکی از قواعد گذار آن })𝑌𝑋 𝛿(𝑞, 0, 𝑋) = {(𝑝, 𝑌 𝑍), (𝑟, است .همه قواعدی که با این اطالعات در تبدیل Pبه CFGمعادل تولید میشوند را بنویسید. ،𝑃 = ({𝑝, 𝑞}, {0.1}, {𝑍0 , 𝑋}, 𝛿, 𝑞, 𝑍0 , {𝑝}) )*( -2یک PDAباشد آن را به یک CFGکنید: -3برای هریک از زبانهای زیر یک DPDAطراحی کنید. {0𝑛 1𝑚 |𝑛 ≤ 𝑚} )!( )a {0𝑛 1𝑚 |𝑛 ≥ 𝑚} )b 𝑎𝑛𝑑 𝑚 𝑎𝑟𝑒 𝑎𝑟𝑏𝑖𝑡𝑟𝑎𝑟𝑦} )*( )c 𝑛| 𝑛 𝑚 𝑛 {0 1 0 -4یک گرامر معادل برای گرامر مقابل پیدا کنید که سمبل بدون استفاده نداشته باشد. )*( -5گرامر مقابل را در نظر گرفته و به ترتیب 𝑛𝑜𝑖𝑡𝑐𝑢𝑑𝑜𝑟𝑝 𝜖 −ها𝑈𝑛𝑖𝑡 𝑃𝑟𝑜𝑑𝑢𝑐𝑡𝑖𝑜𝑛 ،ها و سمبلهای بالاستفاده آن را حذف کرده ،گرامر معادل هر مرحله را بنوسید و سپس آن را به فرم نرمال چامسکی تبدیل کنید. -6گرامری به فرم نرمال چامسکی بنویسید که همه پرانتزگذاریهای قابل قبول را تولید کند .بهتر است از یک گرامر غیر چامسکی شروع کنید. -7با استفاده از قضیه تزریق ،ثابت کنید ،زبانهای زیر مستقل از متن نیستند. {0𝑝 | 𝑝 𝑖𝑠 𝑝𝑟𝑖𝑚𝑒} )!( )a {0𝑛 #02𝑛 #33𝑛 | 𝑛 ≥ 0} )!( )b {0𝑛 1𝑛 0𝑛 1𝑛 | 𝑛 ≥ 0} )c {0𝑖 1𝑗 | 𝑖 = 𝑗 2 } )*( )d {𝑎𝑛 𝑏𝑛 𝑐 𝑖 | 𝑛 ≤ 𝑖 ≤ 2𝑛} )*( )e تذرکات: -1کتاب زیر مرجع اصلی درس است ،مطالعه آن میتواند کمک شایانی به فهم مطالب کند. Introduction to Automata Theory, Languages, and Computation; J.E.Hopcraft, R.Montwani, J.D.Ullman, 3rd Edition Compilers, Principles, Techniques &Tools; A.V.Aho, M.S.Lam, R.Sethi, J.D.Ullman, 2nd Edition -2تمرینات خود را روز شنبه 23 ،آبانماه ،ساعت 12سر کالس حلتمرین تحویل دهید .از دیرتر تحویل دادن تمرین خود بنابه هر دلیلی بپرهیزید. -3در صورتی که تمرینی را ایمیل میکنید ،در اسرع وقت نسخه فیزیکی آن را نیز تحویل دهید! -4همه برگههای خود را به هم منگنه کرده و سپس تحویل دهید! -5 از تقلب به شدت بپرهیزید! خودتان سواالت را حل کنید! (در صورت کشف برای کل تکلیف نمره -100برای همه نفرات لحاظ خواهد شد) -6سواالت خود را به گروه درس یا ایمیل اعضای حلتمرین ارسال نمایید( .در صفحه درس موجود است) موفق باشید
© Copyright 2025 Paperzz