Identifica la temàtica clau d'aquest text.
La teoria d'autòmats és una branca de les ciències de la computació que estudia les màquines abstractes i els problemes que aquestes són capaces de resoldre. La teoria d'autòmats està íntimament relacionada amb la teoria del llenguatge formal, ja que els autòmats es classifiquen sovint per les classes de llenguatges formals que són capaces de reconèixer. Un autòmat és un model matemàtic per una màquina d'estats finits (FSM en les seves sigles en anglès). Una FSM és una màquina que, donada una entrada de símbols, "salta" a través d'una sèrie d'estats d'acord amb una funció de transició (que pot ser expressada com una taula). Si la màquina d'estats és del tipus anomenat "Mealy", aquesta funció de transició depèn de l'estat en què es troba la màquina i dels símbols d'entrada. L'entrada és llegida símbol a símbol, fins que és "consumida" completament (es pot pensar com una cinta amb una sèrie de símbols escrits, que es va llegint per un capçal lector; el capçal es mou al llarg de la cita, llegint un símbol a cada pas) un cop la cinta s'esgota, l'autòmat es deté. Depenent de l'estat en el que l'autòmat finalitza es diu que aquest ha acceptat o rebutjat l'entrada. Si la FSM acaba en un estat "acceptar", l'autòmat ha acceptat la paraula; i ho fa en un estat "rebutjar", l'autòmat ha rebutjat l'entrada. El conjunt de totes les paraules acceptades per l'autòmat formen el llenguatge acceptat per l'autòmat.
El text tracta sobre informàtica.