Главная > Энциклопедия кибернетики. Т.1
НАПИШУ ВСЁ ЧТО ЗАДАЛИ
СЕКРЕТНЫЙ БОТ В ТЕЛЕГЕ
<< Предыдущий параграф Следующий параграф >>
Пред.
След.
Макеты страниц

Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше

Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике

ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO

АНАЛИТИК

— язык программирования, ориентированный на описание инженерных и научно-исследовательских задач и включающий средства для выполнения аналитических преобразований, а также средства общения с машиной в диалога режиме. Разработан в 1968 в Ин-те кибернетики АН УССР. В качестве подмножества А. содержит язык машины

«МИР». А. непосредственно интерпретируется в машине «МИР-2» (см. «МИР»).

Средства А. позволяют в удобной и компактной форме описывать как в числовом, так и в аналитическом виде алгоритмы решений задач линейной алгебры, линейных и нелинейных уравнений, нахождения экстрем, точек с применением дифференцирования выражений, нахождения приближенных решений дифф. уравнений и уравнений матем. физики методом разложения в ряды и др.

Особенностью языка А. является широкое использование общепринятой матем. символики. Помимо арифм. операций, операций отношений и элементарных функций, в А. используются операции дифференцирования, интегрирования, суммирования и др. (обозначаемые соответственно , константы кроме целых и десятичных чисел, допускаются рациональные дроби, записываемые в виде , где а и числа, напр., 4/17. Тип числа определяется видом его записи. Возникающая неоднозначность (4/17, с одной стороны, представляет собой дробь, а с другой — арифм. выражение, для вычисления которого необходимо 4 разделить на 17 и получить десятичный результат) устраняется введением указаний ДРОБИ ДЕСЯТИЧНЫЕ и ДРОБИ НЕ ДЕСЯТИЧНЫЕ.

Осн. видом преобразуемой информации в языке А. является выражение. В отличие от других языков, в т. ч. и от языка машины «МИР-1», где значениями переменных могут быть только числа, в А. областью значения переменных является множество математических выражений.

Пример записи выражения в языке А.:

что в общепринятой записи означает к Выражения можно приводить к некоторым каноническим формам, в которых автоматически производятся упрощения типа приводятся подобные члены, сокращаются дроби и пр. Приведение выражений к той или пной канонической форме осуществляется либо автоматически при выполнении некоторых операторов, либо оператором ПРИВЕСТИ, в котором указывается тип формы. Кроме выражений, осн. единицами информации в А. являются равенства. Равенство имеет вид: где выражения. Над равенством можно выполнять некоторые операции, однако осн. роль равенств состоит в указании правил преобразования выражений, осуществляемых оператором ПРИМЕНИТЬ. Применить равенство к выражению Р — значит найти в выражении Р подвыражение и заменить его выражением Напр., если равенство применить к выражению , то в результате получится выражение

В равенствах некоторые переменные могут играть роль параметров — переменных, вместо которых в процессе применения равенства можно подставлять любые выражения. Напр., применение равенства где А и В — параметры, к выражению дает выражение При этом параметры А и В в процессе сравнения получают значения Выражение с параметрами, называемое также образом или образцом, используется для распознавания структуры выражений. В А. распознавание структуры выражений осуществляется с помощью оператора СРАВНИТЬ. Напр., сравнение образа , где А, В и С — параметры с некоторым выражением Е, позволит определить, является ли Е квадратным трехчленом; при этом значениями А, В, С станут коэфф. этого трехчлена (если Е — трехчлен). Так, для случая параметры получат значения: .

Операторы СРАВНИТЬ и ПРИМЕНИТЬ позволяют осуществлять произвольные аналитические преобразования, однако для наиболее типичных действий — дифференцирования и интегрирования выражений — имеются соответствующие операторы ДИФФЕРЕНЦИРОВАТЬ и ИНТЕГРИРОВАТЬ (ИНТЕГРИРОВАТЬ охватывает интегрирование широкого класса функций, в т. ч. большинства интегралов, содержащихся в известных справочниках).

Для нахождения значений выражений имеются операторы, результатом действия которых может быть не только число, но и выражение. Напр., пусть имеются описания выражений тогда результатом работы оператора ВЫЧИСЛИТЬ А будет выражение , которое присваивается в качестве значения переменной А.

Для удобства проведения аналитических преобразований в А. вводится понятие рабочей зоны (РЗ), которая соответствует рабочему листу бумаги, где математик выполняет аналитические выкладки, пробуя те или др. методы, ошибаясь, исправляя ошибки и т. д. Для помещения выражения в РЗ имеется оператор обращения ВЗЯТЬ А, где А — название выражения. Для называния информации, содержащейся в РЗ, имеется оператор НАЗВАТЬ А. РЗ представляет часть памяти ЦВМ, которую можно постоянно обозревать с помощью устр-ва отображения — экрана. Экран позволяет осуществлять не только обратную связь (вывод выражений и графиков), но и прямую (с помощью светового карандаша на экране можно подчеркивать подвыражения и в дальнейшем обрабатывать не все выражение, а лишь его подчеркнутую часть; из подчеркнутых частей можно компоновать новое выражение,

стирать ненужную информацию и др.). Экран удобен при работе в диалога режиме.

Режим диалога между человеком и машиной, реализованный в машинах серии «МИР», имеет особенно большое значение при проведении аналитических выкладок, когда предварительное планирование работы с учетом всех возможных ситуаций затруднительно. Диалог осуществляется путем поочередного обмена порциями информации. Для человека такой порцией является предложение (последовательность описаний и операторов). На каждое предложение машина может отвечать всеми имеющимися средствами вывода информации. Имеется широкий набор операторов вывода, а также операторов управления последовательностью действий программы (условный оператор, оператор перехода, операторы цикла, процедуры и др.).

Лит.: Глушков В. М. [и др.). АНАЛИТИК (алгоритмический язык для описания вычислительных процессов с использованием аналитических преобразований). «Кибернетика», 1971, № 3.

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

1
Оглавление
email@scask.ru