حل تمرین نظریه محاسبات/فصل اول/حل تمرین1-25

ویکی‎کتاب، کتابخانهٔ آزاد
پرش به ناوبری پرش به جستجو

حل تمرین 1-25

تمرین[ویرایش]

الفبا={[000][001]...[111]}

{سطر سومwمجموع سطور اول و دوم آن باشد|B = {W .نشان دهید B منظم است.(راهنمایی: کار کردن با BR ساده تر است.از نتیجه مساله1-24 استفاده کنید)

حل[ویرایش]

شکل زیر NFA را برای BR نشان می دهد. چون BR دارایNFA است پس منظم است . بنابراین چون BR منظم است پس B نیز منظم است.