Otoma teorisi önemlidir, çünkü bilim adamlarının makinelerin sorunları nasıl çözdüklerini anlamalarını sağlar. Otomaton, bilgileri farklı biçimlere dönüştürmek için belirli, tekrarlanabilir bir işlem kullanan herhangi bir makinedir. Modern bilgisayarlar ortak bir otomat örneğidir.
Bilim adamları otomata teorisini çalışmadıysa, belirli girdi ve çıktılara dayanarak tekrarlanabilir eylemler gerçekleştirebilecek sistemleri tasarlamada çok daha zor zamanlar olurdu. Bilim adamları, kişisel bilgisayar sistemleri, otomatik uçak pilotları ve daha pek çoğu gibi belirli görevleri otomat teorisi kullanarak gerçekleştirebilecek sistemler tasarlayabilirler.
Birkaç başka otomasyon örneği var. Bunlar, sarkaçlı saat gibi temel cihazlardan füze yönlendirme sistemlerine ve karmaşık telefon ağlarına kadar uzanır.
Termostatlar, bilinen bir otomat örneğidir. Bir termostat, çevresindeki ortamın sıcaklığını belirli aralıklarla kontrol eder ve ardından sıcaklık belirli bir seviyeye ulaştığında açılır. Bu durumda, termostat için sadece iki potansiyel durum vardır: açık veya kapalı.
Otomatlar bir termostattan çok daha karmaşık olabilir. Modern bilgisayarların çok sayıda veri girişi ve potansiyel durumu vardır. Otomatik veri teorisi, güvenilir çıktılar üreterek girdilere yanıt veren bilgisayarları tasarlamak için kullanılır.
