Automaattiteoria on tietojenkäsittelytieteen teoreettinen alue. Teoria syntyi 20. vuosisadalla kun matemaatikot suunnittelivat koneita, jotka suorittivat laskutoimituksia ihmistä nopeammin ja luotettavammin.[1] Automaattiteoria tarkastelee diskreetin signaalinkäsittelyn perusmalleja ja -menetelmiä.[2] Automaattiteoria käsittelee fyysisiä ja loogisia periaatteita todellisissa tai teoreettisissa tapauksissa. Esimerkiksi termostaatti on automaatti, jonka toiminta on suunniteltu vastaamaan ulkoisten ehtojen muutoksiin.[3] Automaattiteoria tarkastelee abstrakteja koneita sekä automaatteja.
Automaattiteoria on yksi tietojenkäsittelyteorioista. Sillä on iso rooli ohjelmointikielen kääntäjissä sekä jäsentimissä.lähde?