Вятский государственный университет
Опубликован: 24.04.2008 | Доступ: свободный | Студентов: 2129 / 435 | Оценка: 3.44 / 3.17 | Длительность: 06:01:00
Специальности: Программист, Математик
Лекция 5:

Синтез структурного автомата

< Лекция 4 || Лекция 5: 12 || Лекция 6 >

5.4.Этапы синтеза

  1. Находим количество элементов памяти R>=]Log2M[, ( М - число состояний абстрактного автомата) и кодируем состояния абстрактного автомата (табл.5.1).
    Таблица 5.1.
    am\ \tau_1 \tau_2 \dots \tau_R \tau_1 \tau_2 \dots \tau_R
    a1
    a2
    aM
  2. Кодируем входные и выходные сигналы, то есть
    • находим количество входов структурного автомата L>=]Log2F[, ( F - число входных сигналов абстрактного автомата);
    • количество выходов 1 типа N>=]Log2G[ ; ( G - число выходных сигналов 1 типа);
    • количество выходов 2 типа D>=]Log2H[, ( H - число выходных сигналов 2 типа) и кодируем входные (табл.5.2) и выходные сигналы (табл.5.3) и (табл.5.4) абстрактного автомата.
      Таблица 5.2.
      z f / x 1 xL x1x2…x1
      z
      z
      z
      Таблица 5.3.
      wf/y 1y2…yN y 1y2…yN
      w1
      w2
      wG
      Таблица 5.4.
      uh/r 1 r2…rD r 1 r2…rD
      u1
      u2
      uH
  3. Структурный автомат представляем обобщенной схемой (рис.5.6).

    Рис. 5.6.
  4. Составляем закодированную таблицу выходов автомата и по ней записываем уравнения выходов.
    • y_1= y_1(\tau_1, \tau_2, \dots, \tau_R, x_1, x_2, \dots, x_L) ;
    • y_2= y_2(\tau_1, \tau_2, \dots, \tau_R, x_1, x_2, \dots, x_L) ;
    • . . .
    • y_R= y_R(\tau_1, \tau_2, \dots, \tau_R, x_1, x_2, \dots, x_L) ;
    • r_1= r_1(\tau_1, \tau_2, \dots, \tau_R) ;
    • r_2= r_2(\tau_1, \tau_2, \dots, \tau_R) ;
    • . . .
    • r_R= r_R(\tau_1, \tau_2, \dots, \tau_R) ;
    • . . .
  5. Составляем закодированную таблицу переходов автомата и по ней записываем уравнения для функций возбуждения, используя таблицы переходов соответсвующих элементов памяти.
    • \varphi_1= \varphi_1(\tau_1, \tau_2, \dots, \tau_R, x_1, x_2, \dots, x_L) ;
    • \varphi_2= \varphi_2(\tau_1, \tau_2, \dots, \tau_R, x_1, x_2, \dots, x_L) ;
    • . . .
    • \varphi_R= \varphi_R(\tau_1, \tau_2, \dots, \tau_R, x_1, x_2, \dots, x_L) ;
  6. Уравнения функций возбуждения и выходов минимизируются (по картам Карно, например) и по ним строится схема в заданном функционально - логическом базисе ({И, ИЛИ, НЕ}, {И-НЕ}, {ИЛИ-НЕ}).
< Лекция 4 || Лекция 5: 12 || Лекция 6 >
Сергей Прохоренков
Сергей Прохоренков
Владислав Нагорный
Владислав Нагорный

Подскажите, пожалуйста, планируете ли вы возобновление программ высшего образования? Если да, есть ли какие-то примерные сроки?

Спасибо!