Pemrograman berbasis automata adalah paradigma pemrograman komputer yang memperlakukan bagian-bagian program sebagai automata terbatas. Setiap otomat dapat mengambil satu "langkah" pada satu waktu, dan eksekusi program dipecah menjadi langkah-langkah individual. Langkah-langkah berkomunikasi satu sama lain dengan mengubah nilai variabel yang mewakili "negara, " dan kontrol aliran program ditentukan oleh nilai variabel itu.

Variabel "state" dapat berupa tipe data enum sederhana, tetapi struktur data yang lebih kompleks dapat digunakan. Teknik yang umum adalah membuat tabel transisi keadaan, array dua dimensi yang terdiri dari baris yang mewakili setiap keadaan yang mungkin, dan kolom yang mewakili parameter input. Nilai tabel tempat baris dan kolom bertemu adalah kondisi berikutnya yang harus ditransisikan oleh mesin jika kedua kondisi terpenuhi.

Mesin negara hingga, Masukan, Paradigma, istilah Pemrograman