Скінченний автомат
З Вікіпедії, безкоштовно encyclopedia
Скінче́нний автома́т (англ. finite-state machine, автомат зі скінченною множиною станів) — модель що використовується для опису зміни стану об'єкта в залежності від поточного стану та інформації отриманої ззовні. Поняття скінченного автомата було запропоновано як математичну модель дискретних приладів, оскільки будь-який такий прилад (через скінченність своїх розмірів) може мати тільки скінченну кількість станів.
Скінченні автомати допомагають розв'язувати багато задач, серед яких автоматизація проєктування електронних приладів, проєктування комунікаційних протоколів, синтаксичний аналіз та інші інженерні застосування. В біології і дослідженнях штучного інтелекту, автомати або їх ієрархії іноді використовуються для опису неврологічних систем і в лінгвістиці для опису граматики природних мов.