Sistema de Transição
De Wikipedia, a enciclopédia encyclopedia
Na teoria da ciência da computação, um sistema de transição é um conceito utilizado no estudo da computação. É usado para descrever o comportamento potencial de sistemas discretos. Consiste de estados e transições entre estados, que podem ser rotuladas com etiquetas escolhidas a partir de um conjunto; o mesmo rótulo pode aparecer em mais de uma transição. Se o conjunto de rótulos é um conjunto unitário, o sistema é essencialmente sem rótulo, e uma definição mais simples que omite os rótulos é possível.
Sistemas de transição coincidem matematicamente com sistemas de reescrita abstratos (como explicado mais adiante neste artigo) e grafos direcionados. Eles diferem de autômatos finitos em várias maneiras:
- O conjunto de estados não é necessariamente finito, ou mesmo contável.
- O conjunto de transições não é necessariamente finito, ou mesmo contável.
- Nenhum estado "inicio" ou estado "final" são dadas.
Sistemas de transição podem ser representados como grafos direcionados.