Autômato finito determínisco e não determinístico

A idéia desta página não é explicar a teoria toda e sim disponibilizar uma máquina de estados para teste de autômatos, você pode entender a idéia dos autômatos começando a leitura por aqui e se achar interessante, ler mais sobre aqui, aqui e aqui.

É um assunto obrigatório para quem um dia pensa em programar circuitos digitais ou para quem vai se aventurar na área de linguagens formais. Aliás, para você que utiliza expressões regulares e não sabe, autômatos são fundamentais na implementação de reconhecedores de expressões regulares.

Na máquina abaixo você pode declarar a sua máquina de estados e tentar reconhecer uma palavra. Logo abaixo encontrará um conversor de autômato não deterministico que pode converter seu autômato para uma versão determística. As máquinas abaixo já estão preenchidas com um exemplo, fique livre para testar!

Máquina de estados finita determinística [autômato finito determinístico AFD = (K, Σ, s, F, δ)]


Conversor de autômato finito não determinístico (AFND) para AFD

Adicionar um comentário
e-mail:nome:
Links e parágrafos são identificados automaticamente
Negrito: **texto em negrito** = texto em negrito
Itálico: */texto em itálico*/ = texto em itálico
Trecho de código inline: ``<?php echo $var; ?>`` = <?php echo $var; ?>
Bloco de código:
```<?php
echo $var;
?>```
<?php
echo $var;
?>

Formatações disponíveisVeja o resultado da formatação
Repita os caracteres da imagem aqui:
Se não conseguir identificar a imagem clique sobre ela para recarregar
Enviar comentário

Informações

Criado
5/Fev, as 17:33
URL Reduzida
http://phc.tc/afd
Tags
Teoria
Compartilhe

Tópicos

Leia também