WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

   Добро пожаловать!

Pages:     | 1 |   ...   | 20 | 21 || 23 |

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

Контрольные вопросы 1. Основные характеристики сетей Петри.

2. Способы представления сетей Петри.

3. Расширенные сети Петри.

4. Маркировка сетей Петри.

5. Работа сети Петри.

6. Построение графов сетей Петри.

7. Моделирование алгоритмов с помощью сетей Петри.

ЗАКЛЮЧЕНИЕ Понятие структурной теории автоматов, методы структурного синтеза автоматов и методы анализа сетей Петри, оказываются мощным инструментом моделирования динамических систем. При этом в каждом конкретном случае целесообразно применение одной из их модификаций, заключающейся для традиционных приложений во введении ограничений, накладываемых на функционирование элементов сети.

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

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

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

1. Грамматика Язык. Язык задается следующим образом:

1) фиксируется алфавит как набор символов (букв);

2) определяются правила, как из букв образовывать выражения (слова).

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

Среди фраз выделяют имена, предложения и функторы. Имя называет некоторый объект. Предложение выражает утверждение. Функтор – это средство соединения фраз с целью образования других фраз.

Основные виды функторов: операторы (преобразуют имена в имена); глаголы (преобразуют имена в предложения); коннекторы (преобразуют предложения в предложения). Некоторое употребление функторов представлено в таблице.

Таблица Употребление функторов Функтор Обозначение Смысловое значение Бинарные Если _ 1, то _ коннекторы _ 1 тогда и только тогда, когда или _ или и _ и Унарные | _ утверждается глаголы | _ отвергается Бинарные _ 1, есть то же самое, что глаголы = _ равно _ _ 1 предшествует _ _ 1 включено в _ Функтор Обозначение Смысловое значение Унарные (операция отрицания) операции Бинарные _ 1 имплицирует 2 (операция импликации) операторы ( 1 2 ) ( 1 ) (операция эквиваленции) _ 1 ad _ 2 (сложение, дизъюнкция) _ 1 con _ 2 (умножение, конъюнкция) При n = 1, 2, 3 n-арный функтор называется соответственно унарным, бинарным, тернарным.

В автоматах для задания преобразования информации применяются различные формальные языки:

язык регулярных функций;

язык исчисления предикатов;

язык временных логических функций;

язык логических алгоритмов и т. д.

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

Например, предложение «2 – простое число» есть высказывание. Если «2» заменить предметным переменным n множества натуральных чисел, то полученное выражение «n – простое число» грамматически имеет ту же форму, но не является высказыванием.

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

Пример. Пусть V – словарь, L – язык над словарем V, а V* – множество всех возможных цепочек, составленных из символов словаря V.

Тогда, если V = {a, b, c}, получим V* = {, a, b, c, aa, ab, cba, ccaba,...}, где – пустая цепочка, т. е. цепочка, вовсе не содержащая символов. Очевидно, что хотя V конечно, V* – бесконечное счетное множество. Язык – это просто некоторое подмножество V*: L V*. Всего языков над словарем V (как подмножеств счетного множества V*) бесконечное число.

Алфавит. Если V* – множество, то и словарь V также представляет собой множество. Поэтому множество V часто называют алфавитом, а любое множество цепочек L V* называют формальным языком, определенным на алфавите V.

Итерации алфавита V Пусть В и С – некоторые подмножества множества V*, а V1 и V2 – цепочки этого множества V*.

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

D = BC = {V1V2 | V1 B, V2 C}.

Итерацией алфавита V называют множество всех цепочек алфавита V* =, UVn n=где V* – множество всех цепочек над алфавитом V, включая пустую цепочку ;

Vn – степень алфавита, определяемая как Vn = Vn-1 V, для каждого n 1, если множество, состоящее из пустой цепочки, обозначить через V0.

Усеченной итерацией алфавита V называют V+ =, UVn n=где V+ – множество всех цепочек над алфавитом V, без пустой цепочки.

Ассоциативные исчисления Пусть даны пары цепочек (P1, Q1), (P2, Q2),..., (Pn, Qn) из V* V*. Если V1 и V2 – цепочки множества V*, то цепочку V1 называют подцепочкой цепочки V2, когда существуют такие цепочки Х и Y из V*, что V2 = X V1 Y.

Соотношения Туэ. Соотношениями Туэ называют правила, согласно которым любой цепочке V1 = XPiY из множества V* будет ставиться в соответствие цепочка V2 = XQiY из того же множества V* (i = 1, 2,..., n). Такие соотношения и приводят к так называемым ассоциативным исчислениям.

Направление и порождение. Соотношения Туэ являются двусторонними, если цепочка V1 является смежной по отношению к цепочке V2, и наоборот, цепочка Vявляется смежной по отношению к цепочке V1. Однако бывают соотношения, в которых вводится направление.

Соотношения, содержащие направление, называют полусоотношениями Туэ или продукциями и обозначают: (P1 Q1), (P2 Q2),..., (Pn Qn). Например, если имеется набор продукций цепочек V1 и V2, то говорят, что V1 порождает V2, или говорят, что цепочка V2 непосредственно порождается из цепочки V1, и обозначается это как V1 V2, при условии существования таких цепочек Х и Y, что V1 = XPiY, V2 = XQiY, а (Pi Qi) – продукция из данного набора.

Правило. Правило (или продукция) – это упорядоченная пара цепочек символов (, ). В правилах очень важен порядок цепочек, поэтому их часто записывают в виде. Такая запись читается как « порождает » или « по определению есть ».

