ҳң ң қ қ қ . ұ -ң үң қ. ғ n .
umping . L- , , - ө ү , ү ғ . ұғ ә ү .
umping : ұқ
ө , ө қ ү .
umping қ. ққ: / ғ , қ ң ңң.
1. ѳ ғ L ң ң.
2. Қ қ n ң , ғ umping ғ ұқ n. ң ғ n , қ қ қ ғң n ң ғ ө . қ қ ө .
3. L ө - ң. ѳң ң ғ қ ғң ң ғ n .
4. Қ ғң ѳ ө =xyz ү , ғ x,y,z- ө . Ә қғ .
5. ѳ umping ң ұ қ қғ ң , ү қғ x,y,z ө ү қ қғ t .
- .
-ң ң iiiң қi ә iiң үiiiiң iii қ. i i үi ә үii i.
(-): - , DFA- L қ , ң ү L ң.
V L , ≡L қ ү ө .
X ≡L y / ғ, қ z ү, xz / yz ө L қ . ≡L-V ө ң қ ә . / DFA-, L- , ≡L қ / ң. қ қ қғ , ind ≡L .
|
|
- қ ғ ғ ғ ғ. қ ұ . ұ ұ қғ қ.
13. - ң ( )
L ә ғ қғ қ . ә: L , L қ ү ә - ү қ. ң қ . ұ қ ң ә . : L={ }
қ ө i ұ қ , L ң ө , қ L ө . ө қ . ң L ғ.