(926)274-88-54
Бесплатная доставка.
Бесплатная сборка.
График работы:
Ежедневно. С 8-00 до 20-00.
Почта: soft_hous@mail.ru
|
|
Звоните! (926)274-88-54 Бесплатная доставка. Бесплатная сборка. |
Ассортимент тканей График работы: Ежедневно. С 8-00 до 20-00. Почта: soft_hous@mail.ru |
  
|
Читальный зал --> Программные средства foundation (LEFT + RIGHT + HAZ)  Рис. 7.64. Усовершенствованная диаграмма состояний для автомата, управляющего задними огнями автомобиля марки Ford Thunderbird
Табл. 7.16. Кодирование состояний конечного автомата, управляющего задними огнями автомобиля марки Ford Thunderbird
После того как список переходов составлен, оставшаяся часть синтеза представляет собой рутинную работу довольно большого объема Процедурам син- Следующий шаг состоит в написании своего рода таблицы переходов Однако нам следует воспользоваться другим форматом, отличающимся от приведенного в разделе 7 4 4, поскольку в диафамме состояний переходы задаются выражениями, а не исчерпывающим перечислением следующих состояний Мы обратимся к записи переходов в новой форме, в виде списка переходов {transition list), в котором одна строка соответствует каждому переходу, выражаемому стрелкой на диафамме состояний Такой список переходов для диафаммы состояний на рис 7 64 и способа кодирования, указанного в табл 7 16, представлен в табл 7 17 Каждая сфока содержит текущее состояние, следующее состояние и выражение перехода для одной из стрелок на диафамме состояний Указаны оба названия текущего и следующего состояний их имена и их коды Имена состояний полезны с точки зрения привязки к рисунку, а коды используются при составлении уравнений переходов Табл. 7.17. Список переходов для конечного автомата, управляющего задними огнями автомобиля марки Ford Thunderbird теза посвящен парафаф 7.6. Хотя эти процедуры можно реализовать вручную, они обычно бывают включены в пакет профамм системы автоматизированного проектирования (системы CAD); таким образом, параграф 7.6 может помочь вам разобраться с тем, что делает (или в чем ошибается) ваш любимый профаммный продукт. Мы уже столкнулись в этом парафафе с одним таким рутинным шагом - с поиском неоднозначности в диафаммах состояний. Хотя рассмотренную нами процедуру нетрудно автоматизировать, почти никакие программы систем CAD этого не делают Например, одна из программ ввода диафамм состояний молча удаляет повторяющиеся переходы и в случае пропуска переходов указывает переход в состояние с кодовым именем 00...00 , не выдавая пользователю предостережений. Таким образом, прибегая к помощи тех или иных средств проектирования, разработчик в большинстве случаев сам несет ответственность за однозначность в описании конечного автомата. Хорошим подспорьем в этом служат языки описания конечных автоматов, о которых идет речь в конце этой главы. *7.6. Синтез конечных автоматов на основе списка переходов Построением диаграммы состояний автомата и выбором способа кодирования, по существу, исчерпьтается творческая часть процесса проектирования. Остальную часть процедуры синтеза можно выполнить с помощью профамм системы CAD. Как показано в предыдущем парафафе список переходов составляется по диафамме состояний автомата с учетом выбранных кодов состояний. В этом парафафе мы продемонстрируем, как по списку переходов синтезируется сам конечный автомат. Подробно рассматривается ряд возможностей и нюансов, возникающих при проектировании конечного автомата на основе списка переходов. Хотя материал этого парафафа и полезен для синтезирования автоматов вручную, его главное назначение ~ помочь вам понять логику работы и возможные капризы профамм и языков, используемых в системах CAD при конструировании конечных автоматов. *7.6.1. Уравнения переходов Первый шаг при синтезе конечного автомата по списку переходов заключается в выводе системы уравнений переходов, которыми задаются следующие значения V* всех переменных состояния как функции текущего состояния и входного воздействия. Список переходов можно считать своего рода гибридной таблицей истинности, в которой комбинации переменных состояния перечислены явно, а комбинации входных сигналов приведены в алгебраической форме. Двигаясь сверху вниз по столбцу V* в списке переходов, мы получаем последовательность нулей и единиц, то есть значений V* для различных комбинаций состояние/вход (при условии, конечно, что мы все записали в списке переходов правильно). Выражение для следующего значения переменной состояния V* в уравнении переходов может быть разновидностью гибридной канонической суммы: ООО «Мягкий Дом» - это Отечественный производитель мебели. Наша профильная продукция - это диваны еврокнижка. Каждый диван можем изготовить в соответствии с Вашими пожеланияи (размер, ткань и материал). Осуществляем бесплатную доставку и сборку. Звоните! Ежедневно! (926)274-88-54 Продажа и изготовление мебели. Копирование контента сайта запрещено. Авторские права защищаются адвокатской коллегией г. Москвы. |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||