Построенный автомат

Cтраница 1

Построенные автоматы А и В представляют заданные события множествами своих состояний и ( с точностью до пустого слова) множествами своих выходных сигналов. Событие, заданное регулярным выражением В -, представляется множеством всех тех и только тех состояний, которые отмечены множествами, содержащими в качестве своих элементов выражение Rt. Множество состояний, отмеченных пустым множеством (), или выходной сигнал () представляет событие, состоящее из всех слов входного алфавита, не вошедших в заданные события. [1]

Если существуют такие оо-классы, каждый из которых содержит начальные состояния всех автоматов множества М, то один из таких классов принимается в качестве начального состояния построенного автомата А. [2]

Опять-таки любой закон преобразования, задаваемый непрерывной функцией р ( р) ( р ( 0) и р ( 1) равны 0 или 1) можно с любой степенью точности приблизить при помощи подходящим образом построенного автомата. [3]

Реализация МПА Мура с ГСА на. [4]

Не любую ГСА целесообразно pea / изовать МПА с Р - структурой. Число дополнительных меток для некоторых ГСА может оказаться столь велико, что построенный автомат будет иметь большой объем памяти и содержать слишком много ПЛМ. КС таких сетей содержит не менее двух ярусов ПЛМ. [5]

Состояния нового автомата, недостижимые из других состояний, можно отбросить. Состояния первоначального автомата, недостижимые из других состояний, приводят в новом автомате к недостижимым состояниям. Построенный автомат определен корректно. [6]

А представляет исходные события не только множествами своих состояний, но и множествами выходных сигналов. Кроме того, в процессе построения нами было выяснено, что число состояний построенного автомата равняется 2 1 1, где k - общее число букв входного алфавита ( считая повторения) в исходных регулярных выражениях. Некоторые из этих состояний могут оказаться недостижимыми и могут, следовательно, быть исключены без изменения индуцируемого автоматом отображения ( см. § 1), а, значит, и без изменения представляемых им событий. Таким образом, величину 2 1 следует рассматривать как верхнюю оценку для числа состояний синтезируемого автомата. [7]

В данном стучае система свободных образующих свободного автомата состой. Несложно убедиться в гом, что построенный автомат действительно свободный. [8]

Для решения задачи синтеза удобно считать, что события заданного множества М заранее отмечены различными буквами выходного алфавита синтезируемого автомата. Условимся в дальнейшем называть каноническим всякое автоматное множество событий, для которого выполнены соответствующие отметки. Буквы, отмечающие события канонического множества, составляют так называемый алфавит отметок. После решения задачи синтеза этот алфавит превращается в выходной алфавит построенного автомата. [9]

Построение автомата по обобщенному описанию и отношению несовместности переходов. [10]

На рис. 13 показан процесс построения автомата. Тем самым выбираются эти же переходы и в множествах YH, Vi2, Vis. Первичные множества, содержащие один и тот же переход, объединяются гипердугой. Далее процесс продолжается таким же образом, причем следует выбирать то первичное множество, из которого на данном шаге будут выбраны все ( невычеркнутые) элементы, а элементы выбирать такие, которые не связаны ребрами в графе несовместности с ранее выбранными. Процесс заканчивается, когда все первичные множества оказываются вычеркнутыми ( т.е. из каждого из них выбрано столько элементов, сколько задано обобщенным описанием), как на рис. 13 б, где переходы построенного автомата объединены гипердугами. [11]

Страницы: 1