Tutoriel sur la théorie des automates

Automata Theoryest une branche de l'informatique qui traite de la conception de dispositifs informatiques abstraits autopropulsés qui suivent automatiquement une séquence prédéterminée d'opérations. Un automate avec un nombre fini d'états est appelé unFinite Automaton. Il s'agit d'un tutoriel bref et concis qui présente les concepts fondamentaux des automates finis, des langages réguliers et des automates pushdown avant de passer aux machines de Turing et à la décidabilité.

Ce tutoriel a été préparé pour les étudiants poursuivant un diplôme dans tout domaine lié aux technologies de l'information ou à l'informatique. Il tente d'aider les étudiants à saisir les concepts essentiels impliqués dans la théorie des automates.

Ce tutoriel présente un bon équilibre entre théorie et rigueur mathématique. Les lecteurs doivent avoir une compréhension de base des structures mathématiques discrètes.