Автомат скінченний

Матеріал з Вікіпедії — вільної енциклопедії.

Скінче́нний автома́т, є особливим видом автомату — абстракції, що використовується для описання шляху зміни стану об'єкту в залежності від досягнутого стану та інформації отриманої ззовні. Його особливістю є скінченність множини станів автомату.

[ред.] Визначення понять та опис будови

Формально скінченний автомат — записується як п'ятірка <A, X, Y, δ, λ>, де A, X, Y — скінченні множини, які називаються відповідно множиною внутрішніх станів, множиною вхідних сигналів, та множиною вихідних сигналів, δ: A × X → A — функція переходів, λ: A × X → Y — функція виходів. Якщо δ та λ — однозначні функції, то автомат відноситься до класу детермінованих, якщо хоча б одна з них є неоднозначною — то до класу недетермінованих.

Поняття скінченного автомата було запропоновано в якості математичної моделі технічних приладів дискретної дії, оскільки будь який такий пристрій (в силу скінченності своїх розмірів) може мати тільки скінченну кількість станів.

Теорія скінченних автоматів, будучи основною складовою частиною загальної теорії автоматів, має велике прикладне значення, зокрема, її методи застосовуються при проектуванні цифрових ЕОМ та інших автоматичних приладів.

[ред.] Джерела інформації

• Енциклопедія кібернетики, Кратко М. І., т. 1, с. 22.

[ред.] Дивіться також

Це незавершена стаття з математики. Ви можете допомогти проекту, виправивши або дописавши її.