Основы теории нечетких множеств



             

Формализация понятия нечеткого алгоритма - часть 2


Во-вторых, рассматриваются инструкции следующего вида:

Start: go to (инструкция начала);
: do , go to (инструкция операции);
: if then go to ()(инструкция условия);
: halt(инструкция окончания)

где — множество символов меток инструкций, — символ оператора или функции, — символ предикатов или условий.

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

В-третьих, определяется понятие -машины. -машина есть функция , определенная на множестве символов , для которых существуют множество входов , множество состояний памяти и множество выходов , а также выполнены следующие условия:

  1. (функция входов);
  2. (функция операции);
  3. , (функция условий);
  4. (функция выхода).

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

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

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




Содержание  Назад  Вперед