Реферат: Проверка непротиворечивости исходных описаний конечных автоматов

💣 👉🏻👉🏻👉🏻 ВСЯ ИНФОРМАЦИЯ ДОСТУПНА ЗДЕСЬ ЖМИТЕ 👈🏻👈🏻👈🏻

В 60-70-х годах на теорию конечных автоматов (КА), как универсальный инструментарий описания и синтеза цифровых схем, возлагались большие надежды. Однако возможности технологического базиса и информационные технологии того времени ограничили практическое использование теории КА только рамками структурного синтеза. Абстрактный синтез так и остался предметом теоретических изысканий. Сегодня в автоматизированном проектировании происходит интенсивный переход к интегрированным инструментальным средствам, осуществляющим сквозную разработку проектов на всех уровнях. В таких системах наряду со стандартными средствами проектирования топологии и моделирования должны присутствовать и средства реализация проектных процедур логического синтеза. Таким образом сегодня сформированы практические потребности и имеются все условия, чтобы абстрактная теория КА заняла достойное место в автоматизированном проектировании. Однако в этом плане она должна быть переработана в контексте сквозного автоматизированного проектирования.
В рамках этой цели предлагаемая работа развивает абстрактный синтез в части построения непротиворечивых описаний КА на языке регулярных выражений.
Пусть заданы входной X={X 1
,X 2
,...,X n
} и выходной Y={Y 1
,Y 2
,...,Y m
} алфавиты. КА перерабатывает входные слова (цепочки) aÎX* в выходные bÎY* в соответствии с алфавитным (автоматным) оператором b=F(a) (А-оператор). Доказано, что обрабатываемые КА множества цепочек, относятся к классу регулярных множеств (РМ), которые задаются через правила их порождения, называемые регулярными выражениями (РВ) [1].
В алгебре РВ по определению Æ, l (пустая цепочка), X 1
, X 2
, ..., X n
являются элементарными РВ. Если e 1
, e 2
, e - РВ, то результаты операций e 1
*e 2 -
(конкатенации), e 1
|e 2
(ИЛИ), {e} (Клини), (e) (круглые скобки) также являются РВ. Также отметим, что порождаемое множество цепочек или язык РВ e обозначают через |e|.
Представим А-оператор через систему РВ (СРВ). Для этого выделим в X* подмножества регулярных цепочек E 1
, E 2
, ..., E m
(в общем случае бесконечных) таким образом, чтобы цепочка aÎE 1
приводила к появлению на выходе КА буквы Y 1,
aÎE 2
- буквы Y 2
, aÎE m
-.Y m
.
Для случая aÎX*\(E 1
E 2
... E m
) определим дополнительную букву Y m+1
. Также введем условие непротиворечивости E i
E j
= (i,j=1..m, i¹j). Представим каждое множество E i
порождающим его регулярным выражением (РВ) e i
(|e i
|= E i
). Тогда представляющая КА система соотношений вида (1) и называется СРВ:
Поскольку взаимно однозначное соответствие между языком и порождающим его РВ отсутствует (например, РВ а{a} и {a}a порождают различными способами один и тот же язык), построение непротиворечивой CРВ требует далеко нетривиальных действий. И в этой связи можно предположить, что средства исследования непротиворечивости СРВ нужно искать вне алгебры РВ.
Ближайшей моделью к РВ, которой может быть промоделирован разбор цепочек, является система переходов (СП), дуги которой взвешены буквами входного алфавита. КА с выходным алфавитом Y={0,1}, распознающий язык |e|, называют конечным распознавателем (КР). Представление КР в виде диаграммы состояний (рис.1), в которой начальная вершина S и конечная вершина Z связаны дугой e называется системой переходов (СП). Здесь любая цепочка aÎ|e| переводит КА из состояния S в состояние Z [2].
СП элементарных РВ приведены на рис.2. В соответствии с алгеброй РВ СП любого РВ e можно представить в виде композиции элементарных СП. Такую СП будем называть приведенной и обозначать через СП п
. Введем на СП п
ряд понятий.
Определение 1. Если из некоторого состояния Q исходит l-дуга в состояние A 1
, из состояния A 1
в состояние A 2
и т.д. до состояния Т, а из состояния Т нет исходящих l-дуг, то будем говорить, что состояние Q связано с состоянием Т линейным l-путем.
Определение 2. Если из некоторого состояния Q исходит l-дуга в состояние А 1
, а из состояния А 1
в состояние А 2
и т.д. состояния A k
, а из состояния A k
в состояние Q, то будем говорить, что состояние Q, A 1
, A 2
,..., A k
входят в один и тот же кольцевой l-путь.
Длиной l-пути будем называть число входящих в него l-дуг.
Определение 3. Блоком состояний (БС) для некоторого состояния Q БС(Q) назовем множество состояний, включающих само состояние Q и все состояния , входящие в l-пути, исходящие из состояния Q.
Если из состояния Q не исходит l-путей, то БС(Q)= {Q}. В дальнейшем БС(Q), включающий более чем одно состояние, будем обозначать l- БС(Q).
Определение 4. Если из состояния Q исходит один или несколько l-путей единичной длины, то l- БС(Q) назовем простым, в противном случае составным.
Введем на СП функцию разбора m, представляющую отображение {БС} Х ® БС. Ее по аналогии с функцией переходов запишем в виде БС=m(БС(Q),x i
). Цепочка a допускается КА, если существует функция разбора вида БС(Z i
)=m(БС(S),a), где S - начальное состояние, Z i
- заключительное состояние СП КА.
Пусть задана СРВ e 1
, e 2
, ..., e m
и для каждого РВ выполнено независимое построение СП п
. Здесь S 1
, S 2
, ..., S m
начальные и Z 1
, Z 2
, ..., Z m
заключительные состояния соответствующих СП п
. Введем следующую проверочную таблицу (ПТ), на основе которой будем одновременно строить функцию разбора для всех РВ. ПТ содержит m+1 столбец, где 1,2,...,m столбцы, соответствуют буквам входного алфавита X, а 0-столбец представляет БС, именующие строки. Множество строк ПТ разбито на группы, каждая из которых может содержать до m строк по числу РВ, и представляет БС для всех РВ, полученных на некотором шаге построения функции разбора. В клетку пересечения строки и столбца записывается вычисленное значение функции разбора для данного БС и входной буквы.
Алгоритм проверки непротиворечивости СРВ.
1. Построить пустую ПТ, сформировать БС(S 1
), БС(S 2
),..., БС(S m
) и поименовать ими первую группу строк;
2. Для всех букв x i
ÎX вычислить функцию разбора;
3. Образовать новую группу строк и поименовать их новыми БС, полученными в п.2 и не содержащими заключительных состояний Z i
.
4. Повторять п.2 до тех пор, пока не перестанут образовываться новые БС, не содержащие заключительных состояний.
Выход: СРВ противоречива, если на некотором шаге для одной и той же входной буквы получены более чем один БС, содержащий заключительные состояния.
В качестве примера ниже представлены проверяемая на непротиворечивость СРВ, СП, входящих в нее РВ (рис.4), и соответствующая ПТ:
Как это видно из построения ПТ СРВ (2) является непротиворечивой.
Итак, предлагаемая в работе процедура проверки на непротиворечивость исходных описаний КА, может быть положена в основу построения одной из функциональных частей программной подсистемы логического синтеза интегрированной инструментальной среды САПР. Это позволит на ранних этапах проектирования выявить корректность исходного описания объекта проектирования.
Вавилов Е.Н., Портной Г.П. Синтез схем электронных цифровых машин. М.: Сов.радио, 1963. 440 с.
Грис Д. Конструирование компиляторов для цифровых вычислительных машин. М.: Мир, 1975, 545 с.
Вишняков Ю.М. Инструментарий разработчика СБИС. - Таганрог: ТРТУ, 1993. 178 с.

Название: Проверка непротиворечивости исходных описаний конечных автоматов
Раздел: Рефераты по информатике, программированию
Тип: реферат
Добавлен 07:18:16 18 апреля 2005 Похожие работы
Просмотров: 57
Комментариев: 15
Оценило: 4 человек
Средний балл: 5
Оценка: неизвестно   Скачать

Срочная помощь учащимся в написании различных работ. Бесплатные корректировки! Круглосуточная поддержка! Узнай стоимость твоей работы на сайте 64362.ru
Привет студентам) если возникают трудности с любой работой (от реферата и контрольных до диплома), можете обратиться на FAST-REFERAT.RU , я там обычно заказываю, все качественно и в срок) в любом случае попробуйте, за спрос денег не берут)
Да, но только в случае крайней необходимости.

Реферат: Проверка непротиворечивости исходных описаний конечных автоматов
Реферат На Тему Философия Символического Мира Человека, Человек В Мире Культуры
Реферат по теме Западный округ Москвы
Реферат: Переработка медного лома в медный купорос. Скачать бесплатно и без регистрации
Курсовая Оборотные
Какие Личности Остаются В Памяти Итоговое Сочинение
Моя Профессия Учитель Физической Культуры Эссе
Курсовая работа: Логистика денежных потоков
Региональный Этап Конкурса Сочинений 2022
Доклад по теме Методические и этические аспекты клонирования
Фирменный стиль и его основные компоненты
Пример Характеристики Студента Медика На Практике
Сочинение Капитанская Дочка 8 Класс Образ
Сочинение Про Зайчонка 2 Класс
Дипломная работа по теме Разработка технико-распорядительного акта станции Омь
Сочинение На Тему Совесть Огэ 9.3
Реферат по теме Формы организации бухгалтерского учета в субъектах малого предпринимательства
Доклады На Тему Культура Средневекового Города
Фипи Английский Язык Темы Эссе
Дипломная работа по теме Исследование положений Закона о несостоятельности (банкротстве)
Школа 21 Английскому Языку Контрольная Работа
Реферат: Вкус и цвет жизни
Реферат: Развитие менеджмента в СССР и России
Реферат: Безопасность как фактор развития