- •Донбасский институт техники и менеджмента международного научно-технического университета
- •Тема №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.6 Параметры протяженности (диаметр, радиус и центр) графа
Задан единичный связный неориентированный граф G. Максимальная длина простой цепи с началом V' и концом V" называется протяженностью между этими вершинами g(V',V").
Диаметр протяженности графа - максимальная из протяженностей между любыми парами вершин:
L(G) = max g(V',V").
(V",V') c G
Для каждой вершины V существуют самые длинные простые цепи связывающие ее с другими вершинами графа; их длина называется, числом протяжённости для вершин l(V) = max g(V(i)).
V(i) c G
Центры протяжённости - вершины с минимальным числом протяженности.
l(G) = min l(V)
V c G
Самые длинные простые цепи с началом в центре протяженности называются радиальными, а их длина - радиусом протяжённости.
Параметры протяженности (центр, диаметр и радиус) при анализе графа на максимум определяются аналогично параметрам при анализе графа на минимум.
Для анализа на максимум возьмем граф из предыдущего примера:
V={a,b,c,d,e,f}; E={ab,ac,bc,cd,ce,de,ef}. Определить диаметр, центр(центры) и радиус протяженностей этого графа.
Для определения этих параметров изобразим граф G и составим матрицу расстояний: (на пересечении столбца и строки (вершины графа) матрицы указывается расстояние между этими вершинами; такая матрица (выделена на рисунке) симметрична относительно главной диагонали).
-----T--T--T--T--T--T--T----T-----¬
¦ ¦a ¦b ¦c ¦d ¦e ¦f ¦l(V)¦центр¦
+----г==+==+==+==+==+==¬----+-----+
¦ a ¦ 0¦ 2¦ 2¦ 4¦ 4¦ 5¦ 5 ¦ ¦
+----+--+--+--+--+--+--+----+-----+
¦ b ¦ 2¦ 0¦ 2¦ 4¦ 4¦ 5¦ 5 ¦ ¦
+----+--+--+--+--+--+--+----+-----+
¦ c ¦ 2¦ 2¦ 0¦ 2¦ 2¦ 3¦ 3 ¦ v ¦
+----+--+--+--+--+--+--+----+-----+
¦ d ¦ 4¦ 4¦ 2¦ 0¦ 2¦ 3¦ 4 ¦ ¦
+----+--+--+--+--+--+--+----+-----+
¦ e ¦ 4¦ 4¦ 2¦ 2¦ 0¦ 3¦ 4 ¦ ¦
+----+--+--+--+--+--+--+----+-----+
¦ f ¦ 5¦ 5¦ 3¦ 3¦ 3¦ 0¦ 5 ¦ ¦
L----L==¦==¦==¦==¦==¦==-----+------
В столбце с заголовком l(V) укажем числа протяженностей отсоответствующих вершин (максимальное значение протяженностей каждой строки). Максимальное из чисел протяженностей и будет диаметром протяженности графа(т.е. максимально возможной протяженностью между вершинами в исследуемом графе): L(G) = 5.
Вершина с, для которых удаление l(V) принимает минимальное значение (помечена v ), являются центром протяженности графа G, азначение числа протяженности - радиусом протяженности графа:l(G) = 3.
Если ребра графа нагружены (каждому ребру поставлено в соот-ветствие определенное числовое значение), то процедура исследования аналогична описанной выше, но при заполнении матрицы нужно определять протяженность между вершинами не по числу ребер, а по суммарной их длине.
Тема №4. Теория конечных автоматов.
План.
5.1 Конечные автоматы - распознаватели ...............
5.2 Эквивалентность состояний КА ......................
5.3 Недостижимые состояния ............................
5.4 Недетерминированный конечный автомат
