важно ТА. Различие конечных автоматов мили и мура
 Скачать 13.97 Kb.
|
|
https://ru.wikipedia.org/wiki/%D0%9A%D0%BE%D0%BD%D0%B5%D1%87%D0%BD%D1%8B%D0%B9_%D0%B0%D0%B2%D1%82%D0%BE%D0%BC%D0%B0%D1%82#%D0%94%D0%B5%D1%82%D0%B5%D1%80%D0%BC%D0%B8%D0%BD%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%BD%D0%BE%D1%81%D1%82%D1%8C Различие конечных автоматов мили и мура Различают два класса КА: автоматы Мура — КА, у которых выходной сигнал зависит только от внутреннего состояния, по рисунку у автомата Мура нет связи от входа x ( t ) {\displaystyle x(t)} к функции выхода λ {\displaystyle \lambda } и автоматы Мили — выходной сигнал зависит как от внутреннего состояния, так и от состояния входа. Автоматы м.б.полностью определёнными и частичными, ,синхрон и асинхрон,детерминир и вероятностными. Полностью определенным называется абстрактный цифровой автомат, у которого функция переходов и функция выходов определены для всех пар ( ai, zj ). Частичным называется абстрактный автомат, у которого функция переходов или функция выходов, или обе эти функции определены не для всех пар ( ai, zj ). Для определения синхронных и асинхронных автоматов вводится понятие устойчивого состояния. Состояние as автомата называется устойчивым, если для любого состояния ai и входного сигнала zj таких, что ( ai, zj ) = as имеет место ( as, zj ) = as, т.е. состояние устойчиво, если попав в это состояние под действием некоторого сигнала zj, автомат выйдет из него только под действием другого сигнала zk, отличного от zj. Синхрон автоматы-это автоматы ,кот совершают переход из одного сост в др в строго определён момент времени,кот задаются внешним генератором временных интерв-ов. Синхронный автомат характеризуется тем, что функционирует под управлением тактовых ( или синхронизирующих ) сигналов (ТС), имеющих постоянну. длительность и постоянну. частоту, если квантование времени выбрано равномерным. Такт времени ti совмещается с фронтом i-того сигнала ТС. Входные сигналы xk(t) могут воздействовать на автомат лишь при наличии сигнала ТС и не изменяются в течение его длительности. Когда рассматривается абстрактный автомат, то считается, что изменение внутренних состояний автомата aj(t) происходит в интервалы времении между смежными ТС, а выходные сигналы yz(t) формируются по фронту очередного ТС. Синхрон автоматы-это автоматы ,кот совершают переход из одного сост в др в строго определён момент времени,кот задаются внешним генератором временных интерв-ов. Асинхронный автомат - у этого автомата длительность интервала времени, в течение которого остается неизменным состояние входных сигналов xk(t), является величиной переменной и определяется временем, которое необходимо автомату для установки соответствующих выходных сигналов yz(t) и завершения перехода в новое состояние aj(t). Следовательно, асинхронный автомат должен формировать сигнал о завершении очередного такта, по которому текущие входные сигналы могут быть сняты, после чего может начаться следующий такт, т.е. возможно поступление новых входных сигналов. Асинхрон автоматы-это автоматы,не имеющие внеш генератора,переходы в нём осущ в те моменты времени,когда выполн усл-ия для выполн-ия переходов. Автомат, у которого все состояния устойчивы - асинхронный. Асинхрон автоматы-это автоматы,не имеющие внеш генератора,переходы в нём осущ в те моменты времени,когда выполн усл-ия для выполн-ия переходов. Автомат, у которого все состояния устойчивы - асинхронный. К детерминированным относятся автоматы, у которых выполнено условие однозначности переходов: автомат, находящийся в некотором состоянии ai, под действием любого входного сигнала zj не может перейти более, чем в одно состояние. В противном случае это будет вероятностный автомат, в котором при заданном состоянии ai и заданном входном сигнале zj возможен переход с заданной вероятностью в различные состояния.Вероятностный автомат-это автомат,в кот есть хотя бы один узел с исходящими из него дугами,помеченными одинак символами. |