Automatik terma, juga dikenali sebagai mesin negeri atau FSM ( mesin negara terbatas ), merupakan model matematik pengkomputeran yang digunakan dalam reka bentuk program komputer dan litar logik berurut. Mereka bukan mesin sebenar, tetapi mesin abstrak yang mungkin ada di salah satu daripada beberapa negeri terhad pada satu masa.

Secara lebih jelas, automaton terhingga (tunggal) ialah mesin yang boleh beralih dari satu negara ke negara lain; ia bertindak balas dengan urutan tingkah laku yang dipratentukan apabila ia menemui peristiwa tertentu. Contohnya, automaton terhingga mudah akan menjadi stesen kereta api bawah tanah kereta bawah tanah: apabila anda menggeser tambang anda, ia berubah dari keadaan terkunci ke keadaan terkunci, dan anda kemudiannya boleh melaluinya.

Istilah elektronik, Logik, Model, mesin Turing