ФОРМАЛЬНЫЕ ОСНОВЫ УЧЕБНЫХ АЛГОРИТМИЧЕСКИХ ЯЗЫКОВ

Abstract

Проанализирован учебный алгоритмический язык (УАЯ) с точки зрения теории формальных языков. Исследование показало, что УАЯ подчиняется всем требованиям, которые предъявляет теория формальных языков, так как он имеет алфавит, позволяющий строить синтаксически и семантически правильные команды и выражения. Предложения УАЯ строятся по строгим правилам синтаксиса. Синтаксис УАЯ, так же как и любого другого языка программирования можно описать двумя способами: с помощью форм Бэкуса-Наура или синтаксических диаграмм.