Tutorial sulla teoria degli automi

Automata Theoryè una branca dell'informatica che si occupa di progettare dispositivi informatici semoventi astratti che seguono automaticamente una sequenza predeterminata di operazioni. Un automa con un numero finito di stati è chiamato aFinite Automaton. Questo è un breve e conciso tutorial che introduce i concetti fondamentali di Finite Automata, Regular Languages ​​e Pushdown Automata prima di passare alle macchine di Turing e Decidability.

Questo tutorial è stato preparato per gli studenti che perseguono una laurea in qualsiasi campo relativo alla tecnologia dell'informazione o all'informatica. Tenta di aiutare gli studenti a comprendere i concetti essenziali coinvolti nella teoria degli automi.

Questo tutorial ha un buon equilibrio tra teoria e rigore matematico. Ci si aspetta che i lettori abbiano una conoscenza di base delle strutture matematiche discrete.