Cтраница 3
Основной задачей автомата является реализация соответствия между входными и выходными последовательностями. Множество допустимых входных последовательностей бесконечно, поэтому не представляется возможным составить таблицу соответствия между всеми входными и выходными последовательностями. В инженерной практике законы функционирования автоматов формулируются сначала словесно или задаются с помощью временных диаграмм. Однако эти описания поведения автоматов не являются математически строгими, поэтому необходим переход к таким способам задания автоматов, которые позволили бы установить соответствие между бесконечными множествами входных и выходных последовательностей. Одним из способов задания автоматов, удобным для их синтеза, являются таблицы переходов. [31]
Закон функционирования автомата часто может быть задан в описательной форме - на обычном языке. Поскольку такая форма не является математически строгой, то принципиально нельзя получить алгоритм перехода от описательной формы задания автомата к стандартной. Такой переход должен осуществляться интуитивно. Поэтому стандартная форма задания автомата должна быть достаточно удобной не только для решения задачи синтеза, но и для перехода к ней от различных других форм задания автоматов и, прежде всего, от описательной формы. На этапе структурного синтеза в качестве такой стандартной формы задания автоматов обычно используют кодированные буквами соответствующих структурных алфавитов таблицы переходов и выходов. Кроме того, задают или выбирают набор элементарных автоматов и логических элементов. В результате выполнения этапа структурного синтеза получают структурную схему автомата, то есть способ соединения между собой элементарных автоматов и логических элементов, обеспечивающий заданные условия функционирования автомата. [32]
Основной задачей автомата является реализация соответствия между входными и выходными последовательностями. Множество допустимых входных последовательностей бесконечно, поэтому не представляется возможным составить таблицу соответствия между всеми входными и выходными последовательностями. В инженерной практике законы функционирования автоматов формулируются сначала словесно или задаются с помощью временных диаграмм. Однако эти описания поведения автоматов не являются математически строгими, поэтому необходим переход к таким способам задания автоматов, которые позволили бы установить соответствие между бесконечными множествами входных и выходных последовательностей. Одним из способов задания автоматов, удобным для их синтеза, являются таблицы переходов. [33]
Закон функционирования автомата часто может быть задан в описательной форме - на обычном языке. Поскольку такая форма не является математически строгой, то принципиально нельзя получить алгоритм перехода от описательной формы задания автомата к стандартной. Такой переход должен осуществляться интуитивно. Поэтому стандартная форма задания автомата должна быть достаточно удобной не только для решения задачи синтеза, но и для перехода к ней от различных других форм задания автоматов и, прежде всего, от описательной формы. На этапе структурного синтеза в качестве такой стандартной формы задания автоматов обычно используют кодированные буквами соответствующих структурных алфавитов таблицы переходов и выходов. Кроме того, задают или выбирают набор элементарных автоматов и логических элементов. В результате выполнения этапа структурного синтеза получают структурную схему автомата, то есть способ соединения между собой элементарных автоматов и логических элементов, обеспечивающий заданные условия функционирования автомата. [34]
Строки обеих таблиц обозначаются различными буквами входного алфавита Ж автомата, а столбцы - различными его состояниями. Тем самым задание таблиц переходов и выходов определяет как множества Ж, 2), 21, так и функции переходов и выходов автомата. Для фиксирования начального состояния принято обычно обозначать этим состоянием первый слева столбец обеих упомянутых таблиц. Таким образом, удается задавать с помощью двух таблиц произвольные конечные автоматы, в том числе и инициальные. Другим способом задания конечных автоматов, обеспечивающим большую наглядность, является задание автоматов с помощью направленных графов. Вершины графа ( изображаемые на рисунках в виде кружочков) отождествляются с различными состояниями автомата. [35]