Программа, обеспечивающая преобразование входной программы на некотором языке в выходную программу на другом языке
Скачать 426.05 Kb.
|
| ^ Автомат называется приведенным или минимальным, ели он не содержит недостижимых состояний и никакие два его состояния не эквивалентны друг другу. Состояние S1 автомата A1 эквивалентно состоянию S2 автомата A2, если автомат A1 находясь в сост. S1 допускает те же цепочки, что и автомат A2 в сост. S2. Если два состояния S1 и S2 одного автомата эквивалентны, то автомат можно упростить, заменив в таблице переходов все вхождения имен этих состояний новым именем, а затем удалив повторяющуюся строку. Если два состояния не эквивалентны, то любая цепочка, под действием которой одно из них переходит в допускающее состояние, а другое – в отвергающее, называется различающей цепочкой этих двух состояний. Два состояния эквивалентны тогда и только тогда, когда не существует различающей их цепочки. Два автомата эквивалентны, если их начальные состояния эквивалентны. Состояние называется недостижимым, если в него нет переходов ни для какой входной цепочки. Если автомат не приведенный, то можно получить эквивалентный ему автомат с меньшим числом состояний путем выбрасывания недостижимых и объединения двух эквивалентных состояний в одно. Процесс приведения можно повторять до тех пор, пока не получится приведенный автомат. Таким образом, для каждого конечного автомата существует эквивалентный ему приведенный автомат. Приведенный автомат может быть более компактно реализован на вычислительной машине. Каким бы образом не происходило приведение состояний автомата, можно построить только один приведенный автомат, эквивалентный данному. Пример проверки эквивалентности состояний: Состояния подобны, если выполняются условия подобия (оба состояния либо допускающие, либо отвергающие) и преемственности (для всех вх. символов сост. S1 и S2 переходят в эквивалентные сост.).
|
Похожие:
 | Написание программы на языке программирования. Программы, написанные на языке C++, имеют расширение. Срр | | Однако для реализации этой системы необходимо разработать исходный текст программы на некотором языке программирования (C++, Pascal,... |
 | В тексте резюме на английском языке следует применять терминологию, характерную для иностранных специальных текстов | | Введение в программирование на языке Pascal. Программа. Структура программы. Идентификатор. Правила записи идентификатора. Блок описаний.... |
| Не забудьте указать номер версии в любом докладе о проблеме. Кроме того, необходимо постоянно обновлять программу и использовать... | | Для подготовки исходных данных, необходимых при построении датчиков с заданным распределением в gpss-моделях, описанный алгоритм... |
| Цель: Изучение символьных и строковых переменных и способов их обработки в языке Си | | «образование должно быть направлено на полное развитие человеческой личности», а такое развитие возможно только в том случае, если... |
| Целью работы является изучение технологии написания и отладки программ на языке ассемблера | | Но теория будет еще полезнее, если подкрепить ее практикой примерами реально работающих программ, написанных на этом языке. А таких... |