és una taula que mostra a quin estat (o estats en el cas d'un autòmat finit no determinista) es mourà una màquina d'estats finits, en funció de l'estat actual i altres entrades. (ca)
Begriff der Automatentheorie (de)
tabella usata nella descrizione degli automi (it)
table in automata theory and sequential logic (en)