Taula de transició 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.[1]
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.[2]
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.[3]
| Entrada | Estat actual | Següent estat | Sortida |
|---|---|---|---|
| I 1 | S 1 | S i | O x |
| I ₂ | S 1 | S j | O i |
| … | … | … | … |
| I n | S 1 | S k | O z |
| I 1 | S ₂ | S i′ | O x′ |
| I ₂ | S ₂ | S j′ | O i |
| … | … | … | … |
| I n | S ₂ | S k′ | O z′ |
| … | … | … | … |
| I 1 | S m | S i″ | O x″ |
| I ₂ | S m | S j″ | O i″ |
| … | … | … | … |
| I n | S m | S k″ | O z″ |
Taula de transició d'estats de la Figura 1 :
| Entrada
etat actual |
0 | 1 |
|---|---|---|
| S1 | S₂ | S1 |
| S₂ | {S1, S₂} | S₂ |
Referències
[modifica]- ↑ «State Transition Table - an overview | ScienceDirect Topics» (en anglès). https://www.sciencedirect.com.+[Consulta: 14 novembre 2022].
- ↑ «Transition Table in Automata» (en anglès). https://www.geeksforgeeks.org,+01-09-2021.+[Consulta: 14 novembre 2022].
- ↑ «Example Transition Table» (en anglès). https://chortle.ccsu.edu.+[Consulta: 14 novembre 2022].