DFA-Factory

Un compilador capaz de construir y manipular autómatas finitos determinísticos y evaluar la aceptación de palabras en los lenguajes de los mismos.

Requerimientos

Para construir el compilador, se requieren las siguientes dependencias:

Si en lugar de trabajar con un entorno Linux, se está construyendo el proyecto sobre un entorno Microsoft Windows, se debe instalar Microsoft Visual Studio 2022 con las extensiones para desarrollar aplicaciones en C/C++, así como también las herramientas requeridas, con excepción del compilador GCC y la herramienta Make.

Construcción

Para construir el proyecto por completo, ejecute en la raíz del repositorio los siguientes comandos (en Linux):

user@machine:path/ $ chmod u+x --recursive script
user@machine:path/ $ script/build.sh

En un entorno Microsoft Windows, en cambio, se debe ejecutar:

user@machine:path/ $ script\build.bat

Luego se deberá abrir la solución generada bin\Compiler.sln con el IDE Microsoft Visual Studio 2022. Los ejecutables que este sistema construye se depositan dentro del directorio bin\Debug y bin\Release, según corresponda.

Ejecución

Para compilar un programa, primero cree un archivo vacío denominado program (o el nombre que desee), con el siguiente contenido:

/* Declaramos las variables */
sta inicial = "q0";
sta final = "qf";
sta[] states = {inicial, final};
sta[] finalStates = {final};
sym nums = "123456789";
sym[] symbols = {"a", "bb", nums};
trn[] transitions = {
					{inicial, final, "a"},
					{final, inicial, nums},
					{final, final, "bb"}
};

/* Declaramos el automata */
dfa myAuto = {
        states,
        symbols,
        inicial,
        finalStates,
		transitions
};

myAuto CHECK {"a", "bb", "bb", "bb"};

Luego, ejecute el compilador desde el directorio raíz del proyecto, o desde cualquier otro lugar indicando el path hacia el script start.sh y pasando por parámetro el path hacia el programa a compilar:

user@machine:path/ $ script/start.sh program

En Windows:

user@machine:path/ $ script\start.bat program

El resultado del programa anterior creado debería ser: myAuto-{"a", "bb", "bb", "bb"}:true. Lo que significa que el automata reconoce la palabra ingresada.

Testing

En Linux:

user@machine:path/ $ script/test.sh