Файл: Вопросы к экзамену Строки. Префиксы, суффиксы, подстроки. Формальные языки.docx

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 17.10.2024

Просмотров: 18

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.


_____________________Вопрос 36____________________

Соединение автоматов: параллельное, последовательное.

Параллельное:





В результате получается автомат

A=A1*A2

W=фи(W1*W2)

-ф-я переходов

- ф-я выходов.,

Рассмотрим 2 автомата, заданные таблицами переходов-выходов и функцию фи.







Последовательное:



При послед. соединении число выходов автом S1 и число входов авт S2 должны совпадать.

Единственное отличие от парал соединения это функция выходов А=А12  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…- длит. врем. интервалов. В течение каждого интервала, время считается остановившимся, и тогда логика работы автомата будет описываться только лог. переменными.



Синтез:

  1. строим временную диаграмму. Сколько проводов, столько интервалов.

  2. Функцию представим в виде логических функций

  3. По уравнениям строим логическую схему, реализующую ВБФ.


___________________Вопрос 39____________________

Синтез и анализ последовательностных автоматов.

РБФ - лог. ф-я, зависящая от текущих и от предшествующих значений ф-ци.



Значения y(t+1)  получаются задержкой сигнала y(t) на J тактов с помощью операторов задержки D. x-входные переменные, у- сигналы обратной связи. Пример, поступают только сигналы обратной связи.



Задание РБФ всегда должно происходить с оговоренными начальными условиями. Пусть обратная связь осуществляется с задержкой на 1 такт, тогда:



Схемы описываемые уравнениями

и заданными нач. условиями, называются последовательностными автоматами.

Чтобы провести анализ последовательностной схемы, необходимо:

  1. получить мат. модель

  2. По полученной математической модели, строим таблицу истинности

  3. по таблице истинности и начальным условиям строим таблицу переходов.

  4. выявляем наличие циклов

  5. Строим круговую диаграмму

  6. Выписываем циклы  и тупиковые состояния

Все состояния автомата должны быть проверены на тупиковые состояния, если имеется хотя бы 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 триггер реализует