Теория алгоритмов и формальных языков. Мелихов А.Н - 8 стр.

UptoLike

Все искусственные языки (названные так в отличие от естественных
разговорных языков, живых и мертвых) можно подразделить на языки
формальные и не вполне формализованные.
Формальные языки делятся на алгоритмические и неалгоритмические.
Алгоритмические языки предназначены для описания вычислительных
процессов, являющихся алгоритмами. Они входят в предмет нашего
рассмотрения, а неалгоритмические - нет.
Алгоритмическим
языком называется совокупность трех множеств:
1. Множество символов (алфавит языка).
2. Множество правил, позволяющих конструировать правильные
сообщения в символах алфавита (синтаксис языка).
3. Множество правил, позволяющих однозначно толковать смысл
правильных записей в символах алфавита (семантика языка).
Иногда в синтаксисе выделяют подмножество - так называемую
лексику языка - совокупность слов, допустимых в языке вместе
с описанием
способа их представления. Лексика - это набор правильных слов языка.
Для описания формальных языков вообще и алгоритмических в
частности используются метаязыки - расширение описываемых языков. С
помощью метаязыков удобно описывается синтаксис языка. Семантика
описывается либо на естественном языке, либо путем задания алгоритмов
распознавания текстов языка, либо путем задания текстов на
другом языке,
имеющем средства формального описания.
Все алгоритмические языки можно классифицировать по различным
признакам. Наиболее общая классификация дели языки по кругу решаемых
задач, например, языки для описания статистических задач, задач
вычислительного характера и так далее. Другая классификация делит языки
на классы по степени их зависимости от ЭВМ. В соответствии с
ней
различают машинно-зависимые и машинно-независимые языки. Первые
делятся на машинно-ориентированные и машинные. Вторые - на процедурно-
ориентированные и проблемно-ориентированные. Процедурно-