Міністерство освіти і науки України

Харківський національний університет імені В. Н. Каразіна

Факультет комп’ютерних наук

Практичне завдання
з навчальної дисципліни
«Альтернативні методи обчислення»
Тема: Автомати Мілі

Виконав:
Студент групи КС33
Образцов Д.І.

Харків – 2022
 2

Практичне завдання
Тема: Автомати Мілі.
Мета роботи: Повністю визначитися з основними властивостями
автоматів Мілі та отримати характерні результати обробки даних, які ми
досліджували.
ЗАВДАННЯ
1) Побудувати діаграму для автомата, що видає біт парності з прикладу
вище;
2) Побудувати таблиці переходів і виходів для автомата, описаного
вище в прикладах;
3) Якщо на автомат із завдання 2 подати послідовність aababbbab, яким
буде вихід (вважайте, що на початку автомат перебуває у стані S1)?
4) Підкиньте монетку 5 разів, рахуйте решку за 0, а герб за 1. Якою
буде послідовність станів та послідовність виходів для автомата, що видає біт
парності, якщо подати на нього вашу послідовність?
5) Спроектуйте мовою кінцевого автомата (таблиці та діаграма)
кодовий замок, який має 10 цифрових кнопок 0…9 і відкривається кодом із
трьох цифр (правильний код виберіть самі). Підказка: на початку автомат
перебуває у стані очікування першої цифри, якщо правильна, перетворюється
на стан очікування другий тощо. д. Виходи – «Відкрити» і «Закрити». Крім
того, при відкриванні дверей запускається таймер, а автомат замку
переходить у стан очікування сигналу від нього, сигнал і переводить замок у
початковий стан. Для всіх неправильних цифр можна будувати на діаграмі
кожного стану одну загальну стрілку.
 3

I. ПОРЯДОК ВИКОНАННЯ РОБОТИ

Перше завдання.
Перш за все необхідно розглянути перше завдання роботи. Згідно з
умовою завдання, необхідно побудувати діаграму для автомата, що видає біт
парності з прикладу, який наведений у теоретичному розділі роботи.
Далі буде наведено зміст прикладу з теоретичного розділу: «Таблиці
автомата, приймаючого біти 0 і 1 і видає біт парності (двійкову суму всіх
поданих бітів, традиційний контрольний біт – 0 якщо число одиниць парне, 1
якщо непарне), початковий стан S0 (число досі поданих одиниць парно),
вихідний вихід 0».

Рисунок 1.1 – Таблиця переходів

Рисунок 1.2 – Таблиця виходів

Оскільки у нашому завданні є два стани та два вхідні сигнали, ми
можемо отримати відповідну діаграму для автомата, яка наведена на рисунку
1.3. Діаграму було побудовано за допомогою неведених таблиць переходів и
виходів.

Рисунок 1.3 – Діаграма для автомата першого завдання

Друге завдання.
 4

Згідно з умовою другого завдання, необхідно побудувати таблиці

переходів і виходів для автомата, який описаний у теоретичний частині
роботи.
Далі буде наведено зміст прикладу з теоретичного розділу: «Автомат,
що має три стани, два вхідні сигнали (a і b) і два вихідні сигнали (також a і
b)».
Також необхідно навести діаграму, яка була представлена у роботі
(рисунок 1.4).

Рисунок 1.4 – Діаграма автомату другого завдання

Таблицю, яку необхідно навести, можна переглянути у змісті таблиці

1.1.
У збірній таблиці спочатку відображаються переходи, а потім виходи.
Переходи можна простежити по стрілочкам, які йдуть від одного стану до
іншого. Прослідкувавши, за допомогою діаграми, за всіма переходами,
можна навести відповідні виходи. Виходи вказані у значення над
стрілочками, а саме значення під косою рискою.
 5

Таблиця 1.1 – Таблиця переходів і виходів для автомата другого

завдання
I
S1 S2 S3
S
a S2 S3 S1

b S3 S1 S2
I
S1 S2 S3
S
a b b a
b a a b

Третє завдання.
Згідно з умовою третього завдання, необхідно, на основі другого
завдання, подати на автомат послідовність aababbbab та побудувати таблицю
виходів для автомата.
Всі дані були отримані, спираючись на діаграму, яка наведена на
рисунку 1.4. Маючи діаграму можна рухатися по переходам між станами та
визначати виходи згідно з послідовністю входів.
Відповідна таблиця виходів для автомата наведена у таблиці 1.2.

Таблиця 1.2 – Таблиця виходів для автомата третього завдання з

заданою послідовність входів
Переходи з
початкового S2 S3 S2 S3 S2 S1 S3 S1 S3

стану
Виходи b b b b b a a a a

Четверте завдання.
Згідно з завданням, необхідно було підкинути монетку 5 разів, та
рахувати решку за 0, а герб за 1.
 6

Результатом виконаного завдання буде послідовність станів та

послідовність виходів для автомата, що видає біт парності, якщо подати на
нього отриману послідовність.
Підкинувши монетку 5 разів була отримана наступна послідовність:
10001.
У цьому завданні орієнтування у послідовності станів та послідовності
виходів формується за допомогою діаграми, яка була наведена на рисунку
1.3.

Таблиця 1.3 – Таблиця виходів для автомата четвертого завдання з

заданою послідовність входів
Переходи з
початкового S1 S1 S1 S1 S0

стану S0
Виходи 1 1 1 1 0

П’яте завдання.
Згідно з умовою п’ятого завдання, необхідно спроектувати мовою
кінцевого автомата (таблиці та діаграма) кодовий замок, який має 10
цифрових кнопок 0…9 і відкривається кодом із трьох цифр. Правильною
комбінацією були обрани наступні цифри: 179.
Для коректного виконання завдання буде необхідно визначити 5 станів.
Перший, другий та третій стани будуть відповідати за очікування введення
характерної правильної цифри. Якщо цифра не відповідає правильній, то
необхідно повторювати введення цифри, допоки вона не виявиться вірною.
Після того, як всі цифри введено правильно, двері відчиняться і це буде
четвертий стан. Тобто четвертий стан – це стан дверей (зачинені/відчинені).
П’ятий стан – це таймер, який фіксує введення правильної комбінації та
відчинення дверей. Саме тоді він запускається, а потім перехід відбувається
до першого стану і цифри необхідно вводити знов.
 7

Для початку необхідно навести таблицю виходів та переходів для

автомата, що наведено у таблиці 1.4.
Таблиці 1.4 - Таблиця переходів і виходів для автомата п’ятого
завдання
I
S1 S2 S3 S4 ST
S
0 S1 S2 S3 S4 S4

1 S2 S3 S4 ST S1
I
S1 S2 S3 S4 ST
S
0 1 1 1 1 1
1 0 0 1 0 1

Щоб більш детальніше та наочніше показати результати роботи, на

рисунку 1.5 продемонстрована діаграма для автомату в якій показані усі
переходи між станами та самі п’ять станів. Вони утворюють кодовий замок,
який спроектовано за допомогою мовою кінцевого автомата.

Рисунок 1.5 – Діаграма автомату п’ятого завдання

 8

ВИСНОВОК

У висновку можна сказати, що на цій роботі, ми ознайомились з

основними властивостями автоматів Мілі та отримати характерні результати
обробки даних, які ми досліджували.
Також, здобуті навички, було опрацьовані у роботі над проектуванням,
за допомогою мови кінцевого автомату, кодового замку.