WikiDer > Екі тұрақты тілдердің одағы

Жылы ресми тіл теориясы, атап айтқанда шектелмеген автоматтар, екені белгілі екі тұрақты тілдердің одағы Бұл тұрақты тіл. Бұл мақалада осы тұжырымның дәлелі келтірілген.

Теорема

Кез-келген қарапайым тілдер үшін ${displaystyle L_ {1}}$ және ${displaystyle L_ {2}}$, тіл ${displaystyle L_ {1} кубок L_ {2}}$ тұрақты болып табылады.

Дәлел

Бастап ${displaystyle L_ {1}}$ және ${displaystyle L_ {2}}$ тұрақты, бар NFA ${displaystyle N_ {1}, N_ {2}}$ тану ${displaystyle L_ {1}}$ және ${displaystyle L_ {2}}$.

Келіңіздер

${displaystyle N_ {1} = (Q_ {1}, Sigma, T_ {1}, q_ {1}, A_ {1})}$

${displaystyle N_ {2} = (Q_ {2}, Sigma, T_ {2}, q_ {2}, A_ {2})}$^{[түсіндіру қажет]}

Салу

${displaystyle N = (Q, Sigma, T, q_ {0}, A_ {1} кубок A_ {2})}$

қайда

${displaystyle Q = Q_ {1} кесе Q_ {2} кесе {q_ {0}}}$

${displaystyle T (q, x) = сол жақ {{egin {массив} {lll} T_ {1} (q, x) & {mbox {if}} & qin Q_ {1} T_ {2} (q, x) & {mbox {if}} & qin Q_ {2} {q_ {1}, q_ {2}} және {mbox {if}} & q = q_ {0} және x = epsilon emptyset & {mbox {if}} & q = q_ {0} және xeq эпсилон соңы {массив}} ight.}$

Келесіде біз қолданамыз ${displaystyle p {stackrel {x, T} {ightarrow}} q}$ белгілеу ${displaystyle qin E (T (p, x))}$^{[түсіндіру қажет]}

Келіңіздер ${displaystyle w}$ ішінен жол болу ${displaystyle L_ {1} кубок L_ {2}}$. Жалпылықты жоғалтпай болжау ${displaystyle win L_ {1}}$.

Келіңіздер ${displaystyle w = x_ {1} x_ {2} cdots x_ {m}}$ қайда ${displaystyle mgeq 0, x_ {i} in Sigma}$

Бастап ${displaystyle N_ {1}}$ қабылдайды ${displaystyle x_ {1} x_ {2} cdots x_ {m}}$, бар ${displaystyle r_ {0}, r_ {1}, cdots r_ {m} Q_ {1}}$ осындай^{[түсіндіру қажет]}

${displaystyle q_ {1} {стекль {эпсилон, Т_ {1}} {ightarrow}} r_ {0} {стекль {x_ {1}, T_ {1}} {ightarrow}} r_ {1} {стекль {x_ {) 2}, T_ {1}} {ightarrow}} r_ {2} cdots r_ {m-1} {stackrel {x_ {m}, T_ {1}} {ightarrow}} r_ {m}, r_ {m} in A_ {1}}$

Бастап ${displaystyle T_ {1} (q, x) = T (q, x) all qin Q_ {1} for all xin Sigma}$

${displaystyle r_ {0} E (T_ {1} (q_ {1}, эпсилон)) оң жақ r_ {0} E (T (q_ {1}, эпсилон))}$

${displaystyle r_ {1} E (T_ {1} (r_ {0}, x_ {1})) оң жақ r_ {1} E (T (r_ {0}, x_ {1}))}}$

${displaystyle vdots}$

${displaystyle r_ {m} E (T_ {1} (r_ {m-1}, x_ {m})) оң жақ r_ {m} E (T (r_ {m-1}, x_ {m})) }$

Сондықтан біз алмастыра аламыз ${displaystyle T}$ үшін ${displaystyle T_ {1}}$ және жоғарыдағы жолды келесідей етіп қайта жазыңыз

${displaystyle q_ {1} {стакель {эпсилон, T} {ightarrow}} r_ {0} {стекль {x_ {1}, T} {ightarrow}} r_ {1} {стекль {x_ {2}, T} { ightarrow}} r_ {2} cdots r_ {m-1} {stackrel {x_ {m}, T} {ightarrow}} r_ {m}, r_ {m} in A_ {1} кесе A_ {2}, r_ { 0}, r_ {1}, cdots r_ {m} Q} ішінде$

Сонымен қатар,

${displaystyle {egin {array} {lcl} T (q_ {0}, epsilon) = {q_ {1}, q_ {2}} & Rightarrow & q_ {1} in T (q_ {0}, epsilon) & Rightarrow & q_ {1} E (T (q_ {0}, эпсилон)) & Rightarrow & q_ {0} {стакель {эпсилон, T} {ightarrow}} q_ {1} соңы {массив}}}$

және

${displaystyle q_ {0} {стекрел {эпсилон, T} {ightarrow}} q_ {1} {стекль {эпсилон, T} {ightarrow}} r_ {0} Rightarrow q_ {0} {стекль {эпсилон, T} {ightarrow }} r_ {0}}$

Жоғарыдағы жолды келесідей етіп жазуға болады

${displaystyle q_ {0} {stackrel {epsilon, T} {ightarrow}} r_ {0} {stackrel {x_ {1}, T} {ightarrow}} r_ {1} {stackrel {x_ {2}, T} { ightarrow}} r_ {2} cdots r_ {m-1} {stackrel {x_ {m}, T} {ightarrow}} r_ {m}, r_ {m} in A_ {1} кесе A_ {2}, r_ { 0}, r_ {1}, cdots r_ {m} Q} ішінде$

Сондықтан, ${displaystyle N}$ қабылдайды ${displaystyle x_ {1} x_ {2} cdots x_ {m}}$ және дәлел толық.^{[түсіндіру қажет]}

Ескерту: Бұл машинаны тануға құруға арналған математикалық дәлелден алынған идея ${displaystyle L_ {1} кубок L_ {2}}$ бастапқы күйін құру және оны күйлеріне қосу ${displaystyle L_ {1}}$ және ${displaystyle L_ {2}}$ қолдану ${displaystyle epsilon}$ көрсеткілер.

Пайдаланылған әдебиеттер

• Майкл Сипсер, Есептеу теориясына кіріспе ISBN 0-534-94728-X. (Қараңыз. Теорема 1.22, бөлім 1.2, 59-бет.)