Особенности языков АНАЛИТИК

Входные языки машин серии МИР ориентированы на решение инженерных и научно-исследовательских задач. Общей характеристикой этих языков является близость к языку математики, что обеспечивает их простоту и легкость изучения. От младших моделей машин серии МИР к старшим языки совершенствовались благодаря введению новых информационных объектов и средств обработки при сохранении всех (предыдущих) типов объектов и структур основных конструкций. Ниже приведена краткая характеристика языков АНАЛИТИК.

1. Близость к предметной области, на которую ориентирован язык (в данном случае к математическому анализу). Это позволяет пользователю писать программы на привычном для него языке, используя специальные конструкции русского языка и терминологию той предметной области" в которой он работает, что обеспечивает легкость чтения и естественность записи программ, простоту обучения языку. Для этого в языке используются: привычная математическая символика, объекты и конструкции математического анализа - рациональные дроби и десятичные числа с динамически изменяемой разрядностью мантиссы и произвольным диапазоном, комплексные числа, математические выражения с рекурсивными связями между компонентами, строки символов произвольной длины. Целые числа с произвольной разрядностью и рациональные числа позволяют решать задачи, требующие точного решения.

2. Представление основного объекта языка - выражения или совокупности взаимосвязанных выражений - в виде многоуровневой структуры, где каждая переменная, входящая в выражение, в свою очередь, может именовать выражение. Значением выражения снова может быть выражение, при этом константа (число, строка, логическое значение) рассматривается как частный случай выражения. Такая структура может произвольно наращиваться и изменяться средствами входного языка на любом этапе решения задачи, что очень важно для обработки сложных исходных объектов, когда трудно заранее предсказать структуру результата.

3. Развитая система распознавания функциональных свойств основных объектов языка. На ней базируются все средства исследования и преобразования объектов. Эти средства обеспечивают высокий уровень языка.

4. Широкий набор операций над аналитическими выражениями (формулами) и строками символов:
- обычные алгебраические операции над выражениями (формирование, выделение подвыражений, дифференцирование и интегрирование);
- сравнение выражения с заданным образцом;
- применение формул в обычном математическом смысле, базирующееся на процедуре сравнения и позволяющее преобразовывать выражения с помощью соотношений (продукций);
- приведение выражений к каноническим формам, обеспечивающее быстрое упрощение;
- алгебра рациональных чисел, обеспечивающая необходимую точность результатов;
- набор операций над строками символов (превращение выражения в строку, и наоборот, объединение, выделение, замена).

5. Диалоговая ориентация языка. Существенная ориентация языка на аппаратную интерпретацию позволила оснастить его средствами оперирования с программами и элементами программ. Таким образом, программист получил доступ ко всем промежуточным видам представления программы в процессе ее выполнения. Специальные средства ввода - вывода в машинах МИР (экран, световое перо, специальная клавиатура, содержащая математическую символику) помогли преодолеть психологический барьер восприятия машины как отпугивающего "черного ящика".

6. Отсутствие в языке ряда формализмов, имеющихся в языках программирования для упрощения систем реализации (снятие ограничений на длину идентификаторов, диапазон чисел, размеры и размерности структур данных). В языке нет статического описания типов данных. Тип данных определяется и изменяется в ходе интерпретации программ. Динамическое определение характеристик основных объектов (разрядности чисел, размерности массивов и систем функций, типов величин) позволил обрабатывать не полностью определенные объекты, откладывать их вычисление до полного определения.

Указанные особенности входного языка поддерживаются в ЭВМ МИР соответствующими средствами внутреннего языка (ВЯ) [27].

Т.А.Гринченко