Анализ и синтез на логически схеми
Класификация на автоматите
Изтегляне 1.14 Mb.
|
Свързани:
an-architectural-reassessment-of-a-villa-rustica-near-serdica, New Microsoft PowerPoint Presentation, кр цсх
- Навигация на страницата:
- 3. Представяне на абстрактните автомати.
| 2. Класификация на автоматите.
2.1. Класификация според вида на функциите и . Законът за функциониране на автомата на Мили се задава със следните уравнения: където t=0,1,2,...; a(0)=a1. Законът за функциониране на автомата на Мур се задава с уравненията: където t=0,1,2,...; a(0)=a1. В автомата на Мур изходните реакции зависят само от текущото състояние на автомата и не зависят от текущото входно въздействие. 2.2. Класификация според вида на множеството A. - автомат с памет (последователностна схема) - множеството A={a1,a2,...,ap} има n елемента и n се нарича дълбочина на паметта. - автомат без памет (комбинационна логическа схема) - множеството А=0. Автоматът извършва прекодиране на думите от входната азбука в думи от изходната азбука. Прието е автоматите без памет за по-кратко да се наричат комбинационни схеми, а автоматите с памет да се наричат просто автомати. 2.3. Класификация в зависимост от продължителността на интервала от време, през който входният сигнал не се изменя: - синхронен автомат - входните въздействия са активни само при наличие на синхронизиращи сигнали; - асинхронен автомат - интервалът от време, през който входното въздействие е активно, е променлива величина, която варира в широки граници. Приема се, че при асинхронния автомат входните въздействия се променят, само когато той е преминал в ново състояние. Съществуват и други признаци, по които автоматите могат да бъдат класифицирани. 3. Представяне на абстрактните автомати. Съществуват формални езици за описване на алгоритмите на функциониране на автоматите. За да се представи крайният автомат S, е необходимо да се определят всички елементи на множеството , т.е. да се определи входната и изходна азбука и азбуката на състоянията, като се определи и началното състояние a1. Трябва да се зададат и функциите на преходите и изходите. Начинът на тяхното записване определя и различните методи за представяне на абстрактните автомати[1,12]. 3.1. Табличен метод - функциите се задават чрез таблица на преходите и таблица на изходите. Таблиците имат толкова реда, колкото са различните входни въздействия Z и толкова колонки, колкото са състоянията на автомата. На пресечната точка на колонка с ред в таблицата на преходите се записва състоянието, в което ще премине автоматът в следващия момент от време в резултат на текущото входно въздействие и текущото състояние, а в таблицата на изходите - изходната реакция, която генерира автоматът в текущия момент от време. За автомата на Мур таблицата на изходите е едноредова, защото изходната реакция не зависи от текущото входно въздействие. Възможно е съвместяване на двете таблици в една, наречена съвместена таблица на преходите и изходите за автомата на Мили и белязана таблица на преходите за автомата на Мур. Пример за задаване на напълно определен автомат на Мили(S1). Пример за задаване на напълно определен автомат на Мур(S2). Пример за задаване на непълно определен автомат на Мили(S3) 3.2. Представяне чрез граф на автомата. Графите имат широко приложение, обусловено от голямата им прегледност. Използват се насочени графи, като се приемат следните съответствия: - на всяко състояние на автомата ai съответства възел от графа; - на всеки преход от състояние в състояние съответства насочена дъга, свързваща двете състояния, върху която се записва входното въздействие, предизвикващо прехода ; - при автомата на Мур изходните реакции се записват в самия възел на графа ; - при автомата на Мили изходната реакция се записва върху дъгата, излизаща от състояние ai, с присвоено входно въздействие zk. 3.3. Матрица на преходите и матрица на изходите. Mатрицата на преходите е квадратна матрица, редовете на която съответстват на текущото състояние на автомата, а стълбовете - на състоянието на прехода ai(t+1). Елементи на матрицата са условията, причинили съответните преходи. За автоматите на Мили и Мур матриците на преходите са еднотипни. Матрицата на изходите при автомата на Мили е сходна с горната, но нейните елементи са изходните реакции. При автомата на Мур матрицата на изходите представлява вектор на изходната реакция. Пример: Ако преходите между две състояния се извършват по повече от едно условие, то елемент на матрицата се явява множество от двойки zi/wi. Изтегляне 1.14 Mb. Сподели с приятели:
|