На головну

теорія Автоматів

  1.  I. ТЕОРІЯ (32 години)
  2.  III. Загальна теорія неврозів
  3.  Quot; Соціологізму "як соціальна теорія
  4.  V. ПСИХОАНАЛІТИЧНА ТЕОРІЯ ОСОБИСТОСТІ
  5.  XIII. Теорія відтворення Дестюта де Траси
  6.  А. Маслоу (Maslow A.H.): теорія самоактуалізації
  7.  Адміністративна теорія А. Файоля

поняття автомата

автомат - дискретний перетворювач інформації, на вхід якого надходять вхідні послідовності сигналів (вхідні слова). Він формує вихідні послідовності сигналів на підставі своїх внутрішніх станів і вхідний послідовності сигналів.

В курсі розглядається абстрактна теорія автоматів.

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

Чи не розглянута тут структурна теорія автоматів займається реалізацій абстрактного автомата за допомогою фізичних сутностей, на зразок елементів пам'яті (наприклад, тригерів) і комбінаційних (логічних) схем ...

Будемо мати на увазі дві ключові абстракції:

1. Автомат функціонує в абстрактному часу.

2. Всі переходи відбуваються миттєво.

Автомат є система шести об'єктів:

a = 0>

X = {x1, ..., Xn} - Кінцевий вхідний алфавіт (безліч вхідних сигналів).

Y = {y1, ..., Ym} - Кінцевий вихідний алфавіт (безліч вихідних сигналів).

Q = {q0, q1, ..., Qk} - Безліч стану автомата.

Якщо безліч звичайно автомат називається кінцевим.

f (q, x) - функція переходів.

j (q, x) - функція виходів.

q0 I Q - початковий стан.

 




 функціональна повнота |  логіка предикатів |  Основні равносильности для предикатів |  отримання диз'юнктів |  Аксіоматична теорія обчислення висловлювань |  Несуперечливість і повнота аксіоматичної теорії числення висловів |  Аксіоматичні теорії першого порядку |  система Генцен |  система Аристотеля |  Категоричні висловлювання. |

© um.co.ua - учбові матеріали та реферати