Відмінності між версіями «Скінченний автомат»

нема опису редагування
(+сирий переклад)
{{Сирий переклад|en|дата=грудень 2016}}
 
'''Скінче́нний автома́т''', є — особливимособливий видомрізновид [[автомат]]у — абстракції, що використовується для описання шляху зміни стану об'єкта в залежності від досягнутогопоточного стану та інформації отриманої ззовні. Його особливістю є [[Скінченна множина|скінченність множини]] станів автомату. Поняття скінченного автомата було запропоновано як [[Математична модель|математичну модель]] технічних приладів дискретної дії, оскільки будь-який такий пристрій (в силу скінченності своїх розмірів) може мати тільки скінченну кількість станів.
 
Скінченні автомати можуть розв'язувати велику кількість задач, серед яких автоматизація проектування електронних приладів, проектування [[Комунікаційний протокол|комунікаційних протоколів]], [[синтаксичний аналіз]] та інші інженерні застосування. В [[біологія|біології]] і дослідженнях [[штучний інтелект|штучного інтелекту]], автомати або їх ієрархії іноді використовуються для описання [[Неврологія|неврологічних систем]] і в [[лінгвістика|лінгвістиці]] для описання граматики природніх [[мова|мов]].
[[Файл:Fsm parsing word nice.svg|thumb|400px|right|СА акцептор: виконує розбір слова "nice"]]
 
'''Акцептори''' і '''розпізнавачі''' (також '''виявлювачі послідовностей''') продукують двійковий вихід, кажучи або ''так'', або ''ні'' на питання прийняті автоматом вхідні дані чи ні. Всі стани СА можуть бути або допустимими або ні. Коли всі вхідні дані оброблені, якщо поточний стан є допустимим, значить вхід прийнятий; інакше відхилений. Як правило на вхід подаються символи (літери); дії не використовуються. Приклад на зображенні показує СА, який приймає слово «nice». В цьому СА єдиний допустимий стан це 7.
 
Автомат також може бути описаний як такий, що визначає мову, яка містить всі слова розпізнавані цим автоматом, але не ті які ним відхиляються; тоді ми кажемо, що ця мова ''розпізнається'' автоматом. За визначенням, мови розпізнавані СА це [[регулярні мови]], тобто мова є регулярною якщо існує деякий СА, який розпізнає її.
 
==== Початковий стан ====
9999

редагувань