En informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul 1. Cette théorie est le fondement de plusieurs branches importantes de l'informatique théorique, comme :
Le langage reconnu par un automate est l’ensemble des chaînes qu’il accepte. Ensemble des chaînes construites sur f0; 1g comportant une suite de caractères 01. Q un ensemble d’états. un ensemble de symboles d’entrée (alphabet). une fonction de transition qui prend comme argument un état et un symbole d’entrée et qui retourne un état. : Q ! Q.
Quelques concepts fondamentaux de la théorie des langages formels et Quelques concepts fondamentaux de la combinatoire sur les mots. La combinatoire des mots étudie les propriétés des suites de symboles.
Cette théorie est le fondement de plusieurs branches importantes de l'informatique théorique. La théorie des automates est l'étude des machines abstraites qui permettent de formaliser les méthodes de calcul. L'objet traité par un automate est un mot d'un langage. On représente chaque instance d'un « problème » par un mot.