22115

Синтез конечных автоматов

Лекция

Коммуникация, связь, радиоэлектроника и цифровые приборы

В ЦА выходные сигналы в данный момент времени зависят не только от значения входных сигналов в тот же момент времени но и от состояния схемы которое в свою очередь определяется значениями входных сигналов поступивших в предшествующие моменты времени. Понятие состояния введено в связи с тем что часто возникает необходимость в описании поведения систем выходные сигналы которых зависят не только от состояния входов в данный момент времени но и от некоторых предысторий т. Состояния как раз и соответствуют некоторой памяти о прошлом...

Русский

2013-08-04

31.5 KB

17 чел.

Лекция 1

Синтез конечных автоматов

 В комбинационных схемах  выходные сигналы однозначно определяются входными сигналами и не зависят от входных сигналов в предшествующие моменты времени. Сейчас мы приступаем к изучению второго большого класса схем ЦВМ, которые содержат в своем составе элементы памяти (запоминающие элементы). Эти схемы называются цифровыми автоматами (ЦА) или просто автоматами. В ЦА выходные сигналы в данный момент времени зависят не только от значения входных сигналов в тот же момент времени, но и от состояния схемы, которое, в свою очередь, определяется значениями входных сигналов, поступивших  в предшествующие моменты времени.

Введем основные понятия и определения.

Автоматом называется дискретный преобразователь информации, способный принимать различные состояния, переходить под воздействием входных сигналов из одного состояния в другое и выдавать выходные сигналы. Если множество

состояний автомата, а так же множества входных и выходных сигналов конечны, то автомат называется конечным автоматом.

Понятие состояния введено в связи с тем, что часто возникает необходимость в описании поведения систем, выходные сигналы которых зависят не только от состояния входов в данный момент времени, но и от некоторых предысторий, т.е. от сигналов, которые поступали на входы системы ранее. Состояния как раз и соответствуют  некоторой памяти о прошлом, позволяя устранить время как явную переменную и выразить выходные сигналы как функцию состояний и входов в данный момент времени.

Информацию, поступающую на вход автомата, а так же выходную информацию принято кодировать конечной совокупностью символов. Эту совокупность называют алфавитом, отдельные символы, образующие алфавит – буквами, а любые упорядоченные последовательности букв данного алфавита – словами в этом алфавите.

Например. В алфавите X = (x1, x2), состоящем из двух букв, словами будут: x1, x2, x1x1, x1x2, x2x1,x2x2, x1x1x1, и т.д.

Наряду со словами, состоящими не менее чем из одной буквы, введем слово, не содержащее ни одной буквы, которую будем обозначать символом е  и называть пустым словом или пустой буквой.

Математической моделью реального конечного автомата является абстрактный автомат, который имеет один входной канал и один выходной канал.

 

 X    y(y1,y2,…,yk)

Автомат функционирует в дискретные моменты времени, интервал между которыми Т называется тактом. При этом в каждый дискретный момент времени на вход автомата поступает одна буква входного алфавита, автомат переходит из одного состояния в другое и выдается одна буква выходного алфавита. В зависимости от того, как задается длительность такта Т, различают автоматы синхронного действия  (T = const) и асинхронного действия (T const). Мы будем рассматривать, в основном, синхронные автоматы, функционирующие в дискретные моменты времени, которые можно обозначить  целыми не отрицательными натуральными числами, t=0,1,2,3,…., имеющими смысл номера такта.

 Для задания конечного автомата S необходимо задавать совокупность из пяти объектов: S(A, X, Y, , ), где

A = {a0,a1,a2,...,an} – множество внутренних состояний автомата,

X = {x1, x2,…, xm} – множество входных сигналов (входной алфавит), Xi буква входного алфавита, Y = {y1, y2,…, yk} – множество выходных сигналов (выходной алфавит), - функция переходов, определяющая состояние автомата a(t+1), в котором автомат будет находиться в момент времени (t+1), в зависимости от состояния автомата a(t) и входного сигнала x(t)  в момент времени t, т.е. a(t+1) = [a(t),x(t)], - функция выходов, определяющая значение выходного сигнала y(t) в зависимости от состояния автомата a(t) и входного сигнала x(t)  в момент времени t, т.е. y(t) = [a(t), x(t)]. Автомат работает следующим образом: в каждый момент времени t он находится в определенном состоянии a(t) из множества А возможных состояний, причем в начальный момент времени t = 0, он всегда находится в состоянии a(t = 0) = a0. В момент времени t автомат воспринимает входной сигнал x(t), выдает выходной сигнал y(t) = [a(t), x(t)] и переходит в следующее состояние a(t+1) = [a(t), x(t)]. Другими словами, абстрактный автомат каждой паре символов a(t) и x(t) ставит в однозначное соответствие пару символов a(t+1) и y(t). Такие автоматы называют детерминированными. Преобразование информации в детерминированных автоматах подчиняется следующим условиям:

  1.  Любое входное слово длинною l букв, преобразуется в выходное слово той же длины.

2. Если каждый раз перед подачей входных сигналов автомат находится в одном и том же состоянии, то при совпадении в двух входных словах первых l1 букв, в выходных словах первые l1 букв тоже совпадут.

