Автоматизираното програмиране е парадигма за компютърно програмиране, която разглежда части от програмата като крайни автомати. Всеки автомат може да поеме една "стъпка" в даден момент и изпълнението на програмата се разбива на отделни стъпки. Стъпките общуват помежду си чрез промяна на стойността на променлива, която представлява "състоянието", а контролният поток на програмата се определя от стойността на тази променлива.

Променливата "състояние" може да бъде прост тип данни на изчисление, но могат да се използват по-сложни структури от данни. Обща техника е да се създаде таблица за преход на състояние, двуизмерен масив, съдържащ редове, представящи всяко възможно състояние, и колони, представляващи входен параметър. Стойността на таблицата, където редът и колоната се срещат, е следващото състояние, в което машината трябва да премине, ако са изпълнени и двете условия.

Машина за крайни състояния, вход, парадигма, програмни термини