Реферати українською » Информатика, программирование » Перевірка несуперечливості вихідних описів кінцевих автоматів


Реферат Перевірка несуперечливості вихідних описів кінцевих автоматів

Ю.М. Вишняков

У 60-70-ті роки на теорію кінцевих автоматів (КА), як універсальний інструментарій описи і синтезу цифрових схем, покладалися великі надії. Проте можливості технологічного базису і інформаційні технології на той час обмежили практичне використання теорії КА лише рамками структурного синтезу. Абстрактный синтез і залишився предметом теоретичних пошуків. Сьогодні у автоматизованому проектуванні відбувається інтенсивний перехід до інтегрованим інструментальним засобам, що забезпечує наскрізну розробку проектів всіх рівнях. У цих системах разом із стандартними засобами проектування топології і моделювання повинні бути і кошти реалізація проектних процедур логічного синтезу. Отже сьогодні сформовані практичні потреби і є всі умови, щоб абстрактна теорія КА посіла гідне місце в автоматизованому проектуванні. Але цього плані повинна бути перероблена на контексті наскрізного автоматизованого проектування.

У межах цього запропонована робота розвиває абстрактний синтез у частині побудови несуперечливих описів КА мовою регулярних висловів.

Нехай задано вхідний X={X1,X2,...,Xn} і вихідний Y={Y1,Y2,...,Ym} алфавіти. КА переробляє вхідні слова (ланцюжка) a

Схожі реферати:

Навігація