Абстрактный синтез конечного автомата (работа 1)

СОДЕРЖАНИЕ

Введение

1. Абстрактный синтез конечного автомата

1.1 Формирование алфавитного оператора

1.2 Приведение оператора к автоматному виду

1.3 Построение графа переходов абстрактного автомата

1.4 Минимизация абстрактного автомата

2. Структурный синтез конечного автомата

2.1 Кодирование состояний, входных и выходных сигналов

2.2 Формирование функций возбуждения и выходных сигналов структурного автомата

Заключение

Список литературы

ВВЕДЕНИЕ

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

Можно выделить два основных аспекта работы автомата.

    Автоматы-распознаватели, которые распознают входные слова, т.е. отвечают на вопрос, принадлежит ли поданное на вход слово данному множеству.

    Автоматы-преобразователи, которые преобразуют входные слова в выходные, т.е. реализуют автоматные отображения.

Одной из задач теории автоматов является задача описания автомата и его реализации, т.е. представления автомата как структуры, состоящей из объектов фиксированной сложности. В этом отношении теория автоматов оказалось наиболее развитой ветвью теории алгоритмов.

Общая теория автоматов подразделяется на абстрактную теорию и структурную теорию автоматов. Абстрактная теория автоматов занимает промежуточное положение между алгеброй и логикой. С точки зрения приложений значение абстрактной теории автоматов отнюдь не сводится к удовлетворению запросов одной лишь вычислительной техники. Современная теория автоматов представляет собой математический аппарат для решения широкого класса комбинаторных проблем.

Структурная теория автоматов позволяет реализовать абстрактный автомат на элементах, принадлежащих к заранее заданному классу.

Для преобразования дискретной информации в различных областях техники используются цифровые автоматы. К цифровым автоматам относятся отдельные узлы и блоки специализированных и универсальных ЦВМ и ЦВМ в целом. Цифровыми автоматами могут быть названы также устройства, в автоматике, телемеханике, радиолокации и других областях техники, в которых требуется выполнять преобразование над сигналами, представленные в дискретной (цифровой) форме.

Первое правило функционирования автоматов заключается в следующем. Автомат необязательно должен запоминать входные истории. Вполне достаточно, чтобы автомат запомнил класс эквивалентностей, к которому приходится данная история.

Второе правило функционирования автоматов состоит в том, что на один и тот же входной сигнал конечный автомат может реагировать по-разному, в зависимости от того, в каком состоянии он находится в настоящий момент.

Конечный автомат - это устройство, работающее в дискретные моменты времени, или такты. На вход конечного автомата в каждом такте поступает один из возможных входных сигналов, а на его выходе появляется выходной сигнал, являющийся функцией его текущего состояния и поступившего входного сигнала.

Внутренние состояния автомата также меняются. Моменты срабатывания (такты), определяются либо принудительно тактирующими синхросигналами, либо асинхронно, наступлением внешнего события, то есть приходом сигнала.

Существует два вида реализации конечного автомата - аппаратная и программная. В первую очередь, реализация конечного автомата требует построения устройства памяти для запоминания текущего состояния автомата. Обычно используются двоичные элементы памяти, или триггеры, запоминающие значение одного двоичного разряда.

1. АБСТРАКТНЫЙ СИНТЕЗ КОНЕЧНОГО АВТОМАТА

1.1 Формирование алфавитного оператора

Для определения параметров задания необходимо ввести первичную информацию:

- порядковый номер в журнале;

- год поступления;

- номер группы;

Для данного задания это соответственно:

21, 08, 02.

Из этих цифр необходимо составить правильную десятичную дробь, в которой эти цифры следуют сразу после запятой:

010009000003c204000000003e03000000003e03000026060f007206574d464301000000000001004b720000000001000000500600000000000050060000010000006c000000000000000000000010000000180000000000000000000000bc0100008e02000020454d4600000100500600000c00000001000000000000000000000000000000900600001a040000b801000013010000000000000000000000000000c0b6060038320400460000002c00000020000000454d462b014001001c000000100000000210c0db01000000600000006000000046000000180200000c020000454d462b224004000c000000000000001e4009000c00000000000000244001000c000000000000003040020010000000040000000000803f214007000c000000000000000840000564010000580100000210c0db01000000000000000000000000000000000000000100000089504e470d0a1a0a0000000d4948445200000011000000190802000000585c52c0000000017352474200aece1ce9000000097048597300000ec400000ec401952b0e1b000000df49444154384f63fcffff3f0389808944f520e5a37ae8180613ad1961207d3b28f4ef2044200298e0ffffdb13ac80c269db8029020ac022c8020829108b0188c14aac26dc46d682c445d500d5f3ffffb634244d2023705b02d703d604550864e2b304a107a109a8059b25204361e220ff8001c4df1330dd05092210c0d0030d3e4c77ddbe0d0a1c644f22f2828a7718c8a69a7c15d4085151411340cb3f56134a3d096742a689d6d613ef80a33fbe8021cc1bdd4c6c2600dd766cd5d63bdbd3550b18262c44771742c7ed6bc7101c58a8e08c4544b8813501e38e7110973b0054b955f75b348cab0000000049454e44ae42608200000840010824000000180000000210c0db01000000030000000000000000000000000000001b40000040000000340000000100000002000000000000bf000000bf000088410000c84103000000000000b3000000b3ffff8741000000b3000000b3ffffc7412100000008000000620000000c00000001000000150000000c00000004000000150000000c0000000400000051000000d4020000000000000000000010000000180000000000000000000000000000000000000011000000190000005000000090000000e0000000f4010000000000002000cc00110000001900000028000000110000001900000001000800000000000000000000000000000000001a0000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb6660090660000903a0000ffffdb00dbdbdb0000003a00903a3a003a3a9000010101010101010101010101010101010100000001010101010101010101010101010101010000000101010101010101010101010101010101000000020003040101010101010107000000000e000000020e0f141501010101010101010f060101000000190905020e0101010101010101070601010000000101010a181501010101010101070601010000000101010a1712010101010101010706010100000001010107001415010101011601070601010000000101050213021201010101070000060101000000010111001211060101010101010f06010100000001010f03040c1009010101010101010101000000010c0d0e010107060101010101010101010000000107080901010a0b090101010101010101000000050203040101050206010101010101010100000002000003040502000006010101010101010000000101010101010101010101010101010101000000010101010101010101010101010101010100000001010101010101010101010101010101010000000101010101010101010101010101010101000000010101010101010101010101010101010100000001010101010101010101010101010101010000000101010101010101010101010101010101000000010101010101010101010101010101010100000001010101010101010101010101010101010000004c0000006400000000000000000000001000000018000000000000000000000011000000190000002900aa0000000000000000000000803f00000000000000000000803f0000000000000000000000000000000000000000000000000000000000000000220000000c000000ffffffff460000001c00000010000000454d462b024000000c000000000000000e000000140000000000000010000000140000000400000003010800050000000b0200000000050000000c0219001100030000001e00040000000701040004000000070104004f010000410b2000cc001900110000000000190011000000000028000000110000001900000001000800000000000000000000000000000000001a0000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb6660090660000903a0000ffffdb00dbdbdb0000003a00903a3a003a3a9000010101010101010101010101010101010100000001010101010101010101010101010101010000000101010101010101010101010101010101000000020003040101010101010107000000000e000000020e0f141501010101010101010f060101000000190905020e0101010101010101070601010000000101010a181501010101010101070601010000000101010a1712010101010101010706010100000001010107001415010101011601070601010000000101050213021201010101070000060101000000010111001211060101010101010f06010100000001010f03040c1009010101010101010101000000010c0d0e010107060101010101010101010000000107080901010a0b090101010101010101000000050203040101050206010101010101010100000002000003040502000006010101010101010000000101010101010101010101010101010101000000010101010101010101010101010101010100000001010101010101010101010101010101010000000101010101010101010101010101010101000000010101010101010101010101010101010100000001010101010101010101010101010101010000000101010101010101010101010101010101000000010101010101010101010101010101010100000001010101010101010101010101010101010000000c00000040092900aa000000000000001900110000000000040000002701ffff030000000000 Y1= 0,210802

