ChatDiagram
4 templates · State diagram

Diagramas de estados ε-NFA con construcción de Thompson

La construcción de Thompson es un método sistemático para convertir una expresión regular en un ε-NFA. Esta página reúne ejemplos de ε-NFA creados mediante la construcción de Thompson para distintos patrones regex, desde tokens sencillos hasta expresiones complejas. Usa estos diagramas como referencia visual al estudiar teoría de autómatas, diseñar analizadores léxicos o verificar tus propias construcciones.

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. 01Introduce tu expresión regular

    Escribe o pega la regex que quieres convertir utilizando una sintaxis estándar como a|b, a*, (ab), etc.

  2. 02Aplica la construcción de Thompson

    La herramienta aplica automáticamente las reglas de construcción para crear el ε-NFA, generando estados y transiciones para cada subexpresión.

  3. 03Revisa el diagrama generado

    Inspecciona el diagrama de estados para verificar que representa correctamente tu regex, incluidas todas las transiciones épsilon.

  4. 04Ajusta la distribución y las etiquetas

    Arrastra los estados, redirige las transiciones o edita las etiquetas para mejorar la legibilidad sin cambiar el comportamiento del autómata.

  5. 05Exporta o comparte tu ε-NFA

    Descarga el diagrama como imagen o PDF, o comparte un enlace activo para colaborar.

FAQ

Questions about state diagram templates

¿Qué es la construcción de Thompson?

La construcción de Thompson es un algoritmo que convierte una expresión regular en un ε-NFA equivalente. Funciona dividiendo recursivamente la regex en subexpresiones atómicas y combinándolas mediante reglas de concatenación, unión y estrella de Kleene.

¿Por qué la construcción de Thompson utiliza transiciones épsilon?

Las transiciones épsilon permiten combinar autómatas más pequeños sin fusionar estados ni crear transiciones complejas. Actúan como un «pegamento» que conecta los subautómatas y conserva el lenguaje global.

¿Puedo convertir cualquier expresión regular en un ε-NFA con esta herramienta?

Sí, siempre que la regex utilice operadores estándar (unión, concatenación, estrella, más, opcional y clases de caracteres). La herramienta admite toda la sintaxis y genera automáticamente el ε-NFA correspondiente.

¿En qué se diferencia la construcción de Thompson de otros métodos para convertir regex en NFA?

La construcción de Thompson es sencilla y sistemática, y produce un NFA con un número de estados como máximo igual al doble de la longitud de la regex. Otros métodos, como la construcción de Glushkov, pueden generar menos estados, pero son más complejos de implementar.

¿Puedo exportar el diagrama del ε-NFA para usarlo en documentos?

Por supuesto. La herramienta permite exportar el diagrama como PNG, SVG o PDF para incluirlo en informes, trabajos o presentaciones.