Автомат вільний - Вікіпедія

# Автомат вільний

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

Автома́т ві́льний — автомат можна розглядати як унарну універсальну алгебру A = <A, f1, ..., fk>. Автомат називається вільним, якщо алгебра A — вільна.

Наприклад, нехай дано дві множини Ω та Χ які не перетинаються. Утворимо множину слів Λ таких, що перша їхня літера — елемент множини Ω а решта (якщо вони є) — елементи множини Χ.

Утворимо тепер із отриманої множини слів Λ автомат наступним чином. кожне слово із Λ назвемо станом автомату , кожний елемент x ∈ Χ назвемо входом автомату , та, згідно із визначенням, будемо вважати, що стан q ∈ Λ під дією входу x переходить в стан qx де qx — слово із Λ, отримане приписуванням справа до слова q літери x. Отриманий автомат буде вільним автоматом (з множиною вільноутворюючих станів Ω і вільноутворючих входів Χ).

Вірне твердження: будь який інший автомат (з множиною творючих станів Ω і творючих входів Χ) є гомоморфним образом вільного автомату.

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

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

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

- Автоматів способи визначення

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

Отримано від "http://uk.wikipedia.org../../../%D0%B0/%D0%B2/%D1%82/%D0%90%D0%B2%D1%82%D0%BE%D0%BC%D0%B0%D1%82_%D0%B2%D1%96%D0%BB%D1%8C%D0%BD%D0%B8%D0%B9.html"

Категорії: Незавершені статті з математики | Теорія автоматів

##### Views

- Стаття
- Обговорення
- Поточна версія

##### Пошук