Otomata, belirli kurallara göre çalışan, genellikle mekanik veya dijital sistemlerdir. Bilgisayar bilimlerinde ise otomata, hesaplama süreçlerini temsil eden soyut matematiksel modeller olarak tanımlanır. Bazı otomata türleri: - Sonlu Otomata (FA): Normal dilleri tanımak için kullanılır. - Pushdown Automata (PDA): Bağlamdan bağımsız dilleri tanımak için bir yığın kullanır. - Turing Makineleri: Tüm algoritmaları ifade edebilen en yetenekli hesaplama modelidir.