Математическая логика и теория алгоритмов. Самохин А.В. - 180 стр.

                          çìá÷á XII
  áÒÉÆÍÅÔÉÞÎÏÓÔØ ×ÙÞÉÓÌÉÍÙÈ ÆÕÎËÃÉÊ

  §1. ðÒÏÇÒÁÍÍÙ Ó ËÏÎÅÞÎÙÍ ÞÉÓÌÏÍ ÐÅÒÅÍÅÎÎÙÈ
   íÙ ÈÏÔÉÍ ÐÏËÁÚÁÔØ, ÞÔÏ ÇÒÁÆÉË ×ÓÑËÏÊ ×ÙÞÉÓÌÉÍÏÊ ÆÕÎËÃÉÉ Ñ×ÌÑÅÔÓÑ
ÁÒÉÆÍÅÔÉÞÅÓËÉÍ ÍÎÏÖÅÓÔ×ÏÍ, ÔÏ ÅÓÔØ ×ÙÒÁÚÉÍ ÆÏÒÍÕÌÏÊ ÁÒÉÆÍÅÔÉËÉ. äÌÑ
ÜÔÏÇÏ ÕÄÏÂÎÏ ÐÅÒÅÊÔÉ ÏÔ ÍÁÛÉÎ ôØÀÒÉÎÇÁ Ë ÄÒÕÇÏÊ ÍÏÄÅÌÉ, ËÏÔÏÒÕÀ ÍÏÖÎÏ
ÕÓÌÏ×ÎÏ ÎÁÚ×ÁÔØ ÍÁÛÉÎÁÍÉ Ó ËÏÎÅÞÎÙÍ ÞÉÓÌÏÍ ÒÅÇÉÓÔÒÏ×.
   ðÒÏÇÒÁÍÍÁ ÄÌÑ ÔÁËÏÊ ÍÁÛÉÎÙ ÉÓÐÏÌØÚÕÅÔ ËÏÎÅÞÎÏÅ ÞÉÓÌÏ ÐÅÒÅÍÅÎÎÙÈ,
ÚÎÁÞÅÎÉÑÍÉ ËÏÔÏÒÙÈ Ñ×ÌÑÀÔÓÑ ÎÁÔÕÒÁÌØÎÙÅ ÞÉÓÌÁ. þÉÓÌÁ ÜÔÉ ÍÏÇÕÔ ÂÙÔØ
ÐÒÏÉÚ×ÏÌØÎÏÇÏ ÒÁÚÍÅÒÁ, ÔÁË ÞÔÏ ÍÁÛÉÎÁ ÒÅÁÌØÎÏ ÉÍÅÅÔ ÐÁÍÑÔØ ÎÅÏÇÒÁÎÉ-
ÞÅÎÎÏÇÏ ÏÂß¾ÍÁ. ðÒÏÇÒÁÍÍÁ ÓÏÓÔÏÉÔ ÉÚ ÎÕÍÅÒÏ×ÁÎÎÙÈ ÐÏ ÐÏÒÑÄËÕ ËÏÍÁÎÄ.
ëÁÖÄÁÑ ËÏÍÁÎÄÁ ÉÍÅÅÔ ÏÄÉÎ ÉÚ ÓÌÅÄÕÀÝÉÈ ×ÉÄÏ×:
   •   a=0;
   •   a=b;
   •   a=b+1;
   •   a=b-1;
   •   goto met;
   •   if (a==0) goto met1; else goto met2;
   •   exit(0);
   ðÏÓËÏÌØËÕ ÍÙ ÓÞÉÔÁÅÍ, ÞÔÏ ÚÎÁÞÅÎÉÑ ÐÅÒÅÍÅÎÎÙÈ ¡ ÎÁÔÕÒÁÌØÎÙÅ (ÃÅ-
ÌÙÅ ÎÅÏÔÒÉÃÁÔÅÌØÎÙÅ) ÞÉÓÌÁ, ÕÓÌÏ×ÉÍÓÑ ÓÞÉÔÁÔØ ÒÁÚÎÏÓÔØ 0 − 1 ÒÁ×ÎÏÊ 0
(×ÐÒÏÞÅÍ, ÜÔÏ ÎÅ ÔÁË ×ÁÖÎÏ ¡ ÍÏÖÎÏ ÂÙÌÏ ÂÙ ÓÞÉÔÁÔØ ÜÔÏ Á×ÁÒÉÅÊ).
   äÏÊÄÑ ÄÏ ËÏÍÁÎÄÙ exit, ÐÒÏÇÒÁÍÍÁ ÚÁËÁÎÞÉ×ÁÅÔ ÒÁÂÏÔÕ.
   ëÁË É ÄÌÑ ÍÁÛÉÎ ôØÀÒÉÎÇÁ, ÐÏÌÅÚÎÁ ÎÅËÏÔÏÒÁÑ ÐÒÁËÔÉËÁ ÐÒÏÇÒÁÍÍÉ-
ÒÏ×ÁÎÉÑ. äÌÑ ÔÒÅÎÉÒÏ×ËÉ ÎÁÐÉÛÅÍ ÐÒÏÇÒÁÍÍÕ ÓÌÏÖÅÎÉÑ Ä×ÕÈ ÞÉÓÅÌ. ïÎÁ
ÐÏÍÅÝÁÅÔ × c ÓÕÍÍÕ ÞÉÓÅÌ, ËÏÔÏÒÙÅ ÂÙÌÉ × ÐÅÒÅÍÅÎÎÙÈ a É b. ôÁËÁÑ ÐÒÏ-
ÇÒÁÍÍÁ ÎÁ C ÉÍÅÌÁ ÂÙ ×ÉÄ
  c=a;
  /* ÉÎ×ÁÒÉÁÎÔ: ÏÔ×ÅÔ = ÓÕÍÍÁ ÔÅËÕÝÉÈ ÚÎÁÞÅÎÉÊ c É b */
  while (b!=0)
  {
     c++;
     b--;
  }
                               180