Automatateori är ett matematiskt och teoretiskt område inom datavetenskapen som studerar abstrakta maskiner, så kallade automater, och de beräkningsproblem de kan lösa. Den undersöker formella språk, beräkningsmodeller och gränserna för vad som kan beräknas. Teorins syfte är att formalisera begreppe.