Mostrar código-fonte de Máquina de estados finitos estendida

Numa [[máquina de estados finitos]] convencional, uma transição é associada a um conjunto de entrada de condições [[Álgebra booleana|booleanas]] e um conjunto de saída de funções booleanas. Num '''modelo de máquina de estados finitos estendida (EFSM, do inglês ''extended finite state machine model'')''', a transição pode ser expressa por uma “[[estrutura de seleção]]” consistindo de um conjunto de condições de disparo. Se as condições de disparo forem todas satisfeitas, a transição é disparada, levando a máquina do estado atual para o próximo estado e realizando a operação de dados especificada.

== Definição ==
Uma EFSM é definida<ref>{{citar conferência|primeiro = K-T|último = Cheng|autor2 = Krishnakumar, A.S.|título= Automatic Functional Test Generation Using The Extended Finite State Machine Model|títulolivro= International Design Automation Conference (DAC)|publicado= ACM|páginas= 86–91|ano= 1993}}</ref> como uma 7-tupla <math>M=(I,O,S,D,F,U,T)</math> onde
* S é o conjunto de estados simbólicos,
* I é o conjunto de símbolos de entrada,
* O é o conjunto de símbolos de saída,
* D é um [[Espaço vetorial|espaço linear]]  n-dimensional <math>D_1 \times \ldots \times D_n</math>,
* F é um conjunto de ''funções de ativação'' <math>f_i : D \rightarrow \{0,1\}</math>,
* U é um conjunto de ''funções de atualização'' <math>u_i : D \rightarrow D</math>,
* T é uma relação de transição, <math>T : S \times F \times I \rightarrow S \times U \times O</math>

== Estrutura ==
Arquitetura EFSM: Um modelo EFSM consiste dos seguintes três grandes blocos combinatórios (e alguns registradores).
* Bloco FSM: Uma máquina de estados finitos convencional realizando os grafos de transição de estados do modelo EFSM.

* Bloco A: um bloco aritmético para realizar operações de dados associados com cada transição. A operação deste bloco é regulada pelo sinal de saída do bloco FSM.

* Bloco E: Um bloco para avaliar as condições de disparo associadas com cada transição. Os sinais de entrada para este bloco são as variáveis de dados, enquanto que os sinais de saída são formados pelo conjunto de sinais [[Sistema de numeração binário|binários]] recebidos na entrada pelo Bloco FSM. Informação sobre computação redundante é extraída analisando as interações dos três blocos básicos. Usando esta informação, certos operadores de entrada do bloco [[Aritmética|aritmético]] e bloco de [[avaliação]] podem ser congelados através de ''input gating'' sob condições específicas em tempo de execução para reduzir a codificação de comutação desnecessário no projeto. Ao nível de arquitetura, se cada gatilho de avaliação e operação de dados é dito ser uma ação atômica, então o EFSM implica uma implementação praticamente do menor nível de consumo energético.
O ciclo de comportamento de uma EFSM pode ser dividido em três etapas:
# Em Bloco E, avaliar todas as condições de disparo.
# Em Bloco FSM, computar o próximo estado & os sinais de controle do Bloco A.
# Em A-block, realizar as operações de dados necessárias e a movimentação de dados.<br>

== Veja também ==
[[:en:Abstract_state_machine|Máquina de estados abstrata]]

== Referências ==
<references />
[[Categoria:Métodos formais]]
[[Categoria:Modelos computacionais]]
[[Categoria:Teoria da computação]]