Uma máquina de estados finitos (FSM) é um modelo computacional que pode ser usado para representar vários sistemas. Consiste em um número finito de estados e um conjunto de transições que definem as condições sob as quais o sistema pode mudar de um estado para outro. Quando um FSM está em um determinado estado, ele pode permanecer nesse estado ou fazer a transição para outro estado com base na entrada que recebe.
Aqui está um exemplo simples para ilustrar como funciona uma máquina de estados finitos. Considere um interruptor de luz que pode estar em dois estados:LIGADO e DESLIGADO. Quando o interruptor está no estado LIGADO, a luz acende. Quando o interruptor está no estado DESLIGADO, a luz está apagada. As transições entre esses dois estados são determinadas pela entrada, que é a ação de acionar a chave. Quando a chave é acionada, o FSM muda de um estado para outro.
Máquinas de estados finitos podem ser usadas para modelar vários sistemas, como semáforos, máquinas de venda automática e até mesmo programas de computador simples. Eles são úteis para sistemas que possuem um número limitado de estados e um conjunto bem definido de transições.
