Automates el Langages Formels