Читать книгу Wprowadzenie do teorii obliczeń - Michael Sipser - Страница 17

Teoria automatów zajmuje się definicjami i własnościami matematycznych modeli obliczeń. Modele te odgrywają rolę w wielu stosowanych obszarach informatyki. Jeden z tych modeli, nazywany automatem skończonym, jest wykorzystywany w projektowaniu przetwarzania tekstów, kompilatorów i sprzętu. Inny model, nazywany gramatyką bezkontekstową, jest używany w językach programowania i projektowaniu sztucznej inteligencji.

Teoria automatów jest doskonałym miejscem do rozpoczęcia studiów nad teorią obliczeń. Teorie obliczalności i złożoności wymagają precyzyjnego zdefiniowania, czym jest komputer. Teoria automatów pozwala na przećwiczenie formalnych definicji obliczeń, jako że wprowadza idee istotne dla innych, nieteoretycznych obszarów informatyki.