Например, Р – множество правил (продукций) грамматики вида, где V+, V*.

2. Знаки, знакосочетания и кванторы Знаки. К знакам относят: логические знаки (V,,... ); буквы; специальные знаки (=,,... ).

Знакосочетания. Знакосочетание – последовательность знаков, написанных рядом друг с другом, причем некоторые знаки, отличные от букв, могут быть соединены линиями, идущими над строкой и называемыми связями.

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

Примеры:

1) предметы могут изображать буквы или сводиться к одной букве (если задано условие, что «знакосочетание А есть буква»);

2) если В – утверждение, то В, так называемое отрицание этого утверждения В, также есть утверждение, которое читается: «не В» (если задано условие, что в последовательности существует знакосочетание В, предшествующее А, такое, что А есть В);

3) если А – соотношение, то «не (А)» можно писать вместо А;

4) если А и В – соотношения, то можно писать «(А) или (В)» вместо АВ, а также (А) (В) вместо АВ;

5) если А – алфавит, то под примитивным термом понимается любая конечная последовательность знаков из алфавита А вида (х1,..., хm), где обозначает m – местный функтор (m = 1, 2,... ), а х1,..., хm – свободные индивидные переменные.

Квантор. Если А – знакосочетание и х – буква, то знакосочетание ( х)А обозначается (читается) «существует такое х, что А». Знакосочетание ( х)А читается «для всех х А» или «каково бы ни было х, А». Символы и соответственно квантор существования и квантор общности. (, – перевернутые первые буквы английских слов Exist – «существует» и All – «все»).

Например, пусть запись А(х) означает, что х обладает свойством А, тогда запись х А(х) обозначает утверждение «все х обладают свойством А», а запись х А(х) означает, что «существует по крайней мере один предмет х, обладающий свойством А».

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

3. Множество Множество. Под множеством (синонимы: совокупность, класс, система) понимается некоторая совокупность объектов, которые называются элементами этого множества.

Способы задания множеств:

1) с помощью перечисления элементов, которые записываются внутри фигурных скобок через запятую. Например, Х = {x1, x2, x3};

2) с помощью характеристического свойства – общего свойства объектов, из которых образовано множество: Х = {x | x обладает свойством Q}, где вертикальная черта после х означает «таких, что», т. е. Х – множество элементов таких, что они обладают свойством Q.

Множество Х называется подмножеством множества Y (иначе – Х входит в Y), если и только если каждый элемент множества Х принадлежит множеству Y. Обозначение: X Y или Y X.

Например, если каждый элемент множества Х принадлежит множеству Y, то записывают X Y и говорят, что Х является подмножеством множества Y. Отношение называется включением.

Операции над двумя множествами Х и Y:

1. Объединение Х Y.

2. Пересечение Х Y.

3. Дополнение Х и Y.

4. Разность Х \ Y.

5. Произведение Х Y.

Декартовым или прямым произведением Х Y называется множество всех упорядоченных пар, первый и второй компоненты которых принадлежат соответственно множествам X и Y. Множество Х называется первым, а множество Y вторым сомножителем произведения Х и Y. Меняя ролями множества Х и Y, получаем декартово произведение Y X, которое отлично от декартова произведения Х Y, если Х Y.

Любое подмножество Р Х Y произведения множеств Х и Y называется бинарным соответствием из Х в Y. При этом множество Х называется областью отправления, а множество Y – областью прибытия соответствия Р.

Иногда для определения операции произведения множеств используют понятие кортежа (вектора). Вместе с понятием кортежа вводится понятие компонента (координаты).

Регулярные и нерегулярные множества. Класс множеств цепочек над конечным словарем V называют регулярными множествами.

Пусть V1 и V2 – множества цепочек, тогда на этих множествах цепочек можно определить следующие операции:

1. Объединение V1 и V2 = { | V1} или V2.

2. Конкатенация (произведение, склеивание): V1 V2 = { | V1, V2}.

Знак конкатенации обычно опускается.

Например, V1 = {abc, ba}, V2 = {b, cb}. V1 V2 = {abcb, abccb, bab, bacb}.

Обозначим через Vn произведение n множеств V, т. е. Vn = VV... V при V0 = {}, где – пустая цепочка.

Например, V1 = {abc, ba}, V12 = {abcabc, abcba, baba, baabc}.

3. Итерация: V* = V0 V1 V2...

Например, V = {a, bc}, V* = {, a, bc, aa, abc, bc, bc, bca, aaa, aabc,... }.

Правила для класса регулярных множеств над конечным словарем V:

1. – регулярное множество;

2. {} – регулярное множество;

3. (а V) {a} – регулярное множество;

4. Если А и В – регулярные множества, то регулярны:

- объединение А В;

- конкатенация АВ;

- итерации А* и В*.

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

Примеры:

1) регулярные множества: {ab, ba}* {a, a}; {b} ({c} {, ab}*);

2) нерегулярные множества: {an bn | n>0}; { | в цепочке количества вхождений символов a и b совпадают}.

4. Функция Функция. Если Х и Y – два множества, то отображением множества Х в множество Y называют функцию f, у которой область отправления (равная области определения) равна Х, а область прибытия равна Y. Можно также и по-другому утверждать (читать):

1) «функция f определена на Х и принимает свои значения в Y»;

2) «пусть f есть отображение Х в Y»;

3) «пусть дано отображение f: Х Y» или проще: «пусть f: Х Y».

Pages:     | 1 |   ...   | 20 | 21 || 23 |



© 2011 www.dissers.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.