Г Р А Ф И Т — б а з и с

Приложение 2.
Элементы языкового обеспечения визуализации деятельности

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

Приложение предназначено для обучения работе с языками.

К сему прилагается | Вспомогательные языки визуализации | Императивные

Здесь даются определения для языков, используемых как вспомогательные в формализации. Языки, выделенные как основные, определяются (и рассматриваются) в основном тексте.

Содержание

Текстовый алгоритмический язык (ТАЯ)

Язык схем действий (функциональных, ФС)

Алфавит языка

Правила языка

Диалект вычислительных схем (ФС-В)

Текстовый алгоритмический язык (ТАЯ)

Описывает алгоритм решения задачи (подзадачи) в форме, приближённой к текстовым языкам программирования, в т.ч. включает объявления величин алгоритма. Различные стандарты языка называют также автокодами, псевдокодами.

Вообще говоря, ТАЯ, рассматриваемый сам по себе, м.б. только ментал-языком (независимо от информатизованности), либо частью инфор-языка. Полный инфор-язык по определению включает все частные языки и объединяющий их ген-язык.

В России более-менее употребителен целый ряд ТАЯ. Исходя из эргономики представления, можно выделить следующие:

Первый язык имеет полностью русскую лексику. Имена даются по правилам, близким к общеязыковым.

Лексика второго ТАЯ английская, имена преимущественно краткие. При переводе книги Вирта на русский язык именная часть также сохранена. Разумеется, это не является каким-то принципиальным недостатком; всегда можно поменять идентификаторы.

Выразительно эти ТАЯ во многом эквивалентны. Отличие прежде всего в том, что язык Вирта приближен к импер-составляющей его же прогязыка Оберон. Потопахин же не связывал свой язык с к.-л. инфор-языком, а в общем реализовал требования структурного импер-информоделирования (сформулированные Э. Дейкстрой). Поэтому язык Вирта удобно применять для спецификации структурных программ на ЯВУ. Язык Потопахина для этой цели следует уточнить (что не представляет трудности).

В начало страницы

Язык схем действий (функциональных, ФС)

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

Алфавит языка

Алфавит образуют символы, перечисленные в таблице ниже:



В начало страницы

Правила языка

Схемы действий представляют собой орграфы, причём всё объекты, кроме дуг, являются вершинами. На схеме указываются направления ребер (стрелками на концах).

Построение схем осуществляется по следующим правилам:


В начало страницы

Диалект вычислительных схем (ФС-В)

Представляет деятельность как граф вычисления функций, составляющих репертуар этой деятельности.

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


В начало страницы | Оглавление | Версия для печати

Copyright © Жаринов В.Н.

Hosted by uCoz