Practicas realizadas durante el curso Teoria Computacional de la Escuela Superior de Computo (ESCOM)
- C++ 17
Las prácticas no enumeradas fueron hechas fuera del curso.
| Práctica | Descripción |
|---|---|
| AFD | Construcción de un AFD dado un txt con con su descripción. Dada una cadena se validará que pertenezca al universo |
| AFND-ε | Construcción de AFND-ε dado un txt con con su descripción. Dada una cadena se validará que pertenezca al universo |
| AFND to AFD | Algoritmo de conversión para pasar de AFND a AFD |
| PDA | Algoritmo para construir una PDA dada una CFG |
| 1. Universo | Genera el universo de cadenas de 1s y 0s |
| 2. Paridad | AFD para separar cadenas pares e impares |
| 3. "Chessboard" | AFND para validar camino válido |
| 4. Validar palabras | Conversión AFND-ε - AFND para validar palabras |
| 5. Expresión regular | Generar cadenas válidas dada una expresión regular |
| 6. PDA | PDA para una CFG |
| 7. Palindromo binario | Construcción de un palindromo binario dada una gramática |
| 8. Gramática no ambigua | Procesamiento de una gramática no ambigua |