miniatura|Figura 1 : exemple de diagrama d'estats En la teoria dels autòmats i la lògica seqüencial, una taula de transició d'estats é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. És essencialment una taula de veritat en què les entrades inclouen l'estat actual juntament amb altres entrades, i les sortides inclouen l'estat següent juntament amb altres sortides.
Una taula de transició d'estats és una de les moltes maneres d'especificar una màquina d'estats finits. Altres maneres inclouen un diagrama d'estats.
Les taules de transició d'estats són de vegades taules unidimensionals, també anomenades taules de característiques. S'assemblen molt més a taules de veritat que a la seva forma bidimensional. La dimensió única indica entrades, estats actuals, estats següents i (opcionalment) sortides associades a les transicions d'estat. EntradaEstat actualSegüent estatSortidaI 1S 1S iO xI ₂S 1S jO i…………I nS 1S kO zI 1S ₂S i′O x′I ₂S ₂S j′O i…………I nS ₂S k′O z′…………I 1S mS i″O x″I ₂S mS j″O i″…………I nS mS k″O z″ Taula de transició d'estats de la Figura 1 : +Taula de trabsició d'estatsEntrada etat actual01S1S₂S1S₂{S1, S₂}S₂
Referències
Categoria:Lògica computacional