b'\n_START_ARTICLE_\nProgram GOTO\n_START_PARAGRAPH_\nProgram GOTO to jedno z narz\xc4\x99dzi teorii obliczalno\xc5\x9bci s\xc5\x82u\xc5\xbc\xc4\x85ce do ustanowienia, czy dana funkcja jest obliczalna.\n_START_SECTION_\nSemantyka\n_START_PARAGRAPH_\nWszystkie u\xc5\xbcyte w danym programie zmienne zostaj\xc4\x85 zainicjalizowane przed wykonaniem programu. Zmienne nie zainicjalizowane bezpo\xc5\x9brednio otrzymuj\xc4\x85 domy\xc5\x9bln\xc4\x85 warto\xc5\x9b\xc4\x87 0._NEWLINE_Wyra\xc5\xbcenie postaci_NEWLINE_ x\xe1\xb5\xa2\xc2\xa0:= x\xe2\xb1\xbc + c_NEWLINE_oznacza przyznanie zmiennej  warto\xc5\x9bci otrzymanej poprzez dodanie zmiennej  i sta\xc5\x82ej ._NEWLINE_Wyra\xc5\xbcenie postaci_NEWLINE_ x\xe1\xb5\xa2\xc2\xa0:= x\xe2\xb1\xbc \xe2\x80\x93 c_NEWLINE_oznacza przyznanie zmiennej  warto\xc5\x9bci otrzymanej poprzez odj\xc4\x99cie sta\xc5\x82ej  od zmiennej ._NEWLINE_Skok bezwarunkowy ma posta\xc4\x87_NEWLINE_ GOTO _NEWLINE_i oznacza, \xc5\xbce program w miejscu, w kt\xc3\xb3rym ta instrukcja zosta\xc5\x82a umieszczona, przeskoczy do znacznika ._NEWLINE_Skok warunkowy ma posta\xc4\x87_NEWLINE_ IF  THEN GOTO _NEWLINE_i oznacza przeskok do znacznika  w programie je\xc5\x9bli warunek znajduj\xc4\x85cy si\xc4\x99 za symbolem  jest spe\xc5\x82niony._NEWLINE_Instrukcja stopu:_NEWLINE_ HALT_NEWLINE_stoi na ko\xc5\x84cu programu GOTO.\n_START_SECTION_\nSymulacja za pomoc\xc4\x85 programu WHILE\n_START_PARAGRAPH_\nProgram GOTO_NEWLINE_M1: A1; M2: A2; ... Mk: Ak_NEWLINE_mo\xc5\xbcna zasymulowa\xc4\x87 za pomoc\xc4\x85 programu WHILE o nast\xc4\x99puj\xc4\x85cej formie_NEWLINE_counter\xc2\xa0:= 1;_NEWLINE_WHILE counter\xc2\xa0!= 0 DO_NEWLINE_  IF counter = 1 THEN B1 END;_NEWLINE_  IF counter = 2 THEN B2 END;_NEWLINE_  ..._NEWLINE_  IF counter = k THEN Bk END;_NEWLINE_END_NEWLINE_Gdzie_NEWLINE_Bi = xj\xc2\xa0:= xn + c; counter\xc2\xa0:= counter + 1   je\xc5\x9bli Ai = xj\xc2\xa0:= xn + c_NEWLINE_Bi = xj\xc2\xa0:= xn \xe2\x80\x93 c; counter\xc2\xa0:= counter + 1   je\xc5\x9bli Ai = xj\xc2\xa0:= xn \xe2\x80\x93 c_NEWLINE_Bi = counter\xc2\xa0:= n                           je\xc5\x9bli Ai = GOTO Mn_NEWLINE_Bi = IF xj = c THEN counter = n_NEWLINE_     ELSE counter = counter + 1             je\xc5\x9bli Ai = IF xj = c THEN GOTO Mn_NEWLINE_     END_NEWLINE_Bi = counter\xc2\xa0:= 0_NEWLINE_                     je\xc5\x9bli Ai = STOP'