Skip to content

README.md

Latest commit

 

History

History
139 lines (92 loc) · 3.5 KB

README.md

File metadata and controls

139 lines (92 loc) · 3.5 KB
Raw

🧠 AFDGraph

Visualizador de Autómatas Finitos Deterministas desarrollado para el curso de Lenguajes Formales y de Programación - 2025.

Autor: Alex Ricardo Castañeda Rodríguez
Carné: 202300476

📌 Objetivo

Este proyecto tiene como objetivo leer archivos .lfp que contienen la descripción de autómatas, analizarlos léxicamente, representarlos gráficamente y generar reportes en HTML.

🖼️ Interfaz Gráfica

Interfaz de AFDGraph

Visualización del autómata, entrada .lfp, y acciones de análisis/reportes.

⚙️ Funcionalidades

✅ Análisis de archivo .lfp

  • Carga de archivo con autómatas.
  • Análisis léxico e identificación de tokens y errores.

🧩 Visualización del AFD

  • Renderizado de gráficas SVG usando Graphviz y Apache Batik.
  • Soporte para zoom y pan.

📄 Generación de reportes

  • HTML para tokens reconocidos.
  • HTML para errores léxicos.

📆 Persistencia en memoria

  • HashMap con los autómatas cargados.
  • Permite múltiples autómatas por archivo.

📝 Estructura de Archivos

AFDGraph/
├── assets/                     # Recursos gráficos

├── data/
│   ├── input/                  # Archivos .lfp de entrada
│   ├── output/                 # Archivos SVG generados
│   └── reports/                # Reporte HTML de análisis léxico

├── docs/                       # Documentación del proyecto

├── src/
│   ├── main/java/com/afdgraph/
│   │   ├── export/            # Exportación de SVG con Graphviz
│   │   ├── lexer/             # Lexer y parser manual
│   │   ├── models/            # Clases de datos: Token, Automaton, etc.
│   │   ├── report/            # Generador del reporte HTML
│   │   └── ui/                # Interfaz gráfica con Swing
│   └── test/java/com/afdgraph/
│       └── ...                # Pruebas unitarias (JUnit)

├── pom.xml                    # Configuración Maven
├── README.md

📂 Archivos de entrada .lfp

AFD1: {
    descripcion: "Reconoce números",
    estados: [S0, S1],
    alfabeto: ["1", "2"],
    inicial: S0,
    finales: [S1],
    transiciones: {
        S0 = ("1" -> S1),
        S1 = ("2" -> S0)
    }
}

📊 Reporte de Tokens (vista previa)

Vista previa del reporte

⭐ Puedes ver el reporte completo en /data/reports/lexical_report.html.

💻 Requisitos

  • Java 17 o superior
  • Graphviz instalado (para generar archivos .svg)
  • Apache Batik (ya integrado en el proyecto)
  • Maven (opcional, para empaquetado)

🧪 Ejecución

  1. Clona el repositorio:
git clone https://github.com/ricardious/AFDGraph.git
  1. Ejecuta Main.java desde tu IDE o terminal.
  2. Carga un archivo .lfp, selecciona un AFD y grafica.

📚 Manuales

🧠 Autor y Reconocimiento

Proyecto desarrollado de forma individual como parte del curso de LFP 2025.
Inspirado en los principios fundamentales de autómatas finitos deterministas.

⚠️ Aviso

No se utilizó ningún generador léxico como ANTLR, JFlex o Lex.
El análisis se realizó con un AFD programado manualmente, carácter por carácter, según lo exigido por el proyecto.