Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.intsys.msu.ru/study/TDF/avt-2.htm
Дата изменения: Unknown
Дата индексирования: Sat Apr 9 23:05:09 2016
Кодировка: Windows-1251
Интеллектуальные системы :: Учеба :: ТДФ :: Конечные автоматы, способы их задания
English version of this page
На главную страницу
Официальный сайт кафедры Математической теории интеллектуальных систем и
лаборатории Проблем теоретической кибернетики
механико-математического факультета МГУ им. М. В. Ломоносова
На первую страницу сервера Новости Кафедра Сотрудники Учеба Наука Исследования Журнал Культура Полнотекстовый поиск по серверу

Конечные автоматы, способы их задания

 

2.1. Построить диаграмму Мура, каноническую таблицу и канонические уравнения для функции φ:

1) y(2t-1)=x(2t-1), y(2t)=x(2t)+y(2t-1)

2) y(1)=1, y(t)=x(t-1)+x(t)

3) y(3t-2)=x(3t-2)+1, y(3t-1)=x(3t-2), y(3t)=x(3t)∙y(3t-1)

 

2.2. Найти вес ОД-функции, заданной каноническими уравнениями:

1) y(t)=x(t)+q1(t-1)+q2(t-1)

q1(t)=x(t) ~ q1(t-1)

q2(t)=(x(t) → (q1(t-1)+1)) → ((x(t)+1) → (q1(t-1)+1))

q1(t)= q2(t)=1

2) y(t)= (x(t) → q2(t-1)) → q1(t-1)

q1(t)=q1(t-1) → (x(t) → q2(t-1))

q2(t)= q2(t-1) → x(t)

q1(t)= q2(t)=0

 

2.3. Построить канонические уравнения и диаграмму Мура для функции,получающейся из φ введением обратной связи по переменным x2, y1:

1) y1(t)=q(t-1) → x1(t)(x3(t)+1)

y2(t)=x2(t) V (x1(t) → q1(t-1))

q(t)=x2(t) + q(t-1)+1

q(0)=0

2) y1(t)=(q(t-1)+1) → x1(t)x3(t)

y2(t)=(x1(t) | q1(t-1)) V x2(t)

q(t)=x2(t) + q(t-1)

q(0)=0

 

 

Список задач по автоматам

   ї 2001-2015 г. Кафедра Математической теории интеллектуальных систем, лаборатория Проблем теоретической кибернетики Написать вебмастеру   
XWare
 Полнотекстовый поиск
 
Только точная форма слов      Выводить по результатов на странице
Rambler's Top100 Рейтинг@Mail.ru