پرش به محتوا

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

ویکی‎کتاب، کتابخانهٔ آزاد

حل تمرین 1-25

تمرین

[ویرایش]

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

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

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