Проценко, В.2016-12-052016-12-052000Проценко В. С. Формальні специфікації оператора переходу в мовах програмування / В. С. Проценко // Наукові записки НаУКМА. - 2000. - Т. 18 : Комп'ютерні науки. - С. 9-14.https://ekmair.ukma.edu.ua/handle/123456789/9953Задаючи мову програмування, необхідно описати 'u синтаксис і семантику. Головне завдання синтаксису - описати всі конструкції, котрі розглядаються як елементи мови. З цією метою використовується конкретний синтаксис, що виділяє послідовності символів алфавіту, які вважаються синтаксично правильними. Найчастіше конкретний синтаксис - це скінченний набір правил, котрі дозволяють породити нескінченну множину всіх конструкцій мови.Assigning a language of programming it is necessary to describe its syntax and semantics. The main task of syntax is to describe all constructions, which are considering as language elements. A special place among the main operators of programming languages belongs to goto operators. In the work described the formal specifications of the goto operators.ukмова програмуваннясинтаксиссемантикаконструкція мовиArticle