11.4 Понятие вычислительного процесса

Вычислительным процессом над информационным базисом называется (MF) называется последовательность символов

= где под символом ηi подразумевается либо символ - символ включения оператора а, либо - символ выключения а. Таким образом, вычислительный процесс η представляет совокупность символов включения и выключения некоторых операторов.

Аксиомы вычислительного процесса

(преобразование предъявленных операторов к последовательности η)

1. Для любых k и a, если процесс окончен, он содержит одинаковое число символов включения и выключения оператора а.

2. Если …. , некоторый отрезок программы, содержащий включение оператора а, то между двумя символами включения должен присутствовать символ выключающего оператора .

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

Требования информационного обеспечения оператора а

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

11.5 Понятие конечного автомата (ка)

моделью вычислительного процесса является граф, формализуемый в виде G = (W, A), где

W - множество вершин;

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

Если последовательность определяет вычислительный процесс, который отвечает перечисленным аксиомам, то граф вычислительного процесса является правильным.

Рисунок 26 – Символы включения (вход) и выключения (выход)

оператора А

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

Таким образом, символ в конечном автомате закрепляется на каждую совокупность альтернатив выключения.

= {a¹, a²,… , aⁱ , …, a^k}

Рисунок 27 – Совокупность альтернатив включения оператора А

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

G_a,:

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