Лабораторна робота
на тему:
Теорія скінчених автоматів.
Теорія скінчених автоматів дозволяє досліди і надати ймовірні наслідки
тієї чи іншої події міжнародних відносин.
Скінчений автомат – математична модель де відображуються фізичні або
абстрактні явища різноманітної природи, яка полягає в тому, що задається
система зі скінченими вхідними даними, скінченими вихідними даними і
множиною станів. Треба сказати, що ця модель універсальна, і її можна
використовувати в будь-які області.
В даному випадку я застосував теорію скінчених автоматів для дослідження
конфлікту між Росією і Грузією, який вже спостерігається на довгому
відрізку часу. Конфлікт полягає в тому, що Росія намагається вирішити
локальний конфлікт в Чечні, а Грузія своїми діями чи навпаки бездією
перешкоджає Росії в вирішенні її локального конфлікту. До того ж, Росія
намагається розповсюдити свій вплив на якомога більшу територію. Зі
своєї сторони Грузія намагається не допустити впливу Росії на свою
внутрішню політику. Звичайно, власними силами Грузія не впорається зі
стабілізацією економічного та політичного стану, але Грузії надається
допомога зі сторони США.
Мета цієї роботи дослідити ймовірне вирішення конфлікту між Росією та
Грузією по відношенню до політики США щодо допомоги Грузії.
Вхідні дані:
Х0 = США надає Грузії підтримку
Х1 = США не надає Грузії підтримку
Х2 = США залишається нейтральною по відношенню до Грузії.
Вихідні дані:
У0 = конфлікт між Грузією та Росією вирішується
У1 = конфлікт між Грузією та Росією не вирішується
Стани:
S0 = Грузія сприяє знешкодженню Чеченський бойовиків, Росія не посилює
політичний та економічний вплив на Грузію.
S1 = Грузія сприяє знешкодженню Чеченський бойовиків, Росія посилює
політичний та економічний вплив на Грузію.
S2 = Грузія не сприяє знешкодженню Чеченський бойовиків, Росія не
посилює політичний та економічний вплив на Грузію.
S3 = Грузія не сприяє знешкодженню Чеченський бойовиків, Росія посилює
політичний та економічний вплив на Грузію.
Загальна таблиця переходів та виходів:
S\x x0 x1 x2
S0 2/0 1/1 0/0
S1 2/0 3/0 0/1
S2 3/0 0/1 3/0
S3 2/0 0/1 2/0
Цю таблицю можна мінімізувати об‘єднавши подібні стани S2 i S3.
Тепер таблиця переходів і виходів буде мати такий вигляд:
S\x x0 x1 x2
S0 2/0 1/1 0/0
S1 2/0 2/0 0/1
S2,S3 2/0 0/1 2/0
Отже тепер, коли подальша мінімізація неможлива можна задати граф
автомату:
S0( (S1
S2(
Після того як граф автомату заданий, для обробки вихідних даних треба
задати матрицю автомату:
S\S S0 S1 S2
S0 x2/y0 x1/y1 x0/y0
S1 x2/y1
x0/y/0vx1/y0
S2 x1/y1
x0/y0vx2/y0
Тепер, коли матриця автомату задана, можна визначити подальший перебіг
подій конфлікту. Конфлікт буде вирішений тільки у випадках :
Коли Грузія сприяє знешкодженню Чеченський бойовиків, Росія посилює
політичний та економічний вплив на Грузію, а США залишається нейтральною
по відношенню до Грузії.
Коли Грузія не сприяє знешкодженню Чеченський бойовиків, Росія не
посилює політичний та економічний вплив на Грузію, а США не надає
Грузії підтримку.
Коли Грузія сприяє знешкодженню Чеченський бойовиків, Росія не посилює
політичний та економічний вплив на Грузію, а не надає Грузії підтримку
Нашли опечатку? Выделите и нажмите CTRL+Enter
