ChatDiagram
4 templates · State diagram

Diagramas de estados de ε-NFA com a construção de Thompson

A construção de Thompson é um método sistemático para converter uma expressão regular em um ε-NFA. Esta página reúne exemplos de ε-NFAs criados com a construção de Thompson para vários padrões de regex, de tokens simples a expressões complexas. Use estes diagramas como referência visual ao estudar teoria dos autômatos, projetar analisadores léxicos ou verificar suas próprias construções.

Standard OMG UML 2.5.1 §14 + Harel (1987) statechartEngine schematex-stateExport SVG · PNG · PDF
How to

How to use a state diagram template.

  1. 01Insira sua expressão regular

    Digite ou cole a regex que deseja converter, usando uma sintaxe padrão como a|b, a*, (ab) etc.

  2. 02Aplique a construção de Thompson

    A ferramenta aplica automaticamente as regras da construção para criar o ε-NFA, gerando estados e transições para cada subexpressão.

  3. 03Revise o diagrama gerado

    Inspecione o diagrama de estados para verificar se ele representa corretamente sua regex, incluindo todas as transições epsilon.

  4. 04Ajuste o layout e os rótulos

    Arraste os estados, redirecione as transições ou edite os rótulos para melhorar a legibilidade sem alterar o comportamento do autômato.

  5. 05Exporte ou compartilhe seu ε-NFA

    Baixe o diagrama como imagem ou PDF ou compartilhe um link ativo para colaborar.

FAQ

Questions about state diagram templates

O que é a construção de Thompson?

A construção de Thompson é um algoritmo que converte uma expressão regular em um ε-NFA equivalente. Ela funciona decompondo recursivamente a regex em subexpressões atômicas e combinando-as por meio de regras de concatenação, união e estrela de Kleene.

Por que a construção de Thompson usa transições epsilon?

As transições epsilon permitem combinar autômatos menores sem mesclar estados nem criar transições complexas. Elas funcionam como uma 'cola' que conecta os subautômatos preservando a linguagem geral.

Posso converter qualquer expressão regular em um ε-NFA com esta ferramenta?

Sim, desde que a regex use operadores padrão (união, concatenação, estrela, mais, opcional e classes de caracteres). A ferramenta aceita toda a sintaxe e gera automaticamente o ε-NFA correspondente.

Qual é a diferença entre a construção de Thompson e outros métodos de regex para NFA?

A construção de Thompson é simples e sistemática, produzindo um NFA com no máximo o dobro do comprimento da regex em número de estados. Outros métodos, como a construção de Glushkov, podem produzir menos estados, mas são mais complexos de implementar.

Posso exportar o diagrama do ε-NFA para usar em documentos?

Com certeza. A ferramenta permite exportar o diagrama como PNG, SVG ou PDF, para que você possa incluí-lo em relatórios, trabalhos ou apresentações.