Кроме детерминированных автоматов существуют вероятностные или стохастические автоматы, в которых переход из одного состояния в другое под воздействием случайных или детерминированных входных сигналов происходит случайно. Работа таких автоматов описывается уже матрицей переходов , элементами которой являются вероятности переходов из одного состояния в другое.

Мы  будем изучать детерминированные автоматы.

Применяемые на практике автоматы принято разделять на два класса: - это автоматы Мили и автоматы Мура, названные так по имени американских ученых, которые впервые начали их изучать.

Закон функционирования автоматов Мили описывается следующей системой уравнений:

a(t + 1) = [a(t),x(t)]

y(t) = [a(t),x(t)]   .

t = 0,1,2,3…  

Работа автоматов Мура задается следующими уравнениями:

 

a(t + 1) = [a(t),x(t)]  

   .

y(t) = [a(t)]  

Отличительной особенностью автоматов Мили является то, что их выходные сигналы зависят как от состояния автомата, так и от значения входного сигнала. В автоматах Мура выходные сигналы y(t) в каждый дискретный момент времени t однозначно определяются состоянием автомата в тот же момент времени и не зависят от значения входного сигнала.


 

А также другие работы, которые могут Вас заинтересовать

29638. Опрос как процесс, фазы опроса. Способы создания мотивации к участию в опросе 30 KB
  Метод опроса применяется когда необходимо получить информацию о явлениях и процессах которые недоступны прямому наблюдению и недостаточно полно отражены в анализируемых документах. Достоинства метода опроса. С помощью метода опроса мы можем за относительно короткий период опросить большое число респондентов и достаточно быстро получить большие объемы информации.
29639. Анкета как документ анкетного опроса. Классификация вопросов анкеты 31 KB
  Классификация вопросов анкеты. Анкета – инструмент опроса структурно организованный набор вопросов выраженных на языке респондента каждый из которых логически связан с центральной проблемой исследования. В ней предполагается жестко фиксированный порядок содержание и форма вопросов ясное указание способов ответа. Вопрос анкеты – это письменное обращение к респонденту с целью выявления информации относящейся к предметному содержанию исследования.
29640. Язык и композиция вопросов анкеты 36.5 KB
  Виды вопросов по форме: Закрытый вопрос – вопрос с фиксированными и изначально заданными вариантами ответов. Открытый вопрос – вопрос ответ на который дается в свободной форме отсутствуют изначально заданные варианты ответов. Открытый вопрос используется: для проверки знаний для исследования новых тем и индивидуального многообразия для выявления аргументов по некоторым вопросам.
29641. Интервью в социологическом исследовании. Классификация видов интервью 28 KB
  Классификация видов интервью. Интервью – проводимая по определенному плану беседа целенаправленное общение предполагающая прямой контакт интервьюера с опрашиваемым. Интервьюер лицо ведущее непосредственное общение с респондентом при помощи вопросника с целью сбора информации обеспечивающее правильное и надежное использование инструмента исследования.
29642. Эффект интервьюера в классическом социологическом исследовании 24 KB
  Эффект интервьюера в классическом социологическом исследовании. Задача интервьюера – максимально снизить эффект интервьюера собственным поведением внешним видом и т. Эффект интервьюера: понятие и основные формы. В современной социологии эффект интервьюера обычно определяется как тенденция полученных в исследовании ответов варьировать в зависимости от закрепленных за респондентами интервьюеров .
29643. Экспертный опрос в социологическом исследовании. Виды экспертного опроса 40 KB
  Помимо разделения опросных методов на анкетирование и интервьюирование существует еще одна важная классификация опросов массовые и экспертные опросы. По характеру деятельности экспертов экспертные опросы делятся на две группы: индивидуальные методы предполагают индивидуальную работу исследователей с каждым из привлеченных экспертов групповые методы экспертизы групповые методы предполагают коллективную работу экспертов они требуют согласования мнений всех экспертов и разработку общего экспертного вывода на основе консенсуса. Если...
29644. Способы подбора экспертов в социологическом исследовании 35 KB
  Способы подбора экспертов в социологическом исследовании. Методы формирования группы экспертов I. Субъективный подход: предполагает привлечение к процедуре отбора самих потенциальных экспертов либо научной общественности из среды которой они отбираются Каждый их этих подходов предполагает определенные методы подбора экспертов см. Таблицу Объективные и субъективные методы формирования группы экспертов Объективный подход Субъективный подход 1.
29645. Метод наблюдения в социологическом исследовании. Виды наблюдения. Опыт использования в социологии 36.5 KB
  Виды наблюдения. Метод наблюдения в соцом исследовании используется в 2х смыслах широком и узком . В узком смысле – наблюдения – конкретезированный метод соц.
29646. Основные цели и задачи деятельности ИПБ 26 KB
  Активное участие в создании и деятельности ИПБ принимает Минфин РФ. ИПБ РФ объединяет аттестованных профессиональных бухгалтеров и аудиторов. ИПБ России имеет на территории страны свои филиалы и представительства которые являются его обособленными подразделениями.