Файл: Вопросы к экзамену Строки. Префиксы, суффиксы, подстроки. Формальные языки.docx
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 17.10.2024
Просмотров: 18
Скачиваний: 0
ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.
_____________________Вопрос 36____________________
Соединение автоматов: параллельное, последовательное.
Параллельное:
В результате получается автомат
A=A1*A2
W=фи(W1*W2)
-ф-я переходов
- ф-я выходов.,
Рассмотрим 2 автомата, заданные таблицами переходов-выходов и функцию фи.
Последовательное:
При послед. соединении число выходов автом S1 и число входов авт S2 должны совпадать.
Единственное отличие от парал соединения это функция выходов А=А1*А2 Z2=w1 и w=w2
_____________________Вопрос 37____________________
Соединение автоматов с обратной связью.
Соединения с обратной связью:
Хотя бы один должен быть автоматом Мура.
Если ав-т нах-ся в сост-ии а2,т.е.S1 в сост-ии а11, а S2 в сост-ии а22.S2 в сост-ии а22 выраб-т сигнал w2'кот-й поступает на 2й вход элемента γ. На 1й вход элем-а γ пост-т вход.сигнал из мн-ва z, пусть б/т z1, тогда по таблице γ находим что по z1 и w2'выраб-ся сиг-л р2, кот-й поступ-т на вход ав-та S1. По условию ав-т S1 нах-ся в сост-ии а11. под дейст-м р2 он переходит в а21, выраб-вая при этом w3",кот-й явл-ся одновременно и выходным сиг-м эквив-го ав-та и входным для S2. Ав-т S2, находясь по умолчанию в сост-ии а22 под дейс-м w3" переходит в а12. на этом реакция на дан.вход.сигнал заканч-ся. Окончательно из а2 под дейс-м z1 ав-т переходит в а3 с выроботкой w3". |
___________________Вопрос 38___________________
Синтез схем по временным булевым функциям(ВБФ)
Работа реальных автоматов, происходит во времени, чтобы описать работу реальных автоматов вводят понятие автоматного времени. Вводит в себя последовательность временных интервалов на к-е разбито все время работы автомата. S- число интервалов. 0, 1…- длит. врем. интервалов. В течение каждого интервала, время считается остановившимся, и тогда логика работы автомата будет описываться только лог. переменными.
Синтез:
-
строим временную диаграмму. Сколько проводов, столько интервалов. -
Функцию представим в виде логических функций -
По уравнениям строим логическую схему, реализующую ВБФ.
___________________Вопрос 39____________________
Синтез и анализ последовательностных автоматов.
РБФ - лог. ф-я, зависящая от текущих и от предшествующих значений ф-ци.
Значения y(t+1) получаются задержкой сигнала y(t) на J тактов с помощью операторов задержки D. x-входные переменные, у- сигналы обратной связи. Пример, поступают только сигналы обратной связи.
Задание РБФ всегда должно происходить с оговоренными начальными условиями. Пусть обратная связь осуществляется с задержкой на 1 такт, тогда:
Схемы описываемые уравнениями
и заданными нач. условиями, называются последовательностными автоматами.
Чтобы провести анализ последовательностной схемы, необходимо:
-
получить мат. модель -
По полученной математической модели, строим таблицу истинности -
по таблице истинности и начальным условиям строим таблицу переходов. -
выявляем наличие циклов -
Строим круговую диаграмму -
Выписываем циклы и тупиковые состояния
Все состояния автомата должны быть проверены на тупиковые состояния, если имеется хотя бы 1 такое состояние, необходимо предусмотреть меры, обеспечивающие невозмножность попадание в него.
___________________Вопрос 43____________________
Определение абстрактного автомата. Автоматы Мура и Мили.
Абстрактная теория изучает лишь переходы, к-е выполняет автомат под воздействием входных сигналов и те выходные сигналы, к-е он выдает. Не рассмат-я структуру автомата. Абстрактный автомат имеет один вход и один выход. Абстрактный автомат- мат. модель дискретного устройства, заданная: : S=(A,Z,W,сигма,лямда,а0) :
1. A={a1, a2, ... ,am} - множество состояний автомата
2. Z={z1, z2, ... ,zf} - множество входных сигналов
3. W={w1, w2, ..., wg} - множество выходных сигналов
4. сигма- функция переходов, показыв в какое сост аs перейдёт авт-т,находясь в сост am ,при входном сигнале zf .
5. лямда - функция выходов,показ. в какой выходной сигнал вырабатыв на выходе авт-та am под действием сигнала zf
6. a0 - начальное состояние автомата.
Абстрактный автомат называется конечным, если конечны множества А = {a1, a2, ..., am}, Z = {z1, z2, ..., zf}, W = {w1, w2, ..., wg}. Автомат называется конечным, если множество его внутренних состояний, а также множества значений входных и выходных сигналов конечны.
Конечный автомат в графическом представлении-это направленный граф,имеющий один начальный и один или несколько конечных узлов.
В каждый момент t дискретного времени автомат находится в некотором состоянии a(t) из множества состояний автомата, причем в начальный момент t = 0 он всегда находится в начальном состоянии a(0)=a1. В момент t, будучи в состоянии a(t), автомат воспринимает сигнал z(t) на входном канале, и вырабатывает на выходном канале сигнал W(t)=лямда(a(t), z(t)) и в соответствии с функцией переходов перейдет в следующее состояние a(t+1)=сигма[a(t), z(t)]
Распространенные Мили и Мура.
Мили(1ый род R):
Мура(2ой род S):
Видно, что, в отличие от автомата Мили, выходной сигнал в автомате Мура зависит только от текущего состояния автомата и в явном виде не зависит от входного сигнала.
Автомат Мура можно рассматривать как частный случай автомата Мили, имея в виду, что последовательность состояний выходов автомата Мили опережает на один такт последовательность состояний выходов автомата Мура, т.е различие между автоматами Мили и Мура состоит в том, что в автоматах Мили состояние выхода возникает одновременно с вызывающим его состоянием входа, а в автоматах Мура - с задержкой на один такт, т.к в автоматах Мура входные сигналы изменяют только состояние автомата.
___________________Вопрос 44____________________
Способы задания автоматов.
Табличный метод:
Мили задается двумя таблицами 1ая сигма, 2ая лямда.
Часто эти две табл совмещ в одну и она наз совмещённой табл переходов-выходов:
Поскольку в автоматах Мура выходной сигнал зависит только от состояния, он задается только одной таблицей.
Графический метод:
Задается в виде ориентированного графа, вершины которого соответствуют состояниям, а дуги - переходам между ними. Дуга, направленная из вершины am, задает переход в автомате из состояния am в состояние as. В начале этой дуги записывается входной сигнал Zf, вызывающий данный переход as=сигма(am,zf). Для графа автомата Мили выходной сигнал wg формируемый на переходе, записывается в конце дуги, а для автомата Мура - рядом с вершиной am, отмеченной состоянием am, в котором он формируется.
Автоматы могут быть заданы с помощью матриц:
Читается так, из состояния а0 в состояние а1 переходит под действием сигнала z1, при этом вырабатывается выходной сигнал w1.
___________Вопрос 45(совпадает с 21, читай выше)___________
___________________Вопрос 47____________________
Элементарные автоматы RS-, D-, DV- триггеры.
Триггер - устройство, имеющее 2 устойчивых состояния, в к-е он переходит под действием определенных входных сигналов.
D-триггер – элемент задержки – имеет один информационный вход D и один выход Q и осуществляет задержку поступившего на его вход сигнала на один такт.
Граф
RS-триггер – триггер с раздельными входами.Данный триггер имеет два входных канала R и S и один выходной Q. Вход S (set) называется входом установки в единицу, вход R (reset) – входом установки в нуль.
Граф, описывающий поведение RS триггера
На основе графа может быть составлена таблица, в к-й указаны значения входов для осуществления всевозможных переходов триггера.
DV- триггер
___________________Вопрос 48____________________
Элементарные автоматы JK-, T- триггеры.
T триггер реализует