формализованный язык для однозначной записиалгоритмов. Состоит из набора символов алфавит( синтаксических правил исемантических определений. Является основой языков программирования.
