‫ﮐﺎﺭﮔﺎﻩ ﺷﻤﺎﺭﻩ ‪۵‬‬

‫ﻣﺒﺎﻧﯽ ﻧﻈﺮﯾﻪ ﻣﺤﺎﺳﺒﻪ‬

‫‪ (۱‬ﻓﺮﺽ ﮐﻨﯿﺪ ∗‪ ،x, y ∈ Σ‬ﺍﻟﮕﻮﺭﯾﺘﻤﯽ ﺍﺭﺍﺋﻪ ﺩﻫﯿﺪ ﮐﻪ ﺍﯾﻦ ﺩﻭ ﺭﺷﺘﻪ ﺭﺍ ﺑﮕﯿﺮﺩ ﻭ ﯾﮏ ‪ DFA‬ﺑﻪ ﻧﺎﻡ ‪ M‬ﻭ ﺗﺸﺨﯿﺺ ﺩﻫﺪ‬
‫ﺁﯾﺎ ﺍﯾﻦ ﺩﻭ ﺭﺷﺘﻪ ) ‪ L(M‬ﺗﻤﯿﯿﺰ ﭘﺬﯾﺮ ﻫﺴﺘﻨﺪ ﯾﺎ ﻧﻪ‪.‬‬

‫‪ (۲‬ﮔﻮﯾﯿﻢ ﺯﺑﺎﻥ ‪» Ⅼ‬ﺧﻮﺏ« ﺍﺳﺖ ﻫﺮﮔﺎﻩ ﻋﺪﺩ ﺻﺤﯿﺢ ‪ n‬ﻭ ‪ S ⊆ Σn‬ﻭﺟﻮﺩ ﺩﺍﺷﺘﻪ ﺑﺎﺷﺪ ﮐﻪ ﺑﺮﺍﯼ ﻫﺮ ‪:|x| ≥ n‬‬

‫‪x ∈ L ⇔ ∃z ∈ S ∃ y ∈ Σ∗ x = yz‬‬

‫ﺁ( ﻧﺸﺎﻥ ﺩﻫﯿﺪ ﻫﺮ ﺯﺑﺎﻥ ﺧﻮﺏ ﺗﻮﺳﻂ ‪ FA‬ﺍﯼ ﭘﺬﯾﺮﻓﺘﻪ ﻣﯽ ﺷﻮﺩ‪.‬‬

‫ﺏ( ﻧﺸﺎﻥ ﺩﻫﯿﺪ ﻫﺮ ﺯﺑﺎﻥ ﻣﺘﻨﺎﻫﯽ ﺧﻮﺏ ﺍﺳﺖ‪.‬‬

‫ﺝ( ﻣﺜﺎﻟﯽ ﺍﺯ ﺯﺑﺎﻥ ﻧﺎﻣﺘﻨﺎﻫﯽ ﺍﺭﺍﺋﻪ ﺩﻫﯿﺪ ﮐﻪ ﺗﻮﺳﻂ ‪ FA‬ﺍﯼ ﭘﺬﯾﺮﻓﺘﻪ ﻣﯽ ﺷﻮﺩ ﺍﻣﺎ ﺧﻮﺏ ﻧﺒﺎﺷﺪ‪.‬‬

‫‪ (۳‬ﺩﻧﺒﺎﻟﻪ ﺍﺯ ﺯﺑﺎﻥ ﻫﺎﯼ ‪ {Ln ⊆ Σ∗ }n∈N‬ﺍﺯ ﺍﻟﻔﺒﺎﯼ }‪ Σ = {a, b‬ﺭﺍ ﺩﺭ ﻧﻈﺮ ﺑﮕﯿﺮﯾﺪ ﺍﮔﺮ ﻫﺮ ﯾﮏ ﺍﺯ ‪ Li‬ﺗﻮﺳﻂ ﺍﺗﻮﻣﺎﺕ‬
‫ﻣﺘﻨﺎﻫﯽ ﭘﺬﯾﺮﻓﺘﻪ ﺷﻮﻧﺪ ﺁﯾﺎ ﻣﯽ ﺗﻮﺍﻥ ﮔﻔﺖ ﻣﺠﻤﻮﻋﻪ ﺯﯾﺮ ﻧﯿﺰ ﺗﻮﺳﻂ ﺍﺗﻮﻣﺎﺕ ﻣﺘﻨﺎﻫﯽ ﭘﺬﯾﺮﻓﺘﻪ ﻣﯽ ﺷﻮﺩ؟‬

‫∪‬
‫=‪A‬‬ ‫‪Li‬‬
‫‪i∈N‬‬

‫‪۱‬‬