Абстрактний автомат
З Вікіпедії, безкоштовно encyclopedia
Абстрактний автомат (також абстрактна машина, абстрактний комп'ютер; англ. abstract machine) — теоретична модель апаратної або програмної обчислювальної системи, побудована на основі теорії автоматів. Використовується як у інформатиці, так і у комп'ютерній інженерії і, зазвичай, неявно базується на парадигмі дискретного часу.
Цю статтю потрібно повністю переписати відповідно до стандартів якості Вікіпедії. (травень 2016) |
Процес, у якому переходи виконуються під впливом зовнішніх дій, моделюється за допомогою автомата. Використовуючи автомати, можна моделювати багато машин, включаючи компоненти комп'ютера, також можна дослідити питання розв'язності і складності різних задач.