Дискретная математика. Кулабухов С.Ю. - 135 стр.

                                                                    x 2. mAINY tX@RINGA

   dANNAQ TEOREMA POZWOLQET SDELATX WYWOD OB \KWIWALENTNOSTI OPREDELENIJ PONQTIQ ALGORITMA
W FORME REKURSIWNOJ FUNKCII I W FORME MAINY tX@RINGA. kROME TOGO, ONA QWLQETSQ KOSWENNYM
PODTWERVDENIEM TEZISA ~ER^A I \KWIWALENTNOGO EMU TEZISA tX@RINGA.
tEZIS tX@RINGA. kLASS WY^ISLIMYH ^ASTI^NYH ^ISLOWYH FUNKCIJ SOWPADAET S KLASSOM FUNK-
CIJ, WY^ISLIMYH PO tX@RINGU.

   2.6. nOWYE TERMINY. mAINA tX@RINGA. wNENIJ I WNUTRENNIJ ALFAWIT. wNUTREN-
NEE SOSTOQNIE MAINY. zAKL@^ITELXNOE ILI STOP-SOSTOQNIE. pROGRAMMA I KOMANDY MAINY
tX@RINGA. mAINNOE SLOWO (KONFIGURACIQ). pERERABOTKA MAINNYH SLOW W MAINE tX@RINGA.
mODELX MAINY tX@RINGA. kONE^NAQ LENTA. uPRAWLQ@]AQ GOLOWKA. mEHANI^ESKOE USTROJSTWO.
tAKT (AG) RABOTY MAINY tX@RINGA. wE^NOSTX RABOTY. wY^ISLIMYE I PRAWILXNO WY^ISLIMYE
PO tX@RINGU FUNKCII. tEZIS tX@RINGA.

   2.7. kONTROLXNYE WOPROSY.
  1. mOGUT LI W MAINE tX@RINGA BYTX DWE KOMANDY WIDA:
     (a)   qi aj ! qk al I qiaj ! qs R
     (b)   qi aj ! qk al I qiaj ! qs at
     (c)   qi aj ! qk al I qiar ! qsL.
  2. mOGUT LI W MAINE tX@RINGA BYTX KOMANDY WIDA:
     (a)   qi aj ! qiR
     (b)   qi aj ! qk aj 
     (c)   qi aj ! qiaj 
     (d)   qi aj ! qiL
     (e)   q0aj ! q0 aj 
     (f)   q0aj ! qk R.
  3. iSTINNY LI WYSKAZYWANIQ DLQ NEKOTOROJ MAINY tX@RINGA T I MAINNOGO SLOWA M:
     (a)   M ) MT0 
     (b)   M j= MT0 
     (c)   M ) MT(3)
     (d)   M j= MT(3).
  4. dAJTE OPREDELENIE SOSTOQNIQ Q^EJKI, LENTY, MAINY tX@RINGA.
  5. dAJTE OPREDELENIE MAINNOGO SLOWA.
  6. oPIITE PONQTIE AGA MAINY tX@RINGA.
  7. mOVNO LI PROCESS PREOBRAZOWANIQ MAINNYH SLOW NAZWATX NEPRERYWNYM? pO^EMU?
  8. ~TO ZNA^IT TERMIN \DANNAQ MAINA tX@RINGA T WY^ISLQET ^ISLOWU@ FUNKCI@ f"?
  9. dAJTE OPREDELENIE WY^ISLIMOJ I PRAWILXNO WY^ISLIMOJ PO tX@RINGU FUNKCII.
 10. oBOSNUJTE \KWIWALENTNOSTX TEZISOW ~ER^A I tX@RINGA.

                                           135