>
0
0
0
1
1
-
-
-
-
-
-
-
-
-
-
x/a
a 22
a 23
a 24
a 25
a 26
a 27
a 28
a 29
a 30
a 31
a 32
a 33
a 34
a 35
a .36
a 37
a 38
a 39
a 40
a 41
0
0
0
1
1
0
0
1
1
1
1
0
1
0
1
0
1
0
1
0
1
1
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
Рядки цих таблиць відповідають вхідним сигнальним множинам х , а стовпці станам а , причому перший лівий стовпець означає початковий стан инициального цифрового автомата.
У нашому варіанті функція визначена не повністю, тому функцію необхідно довизначити. Це доопределение довільне і залежить від завдання, яка ставиться перед довизначенням. Надалі передбачається проводити мінімізацію функції, тому доопределение краще провести так, щоб мінімальна форма функції вийшла простіше, ніж мінімальна дізьюктівная нормальна функція, одержувана при інших доопределение.
В
Мінімізація цифрового автомата Милі.
Абстрактний автомат, побудований за технічним завданням формальним або евристичним методами, зазвичай не є мінімальним за кількістю станів. Побудова еквівалентного йому абстрактного цифрового автомата з найменшим числом станів і є завданням оптимізації. При мінімізації кількості станів зменшується вартість, як блоку пам'яті автомата, так і його вхідний і вихідний комбінаційних схем.
Два повністю певних автомата називаються еквівалентними, якщо вони індукують (виробляють) один і той же відображення множини вхідних слів під безліч вихідних слів. Частковий цифровий автомат А називається еквівалентним продовженням часткового автомата В , якщо индуцируемое їм відображення збігаються з відображенням, індукованим автоматом В на всіх допустимих для автомата В словах.
Повністю певний автомат є окремим випадком часткового автомата.
В
Таблиця переходів з розподілом невизначеностей.
Першим (попередніми) етапом всякої мінімізації є виділ...
