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

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

‫‪ (۱‬ﺑﺮﺍﯼ ﻫﺮﯾﮏ ﺍﺯ ﺯﺑﺎﻥ ﻫﺎﯼ ﺯﯾﺮ ﯾﮏ ﺗﻌﺮﯾﻒ ﺑﺎﺯﮔﺸﺘﯽ ﺍﺭﺍﺋﻪ ﺩﻫﯿﺪ ﻭ ﺩﺭﺳﺘﯽ ﺁﻥ ﺭﺍ ﺍﺛﺒﺎﺕ ﮐﻨﯿﺪ‪.‬‬
‫ﺍﻟﻒ( }‪L = {ai bj |j ≥ ۲i‬‬

‫ﺏ( }‪L = {ai bj |j ≤ ۲i‬‬

‫ﺝ( }‪L = {ai bj |i ≤ j ≤ ۲i‬‬

‫‪ (۲‬ﺑﺮﺍﯼ ﺯﺑﺎﻥ ﻣﻌﺎﺩﻝ ﻫﺮ ﯾﮏ ﺍﺯ ﺗﻌﺎﺭﯾﻒ ﺑﺎﺯﮔﺸﺘﯽ ﺯﯾﺮ‪ ٬‬ﯾﮏ ﺗﻌﺮﯾﻒ ﻏﯿﺮ ﺑﺎﺯﮔﺸﺘﯽ ﺍﺭﺍﺋﻪ ﺩﻫﯿﺪ ﻭ ﺩﺭﺳﺘﯽ ﺁﻥ ﺭﺍ ﺍﺛﺒﺎﺕ ﮐﻨﯿﺪ‪.‬‬

‫‪∀x ∈ L :‬‬ ‫‪xb, xba ∈ L‬‬ ‫‪and‬‬ ‫ﺁ( ‪a ∈ L‬‬

‫‪∀x, y ∈ L :‬‬ ‫‪axb, bxa, xy ∈ L‬‬ ‫‪and‬‬ ‫ﺏ( ‪λ ∈ L‬‬

‫‪∀x, y ∈ L :‬‬ ‫‪axby, bxay ∈ L‬‬ ‫‪and‬‬ ‫ﺝ( ‪λ ∈ L‬‬

‫∑‬
‫(‬ ‫‪ (۳‬ﺑﺮﺍﯼ ﻫﺮ ﯾﮏ ﺍﺯ ﺯﺑﺎﻥ ﻫﺎﯼ ﺯﯾﺮ ﯾﮏ ‪ FA‬ﻃﺮﺍﺣﯽ ﮐﻨﯿﺪ‪= {a, b}) .‬‬

‫ﺁ( })‪L۱ = {ω ∈ {a, b}∗ | na (ω) ≡ ۱ (mod ۳‬‬

‫ﺏ( }‪̸ xab‬‬

‫= ‪L۲ = {ω ∈ {a, b}∗ | ∀x ∈ {a, b}∗ , ω‬‬

‫ﺝ( }‪L۳ = {ω ∈ {a, b}∗ | ∃x ∈ {a, b}∗ , ω = aax ∨ ω = bbx ∨ ω = xbb ∨ ω = xaa‬‬

‫∑‬
‫‪ M = (Q,‬ﯾﮏ ‪ FA‬ﺭﺍ ﻧﺸﺎﻥ ﻣﯽ ﺩﻫﺪ‪ .‬ﺍﮔﺮ ‪ q‬ﯾﮏ ﻋﻀﻮ ﺍﺯ ‪ Q‬ﻭ ‪ x‬ﻭ ‪ y‬ﺭﺷﺘﻪ ﻫﺎﯾﯽ ﺍﺯ‬ ‫‪ (۴‬ﻓﺮﺽ ﮐﻨﯿﺪ )‪, q۰ , A, δ‬‬

‫∗‪ Σ‬ﻭ ‪ σ ∈ Σ‬ﺑﺎﺷﺪ ﺑﺎ ﺍﺳﺘﻘﺮﺍ ﺳﺎﺧﺘﺎﺭﯼ ﻧﺸﺎﻥ ﺩﻫﯿﺪ‪:‬‬

‫)‪δ ∗ (q, xy) = δ ∗ (δ ∗ (q, x), y‬‬

‫‪۱‬‬