Вторичная информация Y QUOTE 010009000003c204000000003e03000000003e03000026060f007206574d464301000000000001004b400000000001000000500600000000000050060000010000006c000000000000000000000010000000180000000000000000000000bc0100008e02000020454d4600000100500600000c00000001000000000000000000000000000000900600001a040000b801000013010000000000000000000000000000c0b6060038320400460000002c00000020000000454d462b014001001c000000100000000210c0db01000000600000006000000046000000180200000c020000454d462b224004000c000000000000001e4009000c00000000000000244001000c000000000000003040020010000000040000000000803f214007000c000000000000000840000564010000580100000210c0db01000000000000000000000000000000000000000100000089504e470d0a1a0a0000000d4948445200000011000000190802000000585c52c0000000017352474200aece1ce9000000097048597300000ec400000ec401952b0e1b000000df49444154384f63fcffff3f0389808944f520e5a37ae8180613ad1961207d3b28f4ef2044200298e0ffffdb13ac80c269db8029020ac022c8020829108b0188c14aac26dc46d682c445d500d5f3ffffb634244d2023705b02d703d604550864e2b304a107a109a8059b25204361e220ff8001c4df1330dd05092210c0d0030d3e4c77ddbe0d0a1c644f22f2828a7718c8a69a7c15d4085151411340cb3f56134a3d096742a689d6d613ef80a33fbe8021cc1bdd4c6c2600dd766cd5d63bdbd3550b18262c44771742c7ed6bc7101c58a8e08c4544b8813501e38e7110973b0054b955f75b348cab0000000049454e44ae42608200000840010824000000180000000210c0db01000000030000000000000000000000000000001b40000040000000340000000100000002000000000000bf000000bf000088410000c84103000000000000b3000000b3ffff8741000000b3000000b3ffffc7412100000008000000620000000c00000001000000150000000c00000004000000150000000c0000000400000051000000d4020000000000000000000010000000180000000000000000000000000000000000000011000000190000005000000090000000e0000000f4010000000000002000cc00110000001900000028000000110000001900000001000800000000000000000000000000000000001a0000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb6660090660000903a0000ffffdb00dbdbdb0000003a00903a3a003a3a9000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000020003040101010101010107000000000e010000020e0f141501010101010101010f060101010000190905020e0101010101010101070601010100000101010a181501010101010101070601010100000101010a1712010101010101010706010101000001010107001415010101011601070601010100000101050213021201010101070000060101010000010111001211060101010101010f06010101000001010f03040c1009010101010101010101010000010c0d0e010107060101010101010101010100000107080901010a0b090101010101010101010000050203040101050206010101010101010101000002000003040502000006010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100004c0000006400000000000000000000001000000018000000000000000000000011000000190000002900aa0000000000000000000000803f00000000000000000000803f0000000000000000000000000000000000000000000000000000000000000000220000000c000000ffffffff460000001c00000010000000454d462b024000000c000000000000000e000000140000000000000010000000140000000400000003010800050000000b0200000000050000000c0219001100030000001e00040000000701040004000000070104004f010000410b2000cc001900110000000000190011000000000028000000110000001900000001000800000000000000000000000000000000001a0000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb6660090660000903a0000ffffdb00dbdbdb0000003a00903a3a003a3a9000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000020003040101010101010107000000000e010000020e0f141501010101010101010f060101010000190905020e0101010101010101070601010100000101010a181501010101010101070601010100000101010a1712010101010101010706010101000001010107001415010101011601070601010100000101050213021201010101070000060101010000010111001211060101010101010f06010101000001010f03040c1009010101010101010101010000010c0d0e010107060101010101010101010100000107080901010a0b090101010101010101010000050203040101050206010101010101010101000002000003040502000006010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000c00000040092900aa000000000000001900110000000000040000002701ffff030000000000 ,Y3 QUOTE 010009000003c204000000003e03000000003e03000026060f007206574d464301000000000001004b400000000001000000500600000000000050060000010000006c000000000000000000000010000000180000000000000000000000bc0100008e02000020454d4600000100500600000c00000001000000000000000000000000000000900600001a040000b801000013010000000000000000000000000000c0b6060038320400460000002c00000020000000454d462b014001001c000000100000000210c0db01000000600000006000000046000000180200000c020000454d462b224004000c000000000000001e4009000c00000000000000244001000c000000000000003040020010000000040000000000803f214007000c000000000000000840000564010000580100000210c0db01000000000000000000000000000000000000000100000089504e470d0a1a0a0000000d4948445200000011000000190802000000585c52c0000000017352474200aece1ce9000000097048597300000ec400000ec401952b0e1b000000df49444154384f63fcffff3f0389808944f520e5a37ae8180613ad1961207d3b28f4ef2044200298e0ffffdb13ac80c269db8029020ac022c8020829108b0188c14aac26dc46d682c445d500d5f3ffffb634244d2023705b02d703d604550864e2b304a107a109a8059b25204361e220ff8001c4df1330dd05092210c0d0030d3e4c77ddbe0d0a1c644f22f2828a7718c8a69a7c15d4085151411340cb3f56134a3d096742a689d6d613ef80a33fbe8021cc1bdd4c6c2600dd766cd5d63bdbd3550b18262c44771742c7ed6bc7101c58a8e08c4544b8813501e38e7110973b0054b955f75b348cab0000000049454e44ae42608200000840010824000000180000000210c0db01000000030000000000000000000000000000001b40000040000000340000000100000002000000000000bf000000bf000088410000c84103000000000000b3000000b3ffff8741000000b3000000b3ffffc7412100000008000000620000000c00000001000000150000000c00000004000000150000000c0000000400000051000000d4020000000000000000000010000000180000000000000000000000000000000000000011000000190000005000000090000000e0000000f4010000000000002000cc00110000001900000028000000110000001900000001000800000000000000000000000000000000001a0000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb6660090660000903a0000ffffdb00dbdbdb0000003a00903a3a003a3a9000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000020003040101010101010107000000000e010000020e0f141501010101010101010f060101010000190905020e0101010101010101070601010100000101010a181501010101010101070601010100000101010a1712010101010101010706010101000001010107001415010101011601070601010100000101050213021201010101070000060101010000010111001211060101010101010f06010101000001010f03040c1009010101010101010101010000010c0d0e010107060101010101010101010100000107080901010a0b090101010101010101010000050203040101050206010101010101010101000002000003040502000006010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100004c0000006400000000000000000000001000000018000000000000000000000011000000190000002900aa0000000000000000000000803f00000000000000000000803f0000000000000000000000000000000000000000000000000000000000000000220000000c000000ffffffff460000001c00000010000000454d462b024000000c000000000000000e000000140000000000000010000000140000000400000003010800050000000b0200000000050000000c0219001100030000001e00040000000701040004000000070104004f010000410b2000cc001900110000000000190011000000000028000000110000001900000001000800000000000000000000000000000000001a0000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb6660090660000903a0000ffffdb00dbdbdb0000003a00903a3a003a3a9000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000020003040101010101010107000000000e010000020e0f141501010101010101010f060101010000190905020e0101010101010101070601010100000101010a181501010101010101070601010100000101010a1712010101010101010706010101000001010107001415010101011601070601010100000101050213021201010101070000060101010000010111001211060101010101010f06010101000001010f03040c1009010101010101010101010000010c0d0e010107060101010101010101010100000107080901010a0b090101010101010101010000050203040101050206010101010101010101000002000003040502000006010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000c00000040092900aa000000000000001900110000000000040000002701ffff030000000000 ,Y4 получаются путем возведения QUOTE 010009000003c204000000003e03000000003e03000026060f007206574d464301000000000001004b400000000001000000500600000000000050060000010000006c000000000000000000000010000000180000000000000000000000bc0100008e02000020454d4600000100500600000c00000001000000000000000000000000000000900600001a040000b801000013010000000000000000000000000000c0b6060038320400460000002c00000020000000454d462b014001001c000000100000000210c0db01000000600000006000000046000000180200000c020000454d462b224004000c000000000000001e4009000c00000000000000244001000c000000000000003040020010000000040000000000803f214007000c000000000000000840000564010000580100000210c0db01000000000000000000000000000000000000000100000089504e470d0a1a0a0000000d4948445200000011000000190802000000585c52c0000000017352474200aece1ce9000000097048597300000ec400000ec401952b0e1b000000df49444154384f63fcffff3f0389808944f520e5a37ae8180613ad1961207d3b28f4ef2044200298e0ffffdb13ac80c269db8029020ac022c8020829108b0188c14aac26dc46d682c445d500d5f3ffffb634244d2023705b02d703d604550864e2b304a107a109a8059b25204361e220ff8001c4df1330dd05092210c0d0030d3e4c77ddbe0d0a1c644f22f2828a7718c8a69a7c15d4085151411340cb3f56134a3d096742a689d6d613ef80a33fbe8021cc1bdd4c6c2600dd766cd5d63bdbd3550b18262c44771742c7ed6bc7101c58a8e08c4544b8813501e38e7110973b0054b955f75b348cab0000000049454e44ae42608200000840010824000000180000000210c0db01000000030000000000000000000000000000001b40000040000000340000000100000002000000000000bf000000bf000088410000c84103000000000000b3000000b3ffff8741000000b3000000b3ffffc7412100000008000000620000000c00000001000000150000000c00000004000000150000000c0000000400000051000000d4020000000000000000000010000000180000000000000000000000000000000000000011000000190000005000000090000000e0000000f4010000000000002000cc00110000001900000028000000110000001900000001000800000000000000000000000000000000001a0000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb6660090660000903a0000ffffdb00dbdbdb0000003a00903a3a003a3a9000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000020003040101010101010107000000000e010000020e0f141501010101010101010f060101010000190905020e0101010101010101070601010100000101010a181501010101010101070601010100000101010a1712010101010101010706010101000001010107001415010101011601070601010100000101050213021201010101070000060101010000010111001211060101010101010f06010101000001010f03040c1009010101010101010101010000010c0d0e010107060101010101010101010100000107080901010a0b090101010101010101010000050203040101050206010101010101010101000002000003040502000006010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100004c0000006400000000000000000000001000000018000000000000000000000011000000190000002900aa0000000000000000000000803f00000000000000000000803f0000000000000000000000000000000000000000000000000000000000000000220000000c000000ffffffff460000001c00000010000000454d462b024000000c000000000000000e000000140000000000000010000000140000000400000003010800050000000b0200000000050000000c0219001100030000001e00040000000701040004000000070104004f010000410b2000cc001900110000000000190011000000000028000000110000001900000001000800000000000000000000000000000000001a0000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb6660090660000903a0000ffffdb00dbdbdb0000003a00903a3a003a3a9000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000020003040101010101010107000000000e010000020e0f141501010101010101010f060101010000190905020e0101010101010101070601010100000101010a181501010101010101070601010100000101010a1712010101010101010706010101000001010107001415010101011601070601010100000101050213021201010101070000060101010000010111001211060101010101010f06010101000001010f03040c1009010101010101010101010000010c0d0e010107060101010101010101010100000107080901010a0b090101010101010101010000050203040101050206010101010101010101000002000003040502000006010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000c00000040092900aa000000000000001900110000000000040000002701ffff030000000000 1 в степени 2, 3, 4 и удалением в дроби всех нулей между запятой и первой значимой цифрой.

Y2 = 0,444374

Y3 = 0,93675

010009000003c604000000003c03000000003c03000026060f006e06574d46430100000000000100908500000000010000004c060000000000004c060000010000006c000000000000000000000011000000180000000000000000000000d60100008e02000020454d46000001004c0600000c00000001000000000000000000000000000000900600001a040000b801000013010000000000000000000000000000c0b6060038320400460000002c00000020000000454d462b014001001c000000100000000210c0db0100000060000000600000004600000008020000fc010000454d462b224004000c000000000000001e4009000c00000000000000244001000c000000000000003040020010000000040000000000803f214007000c000000000000000840000554010000480100000210c0db01000000000000000000000000000000000000000100000089504e470d0a1a0a0000000d4948445200000012000000190802000000b36be9c3000000017352474200aece1ce9000000097048597300000ec400000ec401952b0e1b000000cf49444154384fed94cb0dc3200c40a163d109da41c804dd038e5d840c1376a1b6f91817d228974a95ea4b88f1f35fe894923a2f97f308127f6ce8db975be2afbacab262329135593195943667e0c606d89722a4e9157c554e0abe6465dcd653ddefc0e03e9232d88e432f1f43358cb8620bc783508c3107d43494ac3727590bb46e27418040d861c34a43a7090264832899b1cc4d122c690b4c2e97718fdbdb74d7e5aec2b369a35f7c0413489a2686cec60ee65510424680a1b518dc6cbed96f2b0131928301d7b0c54cffc2cbf502dbb7deff7400c5c50000000049454e44ae42608200000840010824000000180000000210c0db01000000030000000000000000000000000000001b40000040000000340000000100000002000000000000bf000000bf000090410000c84103000000000080b3000080b3ffff8f41000080b3000080b3ffffc7412100000008000000620000000c00000001000000150000000c00000004000000150000000c0000000400000051000000e002000000000000000000001100000018000000000000000000000000000000000000001200000019000000500000009c000000ec000000f4010000000000002000cc00120000001900000028000000120000001900000001000800000000000000000000000000000000001d0000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb6660000003a00906600003a3a9000003a3a00903a0000ffffdb00dbb66600903a3a0066006600906690000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000200030401010101010101010107000304010000020e0f1718010101010101010105021201010000150905020e0101010101070000000000171800000101010a1a18010101010c1b040502191c1800000101010a1312010101010111060502120101000001010107001718010101010107190212010100000101050214021201010101010515161201010000010111001211060101010101010a13120101000001010f03040c1009010101010101010101010000010c0d0e010107060101010101010101010100000107080901010a0b090101010101010101010000050203040101050206010101010101010101000002000003040502000006010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100004c0000006400000000000000000000001100000018000000000000000000000012000000190000002900aa0000000000000000000000803f00000000000000000000803f0000000000000000000000000000000000000000000000000000000000000000220000000c000000ffffffff460000001c00000010000000454d462b024000000c000000000000000e000000140000000000000010000000140000000400000003010800050000000b0200000000050000000c0219001200030000001e000400000007010400040000000701040055010000410b2000cc001900120000000000190012000000000028000000120000001900000001000800000000000000000000000000000000001d0000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb6660000003a00906600003a3a9000003a3a00903a0000ffffdb00dbb66600903a3a0066006600906690000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000200030401010101010101010107000304010000020e0f1718010101010101010105021201010000150905020e0101010101070000000000171800000101010a1a18010101010c1b040502191c1800000101010a1312010101010111060502120101000001010107001718010101010107190212010100000101050214021201010101010515161201010000010111001211060101010101010a13120101000001010f03040c1009010101010101010101010000010c0d0e010107060101010101010101010100000107080901010a0b090101010101010101010000050203040101050206010101010101010101000002000003040502000006010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000c00000040092900aa000000000000001900120000000000040000002701ffff030000000000 Y4 = 0,19747

Для получения значений входных и выходных сигналов автомата необходимо полученные десятичные дроби преобразовать в двоичный код до шестнадцатого знака.

В результате преобразований получены следующие значения заданных сигналов.

Y1 = 0011010111110111

010009000003ac04000000002a03000000002a03000026060f004a06574d4643010000000000010082a50000000001000000280600000000000028060000010000006c000000000000000000000011000000180000000000000000000000d60100008e02000020454d4600000100280600000c00000001000000000000000000000000000000900600001a040000b801000013010000000000000000000000000000c0b6060038320400460000002c00000020000000454d462b014001001c000000100000000210c0db01000000600000006000000046000000f4010000e8010000454d462b224004000c000000000000001e4009000c00000000000000244001000c000000000000003040020010000000040000000000803f214007000c000000000000000840000540010000340100000210c0db01000000000000000000000000000000000000000100000089504e470d0a1a0a0000000d4948445200000012000000190802000000b36be9c3000000017352474200aece1ce9000000097048597300000ec400000ec401952b0e1b000000bd49444154384fed94db0dc3200c45a16325fbd075e83274986417d72fb0818a2a3f952ad53f496c0ebebea0440008d7e3761d21e28f4dbe7dd992c71e6bdc9f24e6b48c24de06c09137aca482f74583333e61257d0bf8e4555b3e3ce53e2786ee23274b721cedb26cd530e6742dbe7e68659871488dad784f895a129175c0942781aeb91ba5616ae84a200dadfa0d136ee105d6dbd03db6f0a29f39d42d9c82e9a0e623418cf476073760be4f493205619db5632be7be5b177fe1cff50218aa09d6ca8b16d10000000049454e44ae4260820840010824000000180000000210c0db01000000030000000000000000000000000000001b40000040000000340000000100000002000000000000bf000000bf000090410000c84103000000000080b3000080b3ffff8f41000080b3000080b3ffffc7412100000008000000620000000c00000001000000150000000c00000004000000150000000c0000000400000051000000d002000000000000000000001100000018000000000000000000000000000000000000001200000019000000500000008c000000dc000000f4010000000000002000cc0012000000190000002800000012000000190000000100080000000000000000000000000000000000190000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb6660090660000903a0000ffffdb0000003a00903a3a003a3a9000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000020003040101010101010c0d0000000012010000020e0f1415010101010101110601011112010000180905020e0101010101010107060101010100000101010a171501010101010101110601010100000101010a16120101010101010101070e0101000001010107001415010101010101010a0b09010000010105021302120101010c10090111080901000001011100121106010101010c0d0000060101000001010f03040c1009010101010101010101010000010c0d0e010107060101010101010101010100000107080901010a0b090101010101010101010000050203040101050206010101010101010101000002000003040502000006010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100004c0000006400000000000000000000001100000018000000000000000000000012000000190000002900aa0000000000000000000000803f00000000000000000000803f0000000000000000000000000000000000000000000000000000000000000000220000000c000000ffffffff460000001c00000010000000454d462b024000000c000000000000000e000000140000000000000010000000140000000400000003010800050000000b0200000000050000000c0219001200030000001e00040000000701040004000000070104004d010000410b2000cc00190012000000000019001200000000002800000012000000190000000100080000000000000000000000000000000000190000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb6660090660000903a0000ffffdb0000003a00903a3a003a3a9000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000020003040101010101010c0d0000000012010000020e0f1415010101010101110601011112010000180905020e0101010101010107060101010100000101010a171501010101010101110601010100000101010a16120101010101010101070e0101000001010107001415010101010101010a0b09010000010105021302120101010c10090111080901000001011100121106010101010c0d0000060101000001010f03040c1009010101010101010101010000010c0d0e010107060101010101010101010100000107080901010a0b090101010101010101010000050203040101050206010101010101010101000002000003040502000006010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000c00000040092900aa000000000000001900120000000000040000002701ffff030000000000 Y2 = 0111000111000010

Y30100090000032205000000006e03000000006e03000026060f00d206574d4643010000000000010023430000000001000000b006000000000000b0060000010000006c0000000000000000000000150000001800000000000000000000003f0200008e02000020454d4600000100b00600000c00000001000000000000000000000000000000900600001a040000b801000013010000000000000000000000000000c0b6060038320400460000002c00000020000000454d462b014001001c000000100000000210c0db01000000600000006000000046000000180200000c020000454d462b224004000c000000000000001e4009000c00000000000000244001000c000000000000003040020010000000040000000000803f214007000c000000000000000840000564010000580100000210c0db01000000000000000000000000000000000000000100000089504e470d0a1a0a0000000d4948445200000016000000190802000000ba8049b9000000017352474200aece1ce9000000097048597300000ec400000ec401952b0e1b000000de49444154384fed94cd118320108521b5c426b0823402c778491f5842aeb9473ab009e9852c7f2e8c80c97873b2275cd9cfb78f456a8c21c7e272acdc56ff11e8e179bc187b1a4328dba0c68c4fec86318b64b08b4f30a7215c264de0abc28a40ce5530b9a484e4b1596fef87db30f18461895f4b58118e11ea60f9830444200308b9046f958f22db37120de172d304106261d62e3ab422c2c1b49ab07a0a3a10e119751fab2ee77784c9c7ad30494ac0f475c35c19b2d86a45653a141599a0627ebdb512dd40e4f37edd7c0814f4a36e0e793cb2aa09bb874acff207ff00578636f2a405e9580000000049454e44ae4260820000000840010824000000180000000210c0db01000000030000000000000000000000000000001b40000040000000340000000100000002000000000000bf000000bf0000b0410000c84103000000000000b3000000b3ffffaf41000000b3000000b3ffffc7412100000008000000620000000c00000001000000150000000c00000004000000150000000c00000004000000510000003403000000000000000000001500000018000000000000000000000000000000000000001600000019000000500000008c000000dc00000058020000000000002000cc0016000000190000002800000016000000190000000100080000000000000000000000000000000000190000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb66600906600003a3a9000903a0000ffffdb0000003a00903a3a000101010101010101010101010101010101010101010100000101010101010101010101010101010101010101010100000101010101010101010101010101010101010101010100000200030401010101010101070000000e0101010101010000020e0f151601010101010c1009010a171201010101010000140905020e0101010101010101010a1712010101010100000101010a18160101010101010f00001201010101010100000101010a171201010101010101050212010101010101000001010107001516010101010101010a0b09010101010100000101050213021201010105140901110809010101010100000101110012110601010101070000000e010101010101000001010f03040c100901010101010101010101010101010000010c0d0e01010706010101010101010101010101010100000107080901010a0b090101010101010101010101010100000502030401010502060101010101010101010101010100000200000304050200000601010101010101010101010100000101010101010101010101010101010101010101010100000101010101010101010101010101010101010101010100000101010101010101010101010101010101010101010100000101010101010101010101010101010101010101010100000101010101010101010101010101010101010101010100000101010101010101010101010101010101010101010100000101010101010101010101010101010101010101010100000101010101010101010101010101010101010101010100000101010101010101010101010101010101010101010100004c0000006400000000000000000000001500000018000000000000000000000016000000190000002900aa0000000000000000000000803f00000000000000000000803f0000000000000000000000000000000000000000000000000000000000000000220000000c000000ffffffff460000001c00000010000000454d462b024000000c000000000000000e000000140000000000000010000000140000000400000003010800050000000b0200000000050000000c0219001600030000001e00040000000701040004000000070104007f010000410b2000cc00190016000000000019001600000000002800000016000000190000000100080000000000000000000000000000000000190000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb66600906600003a3a9000903a0000ffffdb0000003a00903a3a000101010101010101010101010101010101010101010100000101010101010101010101010101010101010101010100000101010101010101010101010101010101010101010100000200030401010101010101070000000e0101010101010000020e0f151601010101010c1009010a171201010101010000140905020e0101010101010101010a1712010101010100000101010a18160101010101010f00001201010101010100000101010a171201010101010101050212010101010101000001010107001516010101010101010a0b09010101010100000101050213021201010105140901110809010101010100000101110012110601010101070000000e010101010101000001010f03040c100901010101010101010101010101010000010c0d0e01010706010101010101010101010101010100000107080901010a0b090101010101010101010101010100000502030401010502060101010101010101010101010100000200000304050200000601010101010101010101010100000101010101010101010101010101010101010101010100000101010101010101010101010101010101010101010100000101010101010101010101010101010101010101010100000101010101010101010101010101010101010101010100000101010101010101010101010101010101010101010100000101010101010101010101010101010101010101010100000101010101010101010101010101010101010101010100000101010101010101010101010101010101010101010100000101010101010101010101010101010101010101010100000c00000040092900aa000000000000001900160000000000040000002701ffff030000000000 = 1110111111001110

Y4 = 0011001010001101

Полученные значения записываются в столбцах: первые 8 значений в левой части, вторые 8 – в правой части. Алфавитный оператор соответствия представлен в таблице 1.

Таблица 1. Алфавитный оператор соответствия

Входные сигналы

Выходные сигналы

0010

1111

0110

1110

1111

1000

1101

1000

0010

0011

1010

1011

0011

1110

1110

1001

1.2 Приведение оператора к автоматному виду

Для того чтобы оператор преобразовался к автоматному виду, необходимо выполнение трех условий:

1. Любым двум одинаковым начальным отрезкам входных слов должны соответствовать одинаковые начальные отрезки выходных слов;

2. Длина входного слова должна равняться длине выходного слова;

3. Последний символ должен возвращать автомат в начальное состояние.

Данный оператор уже выровнен, так как длина каждого из входных слов равна длине соответствующего выходного слова. Каждому входному слову здесь сопоставляются не более одного выходного слова, поэтому оператор однозначен. Однако он не удовлетворяет условию полноты.

Таким образом, автоматный вид оператора примет, следующий вид:

Таблица 2. Автоматный вид

Входные сигналы

Выходные сигналы

0010

1111

0110

1110

1111

1000

1101

1000

00100000

11110011

1010

1011

0011

1110

1110

1001

1.3 Построение графа переходов абстрактного автомата

Построим по таблице 2 граф переходов автомата. При этом предполагается, что последний символ каждого входного слова должен переводит автомат в начальное состояние.

Граф переходов абстрактного автомата представлен в приложении 1.

1.4 Минимизация абстрактного автомата

По графу переходов построим таблицу переходов-выходов заданного автомата (таблица 3).

Таблица 3. Таблица переходов-выходов автомата

a(t-1)

0

1

a>0>

a>1>/1

a>2>/1

a>1>

a>3>/1

a>4>/1

a>2>

a>10>/0

a>11>/0

a>3>

-

a>5>/1

a>4>

-

a>6>/1

a>5>

a>8>/1

a>9>/0

a>6>

a>8>/0

-

a>7>

a>0>/-

a>0>/-

a>8>

a>0>/-

a>0>/-

a>9>

a>0>/-

a>0>/-

a>10>

-

a>12>/1

a>11>

a>14>/0

a>15>/0

a>12>

a>13>/1

-

a>13>

a>0>/-

a>0>/-

a>14>

-

a>16>/0

a>15>

a>17>/1

a>18>/0

a>16>

a>0>/-

a>0>/-

a>17>

a>0>/-

a>0>/-

a>18>

a>0>/-

a>0>/-

Один из алгоритмов минимизации полностью определенных автоматов заключается в следующем. Множество состояний исходного абстрактного автомата разбивается на попарно пересекающиеся классы эквивалентных состояний, далее каждый класс эквивалентности заменяется одним состоянием. В результате получается минимальный автомат, имеющий столько же состояний, на сколько классов эквивалентности разбиваются исходные состояния автомата.

0 класс эквивалентности:

a>0,> a>1>

b>0>

a>2, >a>11>

b>1>

a>14>

b>2>

a>3, >a>4, >a>10>

b>3>

a>5, >a>15>

b>4>

a>6>

b>5>

a>7, >a>8, >a>9, >a>13, >a>16, >a>17, >a>18>

b>6>

a>12>

b>7>

1 класс эквивалентности:

a>0>

c>0>

a>1>

c>1>

a>2>

c>2>

a>3>

c>3>

a>4>

c>4>

a>5, >a>15>

c>5>

a>6>

c>6>

a>10>

c>7>

a>11>

c>8>

a>12>

c>9>

a>14>

c>10>

a>7, >a>8, >a>9, >a>13, >a>16, >a>17, >a>18>

c>11>

2 класс эквивалентности:

a>0>

d>0>

a>1>

d>1>

a>2>

d>2>

a>3>

d>3>

a>4>

d>4>

a>5, >a>15>

d>5>

a>6>

d>6>

a>10>

d>7>

a>11>

d>8>

a>12>

d>9>

a>14>

d>10>

a>7, >a>8, >a>9, >a>13, >a>16, >a>17, >a>18>

d>11>

Из разбиения видно, что классы 1 и 2 совпадают, значит, продолжать не имеет смысла.

Таблица переходов-выходов минимизированного автомата представлена в таблице 4:

Таблица 4. Таблица переходов-выходов минимизированного автомата

d(t-1)

0

1

d>0>

d>1>/1

d>2>/1

d>1>

d>3>/1

d>4>/1

d>2>

d>7>/0

d>8>/0

d>3>

-

d>5>/1

d>4>

-

d>6>/1

d>5>

d>11>/1

d>11>/0

d>6>

d>11>/0

-

d>7>

-

d>9>/1

d>8>

d>10>/0

d>5>/0

d>9>

d>11>/1

-

d>10>

-

d>11>/0

d>11>

d>0>/-

d>0>/-

Граф переходов минимизированного автомата представлен в приложении 2.

2. СТРУКТУРНЫЙ СИНТЕЗ КОНЕЧНОГО АВТОМАТА

2.1 Кодирование состояний, входных и выходных сигналов

Для кодирования состояний, входных и выходных сигналов конечного автомата, необходимо вычислить число элементов памяти:

а) рассчитаем число элементов памяти: Н = ] log>2>h [, где h - число состояний после минимизации D = {010009000003ba0900000000ee0500000000ee05000026060f00d20b574d46430100000000000100ae060000000001000000b00b000000000000b00b0000010000006c00000000000000000000004b000000150000000000000000000000c50700003f02000020454d4600000100b00b00000c00000001000000000000000000000000000000900600001a040000b801000013010000000000000000000000000000c0b6060038320400460000002c00000020000000454d462b014001001c000000100000000210c0db01000000600000006000000046000000e8020000dc020000454d462b224004000c000000000000001e4009000c00000000000000244001000c000000000000003040020010000000040000000000803f214007000c000000000000000840000534020000280200000210c0db01000000000000000000000000000000000000000100000089504e470d0a1a0a0000000d494844520000004c000000160802000000e5e0eded000000017352474200aece1ce9000000097048597300000ec400000ec401952b0e1b000001b1494441545847ed58317283301084bc055278fc02fc0248e32aad3b28c303f20828e109ae68023fe0051917117f2177020909318e0644c210abf170231dbbdabb95b0ddb6adb5f7f1b47782c8ef41722f2aab4a56914dc7296d364472112a95a49fb524f136c48f425984ead1935b93732e1eae242b7a6cc7cb756e3ad3ebcca0a2249bf464077958c2c5004779ac6bd36867e433880a49850081538400351e2f213de9bff931880a94ac8a1c281ddc199bbde21293a81eee3a0885fdb1c53b02d421dc5da24a2d29310e4aba07e8c0fa468689e4261b4f935ee223b5259258f1e557ae423aa870e303e83579748248716aa7e83cdc68e893683c1860be849e245a92620f3c1f5bd25d9fd81af989d9f9d8f93a93bf8faa25049d11138aa60911254e7bd2cf606a1dbb5d4116678a049f791d705f729e8fb2eaeb79cf4fa81cc7997cf9445ce37c802d1dc41365edb77bf1618339e7265195ec1889714d77e52ddb7c7d8ac70d1a7df8fe36bda5ba221b4972ef653a24fd7368e50575b0e6e35a7baf2f3da92a0aacb2cd7c5d3693f31626199b247b8714d72857660274bddce47aabd79935fa20e4f5aec6edfff047d637e2388a6483708a080000000049454e44ae4260820840010824000000180000000210c0db01000000030000000000000000000000000000001b40000040000000340000000100000002000000000000bf000000bf000098420000b04103000000000000b3000000b3ffff9742000000b3000000b3ffffaf412100000008000000620000000c00000001000000150000000c00000004000000150000000c00000004000000510000006407000000000000000000004b00000015000000000000000000000000000000000000004c00000016000000500000008c000000dc00000088060000000000002000cc004c00000016000000280000004c000000160000000100080000000000000000000000000000000000190000000000000000000000ffffff00b6ffff0000006600903a0000ffffdb00dbffff00003a90003a000000003a3a0090dbff0000003a00b666000066b6ff000066b60066000000ffffb600db903a003a90db003a003a00ffdb9000ffb66600dbdbdb00dbb666003a00660001010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101020300001501010101010101010101010101010101010101010101010101010101010101010101010101010101010101010112000000001101011200000000110101010101010101010101010e0c010a131401010e150101010101010101010101010101010101010101010e15010101010101010101010101010101010101010e0c0101010101010e0c010101010101010101010101010203150106071101010203150101010101010101010101010101010101010101020315010101010101010101010101010101010101120c010101010101120c0101010101010101010101010102181401010e0c0101010e040501010101010101010101010101010101010101010e04050101010101010101010101010101010101120c010101010101120c01010101120000001707000f1002181401010e0c0101010e0f10010101010e0015010a0b040501120011010101010e0f100101010101120000001707000f10010101120c010101010101120c0101010d001101010e00040501020315010607110101010e0f10010101010e0015010a0b040501120011010101010e0f10010101010d001101010e00040501011601120c010101011601120c010106070f100101020304050101120c010a1314010101010101010101010101010101010101010101010101010101010101010106070f1001010203040501011200000c010101011200000c0101020304050101060704050101060700001101010101010101010101010101010101010101010101010101010101010101010102030405010106070405010101010e0c0101010101010e0c01010203040501010607040501010101010101010101010101010101010101010101010101010101010101010101010101010101020304050101060704050101010101010101010101010101010102030405010106070405010101010101010101010101010101010101010101010101010101010101010101010101010101010203040501010607040501010101010101010101010101010101010e0f1001010607040501010101010101010101010101010101010101010101010101010101010101010101010101010101010e0f1001010607040501010101010101010101010101010101010a0b0c01010d00040501010101010101010101010101010101010101010101010101010101010101010101010101010101010a0b0c01010d000405010101010101010101010101010101010101020300000809040501010101010101010101010101010101010101010101010101010101010101010101010101010101010102030000080904050101010101010101010101010101010101010101010106070405010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010607040501010101010101010101010101010101010101010101060704050101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010106070405010101010101010101010101010101010101010101010607040501010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101060704050101010101010101010101010101010101010101010203000405010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101020300040501010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101014c0000006400000000000000000000004b0000001500000000000000000000004c000000160000002900aa0000000000000000000000803f00000000000000000000803f0000000000000000000000000000000000000000000000000000000000000000220000000c000000ffffffff460000001c00000010000000454d462b024000000c000000000000000e000000140000000000000010000000140000000400000003010800050000000b0200000000050000000c0216004c00030000001e000400000007010400040000000701040097030000410b2000cc0016004c000000000016004c0000000000280000004c000000160000000100080000000000000000000000000000000000190000000000000000000000ffffff00b6ffff0000006600903a0000ffffdb00dbffff00003a90003a000000003a3a0090dbff0000003a00b666000066b6ff000066b60066000000ffffb600db903a003a90db003a003a00ffdb9000ffb66600dbdbdb00dbb666003a00660001010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101020300001501010101010101010101010101010101010101010101010101010101010101010101010101010101010101010112000000001101011200000000110101010101010101010101010e0c010a131401010e150101010101010101010101010101010101010101010e15010101010101010101010101010101010101010e0c0101010101010e0c010101010101010101010101010203150106071101010203150101010101010101010101010101010101010101020315010101010101010101010101010101010101120c010101010101120c0101010101010101010101010102181401010e0c0101010e040501010101010101010101010101010101010101010e04050101010101010101010101010101010101120c010101010101120c01010101120000001707000f1002181401010e0c0101010e0f10010101010e0015010a0b040501120011010101010e0f100101010101120000001707000f10010101120c010101010101120c0101010d001101010e00040501020315010607110101010e0f10010101010e0015010a0b040501120011010101010e0f10010101010d001101010e00040501011601120c010101011601120c010106070f100101020304050101120c010a1314010101010101010101010101010101010101010101010101010101010101010106070f1001010203040501011200000c010101011200000c0101020304050101060704050101060700001101010101010101010101010101010101010101010101010101010101010101010102030405010106070405010101010e0c0101010101010e0c01010203040501010607040501010101010101010101010101010101010101010101010101010101010101010101010101010101020304050101060704050101010101010101010101010101010102030405010106070405010101010101010101010101010101010101010101010101010101010101010101010101010101010203040501010607040501010101010101010101010101010101010e0f1001010607040501010101010101010101010101010101010101010101010101010101010101010101010101010101010e0f1001010607040501010101010101010101010101010101010a0b0c01010d00040501010101010101010101010101010101010101010101010101010101010101010101010101010101010a0b0c01010d000405010101010101010101010101010101010101020300000809040501010101010101010101010101010101010101010101010101010101010101010101010101010101010102030000080904050101010101010101010101010101010101010101010106070405010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010607040501010101010101010101010101010101010101010101060704050101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010106070405010101010101010101010101010101010101010101010607040501010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101060704050101010101010101010101010101010101010101010203000405010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101020300040501010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010101010c00000040092900aa0000000000000016004c0000000000040000002701ffff030000000000}

H = ] log>2> 12 [ = 4

б) рассчитаем число входных (L) и выходных (М) шин:
L = ] log>2>n[

М =] log>2>m [,

где n, m - число букв входного и выходного алфавитов

Z = {0, 1} L = ] log>2> 2 [ = 1

W = {0, 1} M = ] log>2> 2 [ = 1

Из приведённого выше следует, что для кодирования состояний необходимо 4 элемента памяти, обозначим их Q>0>, …, Q>3>. Закодируем состояния (таблица 5) случайными кодами.

Таблица 5. Таблица кодированных состояний

d(t-1)

Q>0>

Q>1>

Q>2>

Q>3>

d>0>

0

0

0

0

d>1>

0

0

0

1

d>2>

0

0

1

0

d>3>

0

0

1

1

d>4>

0

1

0

0

d>5>

0

1

0

1

d>6>

0

1

1

0

d>7>

0

1

1

1

d>8>

1

0

0

0

d>9>

1

0

0

1

d>10>

1

0

1

0

d>11>

1

0

1

1

2.2 Формирование функций возбуждения и выходных сигналов структурного автомата

По минимизированному графу переходов абстрактного автомата (Приложение 2) можно составить таблицу переходов, выходных сигналов и сигналов возбуждения D-триггеров автомата Мили (таблица 6), Т-триггеров автомата Мили (таблица 7), RS-триггеров (таблица 8), JK-триггеров (таблица 9).

D-триггер – элемент задержки – имеет один информационный вход D и один выход Q и осуществляет задержку поступившего на его вход сигнала на один такт. Состояние, в которое переходит триггер, совпадает с поступившим на его вход сигналом D(t).

Таблица 6. Таблица переходов, выходных сигналов и сигналов возбуждения D-триггеров

Номер перехода

Исходное состояние

Код исходного состояния

Следующее состояние

Код следующего состояния

Входной набор

Выходные сигналы

Сигналы возбуждения

0

1

D>3>

D>2>

D>1>

D>0>

1

d>0>

0000

d>1>

d>2>

0001

0010

0

1

d>0>0

d>0>1

d>0>1

d>0>0

2

d>1>

0001

d>3>

d>4>

0011

0100

0

1

d>1>0

d>1>1

d>1>1

d>1>0

d>1>0

3

d>2>

0010

d>7>

d>8>

0111

1000

0

1

d>2>0

d>2>1

d>2>1

d>2>0

d>2>0

d>2>0

4

d>3>

0011

d>5>

0101

1

d>3>1

d>3>1

d>3>1

5

d>4>

0100

d>6>

0110

1

d>4>1

d>4>1

d>4>1

6

d>5>

0101

d>11>

1011

0Ú1

d>5>0

d>5>1

d>5>0Ú

d>5>1

QUOTE 010009000003c204000000003e03000000003e03000026060f007206574d464301000000000001004b400000000001000000500600000000000050060000010000006c000000000000000000000010000000180000000000000000000000bc0100008e02000020454d4600000100500600000c00000001000000000000000000000000000000900600001a040000b801000013010000000000000000000000000000c0b6060038320400460000002c00000020000000454d462b014001001c000000100000000210c0db01000000600000006000000046000000180200000c020000454d462b224004000c000000000000001e4009000c00000000000000244001000c000000000000003040020010000000040000000000803f214007000c000000000000000840000564010000580100000210c0db01000000000000000000000000000000000000000100000089504e470d0a1a0a0000000d4948445200000011000000190802000000585c52c0000000017352474200aece1ce9000000097048597300000ec400000ec401952b0e1b000000df49444154384f63fcffff3f0389808944f520e5a37ae8180613ad1961207d3b28f4ef2044200298e0ffffdb13ac80c269db8029020ac022c8020829108b0188c14aac26dc46d682c445d500d5f3ffffb634244d2023705b02d703d604550864e2b304a107a109a8059b25204361e220ff8001c4df1330dd05092210c0d0030d3e4c77ddbe0d0a1c644f22f2828a7718c8a69a7c15d4085151411340cb3f56134a3d096742a689d6d613ef80a33fbe8021cc1bdd4c6c2600dd766cd5d63bdbd3550b18262c44771742c7ed6bc7101c58a8e08c4544b8813501e38e7110973b0054b955f75b348cab0000000049454e44ae42608200000840010824000000180000000210c0db01000000030000000000000000000000000000001b40000040000000340000000100000002000000000000bf000000bf000088410000c84103000000000000b3000000b3ffff8741000000b3000000b3ffffc7412100000008000000620000000c00000001000000150000000c00000004000000150000000c0000000400000051000000d4020000000000000000000010000000180000000000000000000000000000000000000011000000190000005000000090000000e0000000f4010000000000002000cc00110000001900000028000000110000001900000001000800000000000000000000000000000000001a0000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb6660090660000903a0000ffffdb00dbdbdb0000003a00903a3a003a3a9000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000020003040101010101010107000000000e010000020e0f141501010101010101010f060101010000190905020e0101010101010101070601010100000101010a181501010101010101070601010100000101010a1712010101010101010706010101000001010107001415010101011601070601010100000101050213021201010101070000060101010000010111001211060101010101010f06010101000001010f03040c1009010101010101010101010000010c0d0e010107060101010101010101010100000107080901010a0b090101010101010101010000050203040101050206010101010101010101000002000003040502000006010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100004c0000006400000000000000000000001000000018000000000000000000000011000000190000002900aa0000000000000000000000803f00000000000000000000803f0000000000000000000000000000000000000000000000000000000000000000220000000c000000ffffffff460000001c00000010000000454d462b024000000c000000000000000e000000140000000000000010000000140000000400000003010800050000000b0200000000050000000c0219001100030000001e00040000000701040004000000070104004f010000410b2000cc001900110000000000190011000000000028000000110000001900000001000800000000000000000000000000000000001a0000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb6660090660000903a0000ffffdb00dbdbdb0000003a00903a3a003a3a9000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000020003040101010101010107000000000e010000020e0f141501010101010101010f060101010000190905020e0101010101010101070601010100000101010a181501010101010101070601010100000101010a1712010101010101010706010101000001010107001415010101011601070601010100000101050213021201010101070000060101010000010111001211060101010101010f06010101000001010f03040c1009010101010101010101010000010c0d0e010107060101010101010101010100000107080901010a0b090101010101010101010000050203040101050206010101010101010101000002000003040502000006010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000c00000040092900aa000000000000001900110000000000040000002701ffff030000000000

d>5>0

Ú

d>5>1

d>5>0

QUOTE 010009000003c204000000003e03000000003e03000026060f007206574d464301000000000001004b400000000001000000500600000000000050060000010000006c000000000000000000000010000000180000000000000000000000bc0100008e02000020454d4600000100500600000c00000001000000000000000000000000000000900600001a040000b801000013010000000000000000000000000000c0b6060038320400460000002c00000020000000454d462b014001001c000000100000000210c0db01000000600000006000000046000000180200000c020000454d462b224004000c000000000000001e4009000c00000000000000244001000c000000000000003040020010000000040000000000803f214007000c000000000000000840000564010000580100000210c0db01000000000000000000000000000000000000000100000089504e470d0a1a0a0000000d4948445200000011000000190802000000585c52c0000000017352474200aece1ce9000000097048597300000ec400000ec401952b0e1b000000df49444154384f63fcffff3f0389808944f520e5a37ae8180613ad1961207d3b28f4ef2044200298e0ffffdb13ac80c269db8029020ac022c8020829108b0188c14aac26dc46d682c445d500d5f3ffffb634244d2023705b02d703d604550864e2b304a107a109a8059b25204361e220ff8001c4df1330dd05092210c0d0030d3e4c77ddbe0d0a1c644f22f2828a7718c8a69a7c15d4085151411340cb3f56134a3d096742a689d6d613ef80a33fbe8021cc1bdd4c6c2600dd766cd5d63bdbd3550b18262c44771742c7ed6bc7101c58a8e08c4544b8813501e38e7110973b0054b955f75b348cab0000000049454e44ae42608200000840010824000000180000000210c0db01000000030000000000000000000000000000001b40000040000000340000000100000002000000000000bf000000bf000088410000c84103000000000000b3000000b3ffff8741000000b3000000b3ffffc7412100000008000000620000000c00000001000000150000000c00000004000000150000000c0000000400000051000000d4020000000000000000000010000000180000000000000000000000000000000000000011000000190000005000000090000000e0000000f4010000000000002000cc00110000001900000028000000110000001900000001000800000000000000000000000000000000001a0000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb6660090660000903a0000ffffdb00dbdbdb0000003a00903a3a003a3a9000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000020003040101010101010107000000000e010000020e0f141501010101010101010f060101010000190905020e0101010101010101070601010100000101010a181501010101010101070601010100000101010a1712010101010101010706010101000001010107001415010101011601070601010100000101050213021201010101070000060101010000010111001211060101010101010f06010101000001010f03040c1009010101010101010101010000010c0d0e010107060101010101010101010100000107080901010a0b090101010101010101010000050203040101050206010101010101010101000002000003040502000006010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100004c0000006400000000000000000000001000000018000000000000000000000011000000190000002900aa0000000000000000000000803f00000000000000000000803f0000000000000000000000000000000000000000000000000000000000000000220000000c000000ffffffff460000001c00000010000000454d462b024000000c000000000000000e000000140000000000000010000000140000000400000003010800050000000b0200000000050000000c0219001100030000001e00040000000701040004000000070104004f010000410b2000cc001900110000000000190011000000000028000000110000001900000001000800000000000000000000000000000000001a0000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb6660090660000903a0000ffffdb00dbdbdb0000003a00903a3a003a3a9000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000020003040101010101010107000000000e010000020e0f141501010101010101010f060101010000190905020e0101010101010101070601010100000101010a181501010101010101070601010100000101010a1712010101010101010706010101000001010107001415010101011601070601010100000101050213021201010101070000060101010000010111001211060101010101010f06010101000001010f03040c1009010101010101010101010000010c0d0e010107060101010101010101010100000107080901010a0b090101010101010101010000050203040101050206010101010101010101000002000003040502000006010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000c00000040092900aa000000000000001900110000000000040000002701ffff030000000000 Ú
d>5>1

7

d>6>

0110

d>11>

1011

0

d>6>0

d>6>0

d>6>0

d>6>0

8

d>7>

0111

d>9>

1001

1

d>7>1

d>7>1

d>7>1

9

d>8>

1000

d>10>

d>5>

1010

0101

0

1

d>8>0

d>8>1

d>8>0

d>8>1

d>8>0

d>8>1

10

d>9>

1001

d>11>

1011

0

d>9>0

d>9>0

d>9>0

d>9>0

11

d>10>

1010

d>11>

1011

1

d>10>1

d>10>1

d>10>1

d>10>1

12

d>11>

1011

d>0>

0000

-

-

-

-

-

-

-

Из таблицы следует, что выходные сигналы автомата Мили описываются следующими выражениями:

010009000003cc04000000004603000000004603000026060f008206574d46430100000000000100cb360000000001000000600600000000000060060000010000006c000000000000000000000011000000180000000000000000000000d60100008e02000020454d4600000100600600000c00000001000000000000000000000000000000900600001a040000b801000013010000000000000000000000000000c0b6060038320400460000002c00000020000000454d462b014001001c000000100000000210c0db010000006000000060000000460000002402000018020000454d462b224004000c000000000000001e4009000c00000000000000244001000c000000000000003040020010000000040000000000803f214007000c000000000000000840000570010000640100000210c0db01000000000000000000000000000000000000000100000089504e470d0a1a0a0000000d4948445200000012000000190802000000b36be9c3000000017352474200aece1ce9000000097048597300000ec400000ec401952b0e1b000000eb49444154384fed94c10dc2300c451d66010e15139409b831453a011b748070842938251b3041c5a1e92ea176d2c44955a49e1012be348ef362fbc7aa70cec17adbac4790f86333ddbe20896904daf13a4cd5841dd1988577755a82d40e3f408b60a51f03b480ec5cad2cc39897431cb3aa66e9420de5f1c94f4a6ef70780aef7ed9947a72ea70ff39aee4be9c655ec9276c978cda937af0ac6b4cc20ef209e408ef974a3453df1a2c9cb383e25d4dd1dce37de545ded7c8d187dbeac77cae1923a839644619869dacacea09860e83b88a9414b6a74e19d52738524415f3656f913d39091f123e217fe5c6fd8aa6e7ad056f76c0000000049454e44ae42608200000840010824000000180000000210c0db01000000030000000000000000000000000000001b40000040000000340000000100000002000000000000bf000000bf000090410000c84103000000000080b3000080b3ffff8f41000080b3000080b3ffffc7412100000008000000620000000c00000001000000150000000c00000004000000150000000c0000000400000051000000d8020000000000000000000011000000180000000000000000000000000000000000000012000000190000005000000094000000e4000000f4010000000000002000cc00120000001900000028000000120000001900000001000800000000000000000000000000000000001b0000000000000000000000ffffff0066b6ff003a000000ffdb9000ffb66600b6660000b6ffff00000066000066b60066000000ffffb600903a0000ffffdb00db903a003a90db006600660090dbff0000003a00dbffff00663a9000003a90003a003a0066660000b66666003a0066003a66b60001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000015000601010101010101070800000501010100001a04020601010101010109060111160401010000010101020e010101010708050113150e01010000010101010905010101071904010109060101000001010101090a0b010107190401010906010100000101011315171801010708050113150e0101000001010107080e020501010f06011116040101000001010111120513140b01131500000e010101000001010102030401020e01010101010101010100000101010f0a0b0107100b01010101010101010000010101090c0d0101090e010101010101010100000206070806010101090a0b01010101010101000001020003040101020000050101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100004c0000006400000000000000000000001100000018000000000000000000000012000000190000002900aa0000000000000000000000803f00000000000000000000803f0000000000000000000000000000000000000000000000000000000000000000220000000c000000ffffffff460000001c00000010000000454d462b024000000c000000000000000e000000140000000000000010000000140000000400000003010800050000000b0200000000050000000c0219001200030000001e000400000007010400040000000701040051010000410b2000cc001900120000000000190012000000000028000000120000001900000001000800000000000000000000000000000000001b0000000000000000000000ffffff0066b6ff003a000000ffdb9000ffb66600b6660000b6ffff00000066000066b60066000000ffffb600903a0000ffffdb00db903a003a90db006600660090dbff0000003a00dbffff00663a9000003a90003a003a0066660000b66666003a0066003a66b60001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000015000601010101010101070800000501010100001a04020601010101010109060111160401010000010101020e010101010708050113150e01010000010101010905010101071904010109060101000001010101090a0b010107190401010906010100000101011315171801010708050113150e0101000001010107080e020501010f06011116040101000001010111120513140b01131500000e010101000001010102030401020e01010101010101010100000101010f0a0b0107100b01010101010101010000010101090c0d0101090e010101010101010100000206070806010101090a0b01010101010101000001020003040101020000050101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000c00000040092900aa000000000000001900120000000000040000002701ffff030000000000= d>2>0 Úd>2>1 Úd>5>0 Úd>6>0 Úd>8>0 Úd>8>1 Úd>10>1= d>2 >Úd>5>0 Úd>6>0 Úd>8 >Úd>10>1

010009000003ca04000000004603000000004603000026060f008206574d464301000000000001005ca80000000001000000600600000000000060060000010000006c000000000000000000000011000000180000000000000000000000d60100008e02000020454d4600000100600600000c00000001000000000000000000000000000000900600001a040000b801000013010000000000000000000000000000c0b6060038320400460000002c00000020000000454d462b014001001c000000100000000210c0db01000000600000006000000046000000280200001c020000454d462b224004000c000000000000001e4009000c00000000000000244001000c000000000000003040020010000000040000000000803f214007000c000000000000000840000574010000680100000210c0db01000000000000000000000000000000000000000100000089504e470d0a1a0a0000000d4948445200000012000000190802000000b36be9c3000000017352474200aece1ce9000000097048597300000ec400000ec401952b0e1b000000ef49444154384f63fcffff3f03e98089742d201da3da30c26d0082647b3a2308584fbc03730d5484317d3b8e78fdbf2d8d216ddb7f10c5006640013a1f2e016630a0a8b39a701b491b120f5513b2b6db13ac90ac83ba015d398c8f084915351d06862bb720dedbbee1ca84524f3ce915611ec23a200bc997107fa30820f90d220bf2cfb634b81ab0516080aa0d39ba55b5ac188e5deb4edf103013ee3eef8540e72034c39c8dac0decbb590c489a18545454b07a103d71a56d43d884274490b46d4f6fd1ba4d942660eede9e0e4e53c0d4b421e0683e7627ddbe760cdd666850a106143c56d002039e6e188742c9050040a62627054e1f980000000049454e44ae42608200000840010824000000180000000210c0db01000000030000000000000000000000000000001b40000040000000340000000100000002000000000000bf000000bf000090410000c84103000000000080b3000080b3ffff8f41000080b3000080b3ffffc7412100000008000000620000000c00000001000000150000000c00000004000000150000000c0000000400000051000000d4020000000000000000000011000000180000000000000000000000000000000000000012000000190000005000000090000000e0000000f4010000000000002000cc00120000001900000028000000120000001900000001000800000000000000000000000000000000001a0000000000000000000000ffffff0066b6ff003a000000ffdb9000ffb66600b6660000b6ffff00000066000066b60066000000ffffb600903a0000ffffdb00db903a003a90db006600660090dbff0000003a00dbffff00663a9000003a900066660000b6666600dbdbdb003a66b600010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000150006010101010101010f000000000e010100001904020601010101010101010906010101010000010101020e010101010101010f060101010100000101010109050101010101010f0601010101000001010101090a0b01010101010f060101010100000101011315161701010118010f0601010101000001010107080e020501010f00000601010101000001010111120513140b010101090601010101000001010102030401020e01010101010101010100000101010f0a0b0107100b01010101010101010000010101090c0d0101090e010101010101010100000206070806010101090a0b01010101010101000001020003040101020000050101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100004c0000006400000000000000000000001100000018000000000000000000000012000000190000002900aa0000000000000000000000803f00000000000000000000803f0000000000000000000000000000000000000000000000000000000000000000220000000c000000ffffffff460000001c00000010000000454d462b024000000c000000000000000e000000140000000000000010000000140000000400000003010800050000000b0200000000050000000c0219001200030000001e00040000000701040004000000070104004f010000410b2000cc001900120000000000190012000000000028000000120000001900000001000800000000000000000000000000000000001a0000000000000000000000ffffff0066b6ff003a000000ffdb9000ffb66600b6660000b6ffff00000066000066b60066000000ffffb600903a0000ffffdb00db903a003a90db006600660090dbff0000003a00dbffff00663a9000003a900066660000b6666600dbdbdb003a66b600010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000150006010101010101010f000000000e010100001904020601010101010101010906010101010000010101020e010101010101010f060101010100000101010109050101010101010f0601010101000001010101090a0b01010101010f060101010100000101011315161701010118010f0601010101000001010107080e020501010f00000601010101000001010111120513140b010101090601010101000001010102030401020e01010101010101010100000101010f0a0b0107100b01010101010101010000010101090c0d0101090e010101010101010100000206070806010101090a0b01010101010101000001020003040101020000050101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000c00000040092900aa000000000000001900120000000000040000002701ffff030000000000= d>0>0 Úd>0>1 Úd>1>0 Úd>1>1 Úd>3>1 Úd>4>1 Úd>5>1 Úd>7>1 Úd>9>0= d>0 >Úd>1 >Úd>3>1 Úd>4>1 Úd>5>1 Úd>7>1 Úd>9>0

Также следует, что сигналы возбуждения D-триггеров автомата Мили описываются следующими выражениями:

QUOTE 010009000003c204000000003e03000000003e03000026060f007206574d464301000000000001004b400000000001000000500600000000000050060000010000006c000000000000000000000010000000180000000000000000000000bc0100008e02000020454d4600000100500600000c00000001000000000000000000000000000000900600001a040000b801000013010000000000000000000000000000c0b6060038320400460000002c00000020000000454d462b014001001c000000100000000210c0db01000000600000006000000046000000180200000c020000454d462b224004000c000000000000001e4009000c00000000000000244001000c000000000000003040020010000000040000000000803f214007000c000000000000000840000564010000580100000210c0db01000000000000000000000000000000000000000100000089504e470d0a1a0a0000000d4948445200000011000000190802000000585c52c0000000017352474200aece1ce9000000097048597300000ec400000ec401952b0e1b000000df49444154384f63fcffff3f0389808944f520e5a37ae8180613ad1961207d3b28f4ef2044200298e0ffffdb13ac80c269db8029020ac022c8020829108b0188c14aac26dc46d682c445d500d5f3ffffb634244d2023705b02d703d604550864e2b304a107a109a8059b25204361e220ff8001c4df1330dd05092210c0d0030d3e4c77ddbe0d0a1c644f22f2828a7718c8a69a7c15d4085151411340cb3f56134a3d096742a689d6d613ef80a33fbe8021cc1bdd4c6c2600dd766cd5d63bdbd3550b18262c44771742c7ed6bc7101c58a8e08c4544b8813501e38e7110973b0054b955f75b348cab0000000049454e44ae42608200000840010824000000180000000210c0db01000000030000000000000000000000000000001b40000040000000340000000100000002000000000000bf000000bf000088410000c84103000000000000b3000000b3ffff8741000000b3000000b3ffffc7412100000008000000620000000c00000001000000150000000c00000004000000150000000c0000000400000051000000d4020000000000000000000010000000180000000000000000000000000000000000000011000000190000005000000090000000e0000000f4010000000000002000cc00110000001900000028000000110000001900000001000800000000000000000000000000000000001a0000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb6660090660000903a0000ffffdb00dbdbdb0000003a00903a3a003a3a9000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000020003040101010101010107000000000e010000020e0f141501010101010101010f060101010000190905020e0101010101010101070601010100000101010a181501010101010101070601010100000101010a1712010101010101010706010101000001010107001415010101011601070601010100000101050213021201010101070000060101010000010111001211060101010101010f06010101000001010f03040c1009010101010101010101010000010c0d0e010107060101010101010101010100000107080901010a0b090101010101010101010000050203040101050206010101010101010101000002000003040502000006010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100004c0000006400000000000000000000001000000018000000000000000000000011000000190000002900aa0000000000000000000000803f00000000000000000000803f0000000000000000000000000000000000000000000000000000000000000000220000000c000000ffffffff460000001c00000010000000454d462b024000000c000000000000000e000000140000000000000010000000140000000400000003010800050000000b0200000000050000000c0219001100030000001e00040000000701040004000000070104004f010000410b2000cc001900110000000000190011000000000028000000110000001900000001000800000000000000000000000000000000001a0000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb6660090660000903a0000ffffdb00dbdbdb0000003a00903a3a003a3a9000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000020003040101010101010107000000000e010000020e0f141501010101010101010f060101010000190905020e0101010101010101070601010100000101010a181501010101010101070601010100000101010a1712010101010101010706010101000001010107001415010101011601070601010100000101050213021201010101070000060101010000010111001211060101010101010f06010101000001010f03040c1009010101010101010101010000010c0d0e010107060101010101010101010100000107080901010a0b090101010101010101010000050203040101050206010101010101010101000002000003040502000006010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000c00000040092900aa000000000000001900110000000000040000002701ffff030000000000 D>3> = d>2>1 Úd>5>0 Úd>5>1 Úd>6>0 Úd>7>1 Úd>8>0 Úd>9>0 Úd>10>1= d>2>1 Úd>5 >Úd>6>0 Úd>7>1 Úd>8>0 Úd>9>0 Úd>10>1

D>2> = d>1>1 Úd>2>0 Úd>3>1 Úd>4>1 Úd>8>1

D>1 >= d>0>1 Úd>1>0 Úd>2>0 Úd>4>1 Úd>5>0 Úd>5>1 Úd>6>0 Úd>8>0 Úd>9>0 Úd>10>1=

=d>0>1 Úd>1>0 Úd>2>0 Úd>4>1 Ú d>5>Ú d>6>0 Úd>8>0 Úd>9>0 Úd>10>1

D>0 >= d>0>0 Úd>1>0 Úd>2>0 Úd>3>1 Úd>5>0 Úd>5>1 Úd>6>0 Úd>7>1 Úd>8>1 Úd>9>0 Úd>10>1=

=d>0>0 Úd>1>0 Úd>2>0 Úd>3>1 Úd>5 >Úd>6>0 Úd>7>1 Úd>8>1 Úd>9>0 Úd>10>1

Функциональная схема автомата Мили на D-триггерах, построенная по выражениям, описывающим выходные сигналы, приведена в Приложении 3.

Таблица 7. Таблица переходов, выходных сигналов и сигналов возбуждения T-триггеров

Номер перехода

Исходное состояние

Код исходного состояния

Следующее состояние

Код следующего состояния

Входной набор

Выходные сигналы

Сигналы возбуждения

0

1

T>3>

T>2>

T>1>

T>0>

1

d>0>

0000

d>1>

d>2>

0001

0010

0

1

d>0>0

d>0>1

d>0>1

d>0>0

2

d>1>

0001

d>3>

d>4>

0011

0100

0

1

d>1>0

d>1>1

d>1>1

d>1>0

d>1>1

3

d>2>

0010

d>7>

d>8>

0111

1000

0

1

d>2>0

d>2>1

d>2>1

d>2>0

d>2>1

d>2>0

4

d>3>

0011

d>5>

0101

1

d>3>1

d>3>1

d>3>1

5

d>4>

0100

d>6>

0110

1

d>4>1

d>4>1

6

d>5>

0101

d>11>

1011

0Ú1

d>5>0

d>5>1

d>5>0

Ú

d>5>1

d>5>0

Ú

d>5>1

d>5>0

Ú

d>5>1

7

d>6>

0110

d>11>

1011

0

d>6>0

d>6>0

d>6>0

d>6>0

8

d>7>

0111

d>9>

1001

1

d>7>1

d>7>1

d>7>1

d>7>1

9

d>8>

1000

d>10>

d>5>

1010

0101

0

1

d>8>0

d>8>1

d>8>1

d>8>1

d>8>0

d>8>1

10

d>9>

1001

d>11>

1011

0

d>9>0

d>9>0

11

d>10>

1010

d>11>

1011

1

d>10>1

d>10>1

12

d>11>

1011

d>0>

0000

-

-

-

-

-

-

-

Из таблицы следует, что сигналы возбуждения T-триггеров автомата Мили описываются следующими выражениями:

T>3 >= d>2>1 Úd>5>0 Úd>5>1 Úd>6>0 Úd>7>1 Úd>8>1= d>2>1 Ú d>5 >Úd>6>0 Úd>7>1 Úd>8>1

T>2 >= d>1>1 Úd>2>0 Úd>3>1 Úd>5>0 Úd>5>1 Úd>6>0 Úd>7>1 Úd>8>1= d>1>1 Úd>2>0 Úd>3>1 Úd>5 >Úd>6>0 Úd>7>1 Úd>8>1

T>1 >= d>0>1 Úd>1>0 Úd>2>1 Úd>3>1 Úd>4>1 Úd>5>0 Úd>5>1 Úd>7>1 Úd>8>0 Úd>9>0= d>0>1 Úd>1>0 Úd>2>1 Úd>3>1 Úd>4>1 Úd>5> Úd>7>1 Úd>8>0 Úd>9>0

T>0 >= d>0>0 Úd>2>0 Úd>6>0 Úd>8>1 Úd>10>1

Функциональная схема автомата Мили на T-триггерах, построенная по выражениям, описывающим выходные сигналы, приведена в Приложении 4.

Таблица 8. Таблица переходов и сигналов возбуждения RS-триггеров

Номер перехода

Сигналы возбуждения

R>3>

S>3>

R>2>

S>2>

R>1>

S>1>

R>0>

S>0>

1

d>0>1

d>0>0

2

d>1>1

d>1>0

d>1>1

3

d>2>1

d>2>0

d>2>1

d>2>0

4

d>3>1

d>3>1

5

d>4>1

6

d>5>0

Ú

d>5>1

d>5>0

Ú

d>5>1

d>5>0

Ú

d>5>1

7

d>6>0

d>6>0

d>6>0

8

d>7>1

d>7>1

d>7>1

9

d>8>1

d>8>1

d>8>0

d>8>1

10

d>9>0

11

d>10>1

12

-

-

-

-

-

-

-

-

Из таблицы следует, что сигналы возбуждения RS-триггеров автомата Мили описываются следующими выражениями:

R>3 >= d>8>1

S>3 >= d>2>1 Úd>5>0 Úd>5>1 Úd>6>0 Úd>7>1 Úd>9>0= d>2>1 Úd>5 >Úd>6>0 Úd>7>1 Úd>9>0

R>2 >= d>5>0 Úd>5>1 Úd>6>0 Úd>7>1= d>5> Úd>6>0 Úd>7>1

S>2 >= d>1>1 Úd>2>0 Úd>3>1 Úd>8>1

R>1>> >= d>2>1 Úd>3>1 Úd>7>1

S>1 >= d>0>1 Úd>1>0 Úd>4>1 Úd>5>0 Úd>5>1 Úd>8>0= d>0>1 Úd>1>0 Úd>4>1 Úd>5> Úd>8>0

R>0>> >= d>1>1

S>0>> >= d>0>0 Úd>2>0 Úd>6>0 Úd>8>1 Úd>10>1

QUOTE 010009000003c204000000003e03000000003e03000026060f007206574d464301000000000001004b400000000001000000500600000000000050060000010000006c000000000000000000000010000000180000000000000000000000bc0100008e02000020454d4600000100500600000c00000001000000000000000000000000000000900600001a040000b801000013010000000000000000000000000000c0b6060038320400460000002c00000020000000454d462b014001001c000000100000000210c0db01000000600000006000000046000000180200000c020000454d462b224004000c000000000000001e4009000c00000000000000244001000c000000000000003040020010000000040000000000803f214007000c000000000000000840000564010000580100000210c0db01000000000000000000000000000000000000000100000089504e470d0a1a0a0000000d4948445200000011000000190802000000585c52c0000000017352474200aece1ce9000000097048597300000ec400000ec401952b0e1b000000df49444154384f63fcffff3f0389808944f520e5a37ae8180613ad1961207d3b28f4ef2044200298e0ffffdb13ac80c269db8029020ac022c8020829108b0188c14aac26dc46d682c445d500d5f3ffffb634244d2023705b02d703d604550864e2b304a107a109a8059b25204361e220ff8001c4df1330dd05092210c0d0030d3e4c77ddbe0d0a1c644f22f2828a7718c8a69a7c15d4085151411340cb3f56134a3d096742a689d6d613ef80a33fbe8021cc1bdd4c6c2600dd766cd5d63bdbd3550b18262c44771742c7ed6bc7101c58a8e08c4544b8813501e38e7110973b0054b955f75b348cab0000000049454e44ae42608200000840010824000000180000000210c0db01000000030000000000000000000000000000001b40000040000000340000000100000002000000000000bf000000bf000088410000c84103000000000000b3000000b3ffff8741000000b3000000b3ffffc7412100000008000000620000000c00000001000000150000000c00000004000000150000000c0000000400000051000000d4020000000000000000000010000000180000000000000000000000000000000000000011000000190000005000000090000000e0000000f4010000000000002000cc00110000001900000028000000110000001900000001000800000000000000000000000000000000001a0000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb6660090660000903a0000ffffdb00dbdbdb0000003a00903a3a003a3a9000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000020003040101010101010107000000000e010000020e0f141501010101010101010f060101010000190905020e0101010101010101070601010100000101010a181501010101010101070601010100000101010a1712010101010101010706010101000001010107001415010101011601070601010100000101050213021201010101070000060101010000010111001211060101010101010f06010101000001010f03040c1009010101010101010101010000010c0d0e010107060101010101010101010100000107080901010a0b090101010101010101010000050203040101050206010101010101010101000002000003040502000006010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100004c0000006400000000000000000000001000000018000000000000000000000011000000190000002900aa0000000000000000000000803f00000000000000000000803f0000000000000000000000000000000000000000000000000000000000000000220000000c000000ffffffff460000001c00000010000000454d462b024000000c000000000000000e000000140000000000000010000000140000000400000003010800050000000b0200000000050000000c0219001100030000001e00040000000701040004000000070104004f010000410b2000cc001900110000000000190011000000000028000000110000001900000001000800000000000000000000000000000000001a0000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb6660090660000903a0000ffffdb00dbdbdb0000003a00903a3a003a3a9000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000020003040101010101010107000000000e010000020e0f141501010101010101010f060101010000190905020e0101010101010101070601010100000101010a181501010101010101070601010100000101010a1712010101010101010706010101000001010107001415010101011601070601010100000101050213021201010101070000060101010000010111001211060101010101010f06010101000001010f03040c1009010101010101010101010000010c0d0e010107060101010101010101010100000107080901010a0b090101010101010101010000050203040101050206010101010101010101000002000003040502000006010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000c00000040092900aa000000000000001900110000000000040000002701ffff030000000000

QUOTE 010009000003c204000000003e03000000003e03000026060f007206574d464301000000000001004b400000000001000000500600000000000050060000010000006c000000000000000000000010000000180000000000000000000000bc0100008e02000020454d4600000100500600000c00000001000000000000000000000000000000900600001a040000b801000013010000000000000000000000000000c0b6060038320400460000002c00000020000000454d462b014001001c000000100000000210c0db01000000600000006000000046000000180200000c020000454d462b224004000c000000000000001e4009000c00000000000000244001000c000000000000003040020010000000040000000000803f214007000c000000000000000840000564010000580100000210c0db01000000000000000000000000000000000000000100000089504e470d0a1a0a0000000d4948445200000011000000190802000000585c52c0000000017352474200aece1ce9000000097048597300000ec400000ec401952b0e1b000000df49444154384f63fcffff3f0389808944f520e5a37ae8180613ad1961207d3b28f4ef2044200298e0ffffdb13ac80c269db8029020ac022c8020829108b0188c14aac26dc46d682c445d500d5f3ffffb634244d2023705b02d703d604550864e2b304a107a109a8059b25204361e220ff8001c4df1330dd05092210c0d0030d3e4c77ddbe0d0a1c644f22f2828a7718c8a69a7c15d4085151411340cb3f56134a3d096742a689d6d613ef80a33fbe8021cc1bdd4c6c2600dd766cd5d63bdbd3550b18262c44771742c7ed6bc7101c58a8e08c4544b8813501e38e7110973b0054b955f75b348cab0000000049454e44ae42608200000840010824000000180000000210c0db01000000030000000000000000000000000000001b40000040000000340000000100000002000000000000bf000000bf000088410000c84103000000000000b3000000b3ffff8741000000b3000000b3ffffc7412100000008000000620000000c00000001000000150000000c00000004000000150000000c0000000400000051000000d4020000000000000000000010000000180000000000000000000000000000000000000011000000190000005000000090000000e0000000f4010000000000002000cc00110000001900000028000000110000001900000001000800000000000000000000000000000000001a0000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb6660090660000903a0000ffffdb00dbdbdb0000003a00903a3a003a3a9000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000020003040101010101010107000000000e010000020e0f141501010101010101010f060101010000190905020e0101010101010101070601010100000101010a181501010101010101070601010100000101010a1712010101010101010706010101000001010107001415010101011601070601010100000101050213021201010101070000060101010000010111001211060101010101010f06010101000001010f03040c1009010101010101010101010000010c0d0e010107060101010101010101010100000107080901010a0b090101010101010101010000050203040101050206010101010101010101000002000003040502000006010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100004c0000006400000000000000000000001000000018000000000000000000000011000000190000002900aa0000000000000000000000803f00000000000000000000803f0000000000000000000000000000000000000000000000000000000000000000220000000c000000ffffffff460000001c00000010000000454d462b024000000c000000000000000e000000140000000000000010000000140000000400000003010800050000000b0200000000050000000c0219001100030000001e00040000000701040004000000070104004f010000410b2000cc001900110000000000190011000000000028000000110000001900000001000800000000000000000000000000000000001a0000000000000000000000ffffff00003a900066000000ffffb600dbffff00b66600003a90db003a000000ffdb900090dbff003a003a00b6ffff0000006600db903a000066b6003a00660066b6ff00ffb6660090660000903a0000ffffdb00dbdbdb0000003a00903a3a003a3a9000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000020003040101010101010107000000000e010000020e0f141501010101010101010f060101010000190905020e0101010101010101070601010100000101010a181501010101010101070601010100000101010a1712010101010101010706010101000001010107001415010101011601070601010100000101050213021201010101070000060101010000010111001211060101010101010f06010101000001010f03040c1009010101010101010101010000010c0d0e010107060101010101010101010100000107080901010a0b090101010101010101010000050203040101050206010101010101010101000002000003040502000006010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000101010101010101010101010101010101010000010101010101010101010101010101010101000001010101010101010101010101010101010100000c00000040092900aa000000000000001900110000000000040000002701ffff030000000000 Функциональная схема автомата Мили на RS-триггерах, построенная по выражениям, описывающим выходные сигналы, приведена в Приложении 5.

Таблица 9. Таблица переходов и сигналов возбуждения JK-триггеров

Номер перехода

Сигналы возбуждения

J>3>

K>3>

J>2>

K>2>

J>1>

K>1>

J>0>

K>0>

1

d>0>1

d>0>0

2

d>1>1

d>1>0

d>1>1

3

d>2>1

d>2>0

d>2>1

d>2>0

4

d>3>1

d>3>1

5

d>4>1

6

d>5>0

Ú

d>5>1

d>5>0

Ú

d>5>1

d>5>0

Ú

d>5>1

7

d>6>0

d>6>0

d>6>0

8

d>7>1

d>7>1

d>7>1

9

d>8>1

d>8>1

d>8>0

d>8>1

10

d>9>0

11

d>10>1

12

-

-

-

-

-

-

-

-

Из таблицы следует, что сигналы возбуждения RS-триггеров автомата Мили описываются следующими выражениями:

J>3> = d>2>1 Úd>5>0 Úd>5>1 Úd>6>0 Úd>7>1 Úd>9>0= d>2>1 Úd>5> Úd>6>0 Úd>7>1 Úd>9>0

K>3 >= d>8>1

J>2> = d>1>1 Úd>2>0 Úd>3>1 Úd>8>1

K>2 >= d>5>0 Úd>5>1 Úd>6>0 Úd>7>1= d>5> Úd>6>0 Úd>7>1

J>1> = d>0>1 Úd>1>0 Úd>4>1 Úd>5>0 Úd>5>1 Úd>8>0= d>0>1 Úd>1>0 Úd>4>1 Úd>5> Úd>8>0

K>1 >= d>2>1 d>3>1 d>7>1

J>0> = d>0>0 Úd>2>0 Úd>6>0 Úd>8>1 Úd>10>1

K>0 >= d>1>1

Функциональная схема автомата Мили на JK-триггерах, построенная по выражениям, описывающим выходные сигналы, приведена в Приложении 6.

ЗАКЛЮЧЕНИЕ

В процессе выполнения работы мной были закреплены знания о синтезе конечных автоматов и получена практика в построении комбинационных схем.

В данной работе мной было выполнено проектирование конечного автомата по алфавитному отображению с использованием канонического метода структурного синтеза автоматов. Построены граф переходов абстрактного автомата с 17 состояниями и таблицы переходов-выходов. Минимизация состояний автомата выполнена путем разбиения на группы эквивалентных между собой состояний. После чего был построен минимальный граф Мили с 11 состояниями. Выполнен структурный синтез конечного автомата. Построены функциональные схемы автомата Мили на D, T, RS и JK-триггерах.

СПИСОК ЛИТЕРАТУРЫ

    Баранов С.И. Синтез микропрограммных автоматов (граф-схемы и автоматы). – 2-е изд., перераб. и доп. – Л.: Энергия, 1979. – 232 с., ил.

    Дегтярев В.М., Ерош И.Л., Михайлов В.В. Проектирование цифровых автоматов.-Л.:ЛИАП, 1974г.

    Козин И.В., Иванов Н.М., Лупал А.М. Проектирование управляющих автоматов по алфавитному отображению. Учебное пособие по курсовому проектированию/ЛИАП. – Л., 1991. – 82 с., ил.

    Лупал А.М. Теория автоматов. Учебное пособие/СПбГУАП. – СПб., 2000. – 120 с., ил.

    Лысиков Б.Г. Арифметические и логические основы цифровых автоматов. Учебник для вузов по спец. «Электронные вычислительные машины». – 2-е изд., перераб. и доп. – Мн.: Выш. школа, 1980. – 336 с., ил.

    Конспект лекций по дисциплине «Теория автоматов», преподаватель Глебов Е.А., 2005-2006 уч.г.