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