МП-автоматы, опустошающие магазин
Алгоритм построения расширенного МП-автомата по МП-автомату
Вход : - МП-автомат.
Выход : - расширенный МП-автомат.
Метод :
Идея метода : МП-автомат по определению является расширенным!!!
Домашнее задание: Самостоятельно рассмотреть алгоритм построения расширенного МП-автомата по МП-автомату.
Рассмотрим МП-автоматы, которые могут по входным цепочкам опустошать магазин.
Определение: Пусть - МП-автомат. Будем говорить, что допускает цепочку опустошением магазина , если для некоторого . Пусть - множество цепочек, допускаемым автоматом опустошением магазина.
Лемма: Для любого МП-автомата можно построить МП-автомат, допускающий цепочки опустошением магазина и наоборот.
Дата добавления: 2014-01-07 ; Просмотров: 804 ; Нарушение авторских прав? ; Мы поможем в написании вашей работы!
Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет