El último proyecto personal en el cual he estado trabajando es una implementación de la teoría de autómatas, en particular autómatas finitos o también conocidos como máquinas de estados finitos.
Mi implementación hasta el momento permite trabajar con dos tipos de automatas, AFD: Autómata finito determinista, AFND: Autómata finito no determinista y expresiones regulares.
Además he implementado las funcionalidades para convertir una expresión regular en su AFD equivalente haciendo uso de la teoría propuesta por Ken Thompson en su artículo "Regular Expression Search Algorithm".
Autómata finito https://es.wikipedia.org/wiki/Aut%C3%B3mata_finito
Ken Thompson https://es.wikipedia.org/wiki/Ken_Thompson
Regular Expression Search Algoritm https://www.fing.edu.uy/inco/cursos/intropln/material/p419-thompson.pdf