
- •Донбасский институт техники и менеджмента международного научно-технического университета
- •Тема №1. Теория множеств. План.
- •1.1 Условные обозначения, принятые в конспекте лекций
- •1.2 Множества. Способы задания множеств
- •1.3 Операции над множествами
- •1.4 Действия с цепочками
- •1.5 Число элементов множества
- •2.2.Свойства бинарных отношений
- •2.3.Операции с бинарными отношениями
- •Тема №3. Элементы алгебры логики. План
- •3.1 Простые высказывания; логические связки
- •3.5 Отношения между высказываниями
- •3.6 Аргументы
- •Тема №4. Элементы теории графов План
- •4.1 Общие понятия и определения
- •4.2 Способы задания графов
- •4.3 Элементы графов
- •4.4 Операции с частями графа
- •4.5 Диаметр, радиус и центр графа
- •4.6 Параметры протяженности (диаметр, радиус и центр) графа
- •5.1 Конечные автоматы - распознаватели
- •5.2 Эквивалентность состояний ка
- •5.3 Недостижимые состояния
- •5.4 Недетерминированный конечный автомат
- •6.1 Автоматы-распознаватели с магазинной памятью
- •6.2 Автоматы-трансляторы с магазинной памятью
- •6.3 Задачи на построение мп-распознавателей.
- •6.4 Задачи на построение мп-трансляторов
- •Тема № 7. Грамматики План
- •7.1 Общие сведения
- •7.2 Классификация грамматик
- •7.3 Эквивалентные преобразования кс-грамматик
- •7.3.1 Удаление или добавление бесполезных (непродуктивных и не-
- •7.3.2 Добавление нетерминала
- •7.3.3 Подстановка правил
- •7.3.4 Изменение направления рекурсии
- •8.1 Построение ка для распознания автоматных грамматик
- •3.2 Построение ка-распознавателей для праволинейных грамматик
- •8.4 Построение мп-распознавателей для q-грамматик
4.1 Общие понятия и определения
Граф G как математический объект - это совокупность двух множеств: непустого множества вершин V и множества ребер E, элементы которого представляет собой неупорядоченные (для ориентированного графа - упорядоченные) пары элементов из множества V.
G(V,E) = < V; E >, n(V) > 0, E c V x V
для неориентированного графа E = E^(-1) (бинарное отношение Е - симметрично).
Минимальный граф состоит из одной вершины.
Каждому неориетированному графу можно поставить в соответствие ориентированный граф, в котором каждое ребро заменено двумя противоположно ориентированными ребрами, инцидентными тем же вершинам.
Пусть v1 и v2 - вершины, e = (v1,v2) - соединяющее их ребро.
Тогда вершина v1 и ребро e инцидентны, вершина v2 и ребро e также инцидентны. Два ребра, инцидентные одной вершине, называются смежными; две вершины, инцидентные одному ребру, также называются смежными.
Обычно граф изображают в виде диаграммы: вершины - точками, ребра - линиями, соединяющими инцидентные вершины.
4.2 Способы задания графов
Множество вершин и множество рёбер для конечных графов задаются как правило перечислением. Возможно задание графа описанием отношения инцидентности.
1.Отношение инцидентности задано матрицей смежности:
- столбцы и строки матрицы - вершины графа;
- для смежных вершин - элемент матрицы - 1, для остальных - 0;
- для неориентированного графа эта матрица всегда симметрична;
- число рёбер равно числу единиц выше или ниже главной диагонали матрицы, включая и диагональ.
2.Отношение инцидентности задано матрицей инцидентности:
- столбцы матрицы соответствуют вершинам графа,а строки-рёбрам;
- если ребро e(i) инцидентно вершине v(j),то элемент матрицы E(i,j)=1,в противном случае E(i,j)=0.
Таким образом в каждой строке одна или две единицы, остальные - нули (если петля, то две единицы).
Для ориентированного графа при заполнении матрицы:
E(i,j)=-1,если v(i)-начало ребра.
E(i,j)=1,если v(i)-конец ребра.
E(i,j)=a(где a-любое число, кроме -1,1,0),если ребро-петля в вер-
шине v(i).
В остальных случаях E(i,j)=0.
3.Список рёбер.
---------T-----------¬
¦ e(i) ¦ v1,vn ¦ e(i)-ребра
+--------+-----------+ v1,vn-пара вершин, соединяемых ребрами.
¦ 1. ¦ ¦
¦ 2. ¦ ¦
¦ ... ¦ ¦
L--------+------------
4.3 Элементы графов
Граф без кратных ребер называют полным, если каждая пара вер-
шин соединена ребром.
Граф H называют частью графа G, если множество вершин графа H
принадлежит множеству вершин графа G и множество рёбер графа H
принадлежит множеству рёбер графа G,т .е.:
V(H) c V(G); E(H) c E(G)
Часть графа H называется суграфом, если она содержит все ершины графа G.
Суграф H для неориентированного графа G называется покрывающим суграфом, если любая вершина последнего инцидентна хотя бы одному ребру из H.
Подграф G(U) графа G на множестве вершин U (U c V)- это часть графа, которой принадлежат все ребра с обоими концами из U.
Звёздный граф для вершины v c G состоит из всех рёбер с началом и концом в вершине v. Множество вершин звёздного графа состоит из вершины v и других смежных с ней вершин.