Hw_07_sol - ÖÓb ÐeÑ e Ø7 Ô Ö iÒg D Ù e hÙ Ö×daÝa Ö5 iÒ Ða ××b e fÓ ÖeØh e ÐeØÙ Öe Ðea ×e fÓ ÐÐÓÛ Øh ehÓÑ eÛ Ó

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: ÖÓb ÐeÑ e Ø7 Ô Ö iÒg D Ù e : hÙ Ö×daÝa Ö5 iÒ Ða ××b e fÓ ÖeØh e ÐeØÙ Öe Ðea ×e fÓ ÐÐÓÛ Øh ehÓÑ eÛ Ó Ök fÓ ÖÑ a ØgÙ id e ÐiÒ e×ÔÓ ×ØedÓÒ Øh e Ða ××Û ebÔag e : hØØÔ:ÛÛÛ×ÙiÙedÙÐa×××Ô×7 h eÛ aÝ ØÓb iÐi× i [ C a ØegÓ ÖÝ :Ù ÞÞ Ðe Ó iÒ Ø× :℄ ÒÝÓÙ ÖÛ aÝ ØÓb iÐi× iÝÓÙÓÑ eaÖÓ ××a fÓ Ök iÒ Øh eÖÓadÓÒ egÓ iÒg Ðe fØaÒdÓÒ e gÓ iÒg Ö igh ØaÒdÝÓÙÛ ÓÒd eÖÛ h ihÓÒ egÓe×ØÓb iÐi× iF Ó ÖØÙÒa Øe ÐÝaÛ ÓÑ aÒ fÖÓÑ Øh e Ò e ighbÓ Ö iÒgÚ iÐÐag eÓ fÖÙ Øh Ði× iØ×ÓÒabÓÙ Ðd eÖa ØØh e fÓ Ökea Ø iÒgÔ eaÒÙ Ø×Û hÓ ×Ù Öe ÐÝ kÒÓÛ ×Øh eÛ aÝh eÔ eÓÔ ÐeÓ fÖÙ Øh Ðia ÖeÔ eÙ Ðia ÖaÖÙ Øh ÐiiØ iÞeÒe iØh eÖ×Ô eak × a ÐÛ aÝ ×Øh eØÖÙ ØhÓ Öa ÐÛ aÝ × Ðie× hÓÛ Øh i×hÓ ie i×Ñ ad ea Øb iÖØh i××Ø iÐÐÑ Ý ×ØeÖ iÓÙ × fÓÙ Ö×eÝÓÙdÓÒÓ ØkÒÓÛ Øh i×Û ÓÑ aÒ ×Ó Ö ieÒ Øa Ø iÓÒ ØÓ ØÖÙ Øh C ÓÑ eÙÔÛ iØhÓÒ eÕÙ e×Ø iÓÒÝÓÙaÒa ×k Øh eÛ ÓÑ aÒ fÖÓÑ ÖÙ Øh Ði×Ùh Øha ØfÖÓÑ h eÖ aÒ ×Û eÖÝÓÙaÒ iÒ feÖÛ h ih ÖÓad Ðead ×ØÓb iÐi× i edÙ Ø iÓÒ × [ C a ØegÓ ÖÝ :ÖÓÓ f Ó iÒ Ø× :℄ a edÙ Ø iÓÒ ×fÓ Öd e id ab iÐiØÝ : C i×a Öe×ØÖ iØed Ða ××Ó fÙ Ö iÒgÑ ah iÒ e×fÓ ÖÛ h ih ×7ÓÑ Ô ÖÓÚ id e×aÚ eÖÝ Ù ×e fÙ ÐÙ Ö iÒgÑ ah iÒ e M C Øha ØØak e×iÒaÔa iÖ ( M, D ) Û h eÖe M i×aÙ Ö iÒg Ñ ah iÒ e iÒ Ða ×× C aÒd D i×aD FA aÒd aeÔ Ø× i L ( M ) ∩ L ( D ) negationslash = ∅ ÒÓ Øh eÖ Û Ó Öd × M C aÒd e id eÛ h eØh eÖØh e ÐaÒgÙag eÓ faÙ Ö iÒgÑ ah iÒ e iÒ Ða ×× C ha × aÓÑÑ ÓÒÛ Ó ÖdÛ iØh Øh e ÐaÒgÙag eÓ faD FA D Ó ÖeÔ Öe i×e ÐÝ L ( M C ) = {( M, D ) | M is a TM in C and D is a DFA and L ( M ) ∩ L ( D ) negationslash = ∅} eÛ ÓÙ Ðd Ðik eØÓÒÓÛ ×Ó ÐÚ eØh eÑ eÑ b eÖ×h iÔÔ ÖÓb ÐeÑ fÓ ÖÙ Ö iÒgÑ ah iÒ e× iÒ Ða ×× C :g iÚ eÒa M iÒ C aÒdaÛ Ó Öd w Û eÛ aÒ ØØÓd e id eÛ h eØh eÖ w ∈ L ( M ) Ó ÖeÔ Öe i×e ÐÝÛ eÛ aÒ ØØÓ ×hÓÛ Øha Ø L memb = {( M, w ) | M is a TM in C and w ∈ L ( M ) } i×d e idab Ðe ÖÓÚ eØha Ø L memb i×d e idab ÐebÝÙ × iÒga ÖedÙ Ø iÓÒ b edÙ Ø iÓÒ ×fÓ ÖÙÒd e id ab iÐiØÝ : AÙ Ö iÒgÑ ah iÒ e Öe je Ø× aÛ Ó Öd w ifÛ h eÒ ×Øa ÖØedÛ iØh iÒÔÙ Ø w iØha ÐØ×aÒd Öeah e×Øh eÖe jeØ×Øa Øe Ó Øe :fadÓe×ÒÓ ØaeÔ Ø w iØdÓe×ÒÓ ØÑ eaÒ iØ Öe jeØ× w a × iØÑ aÝÒÓ Øha ÐØÓÒ w eØ L rej = {( M, w ) | M is a TM and M rejects w } hÓÛ Øha Ø L rej i×ÙÒd e idab ÐeÙ × iÒga ÖedÙ Ø iÓÒaÒdbÝÙ × iÒg Øh e faØØha ØØh e ÙÒ iÚ eÖ×a ÐÐaÒgÙag e L u Ó Ö A TM iÒ iÔ ×eÖ i×ÙÒd e idab Ðe ea ÐÐØha Ø L u = {( M, w ) | M is a TM and M accepts w } Ó ÐÙ Ø iÓÒ : a eÛ iÐÐ×hÓÛ Øh...
View Full Document

This note was uploaded on 09/19/2010 for the course CS 373 taught by Professor Viswanathan,m during the Spring '08 term at University of Illinois, Urbana Champaign.

Page1 / 5

Hw_07_sol - ÖÓb ÐeÑ e Ø7 Ô Ö iÒg D Ù e hÙ Ö×daÝa Ö5 iÒ Ða ××b e fÓ ÖeØh e ÐeØÙ Öe Ðea ×e fÓ ÐÐÓÛ Øh ehÓÑ eÛ Ó

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online