Alguén sabe dónde puedo programar un automata? se puede en .net?

no tengo ni idea de donde iniciar hasta ahora lo único que sé es dibujar el clásico ejemplo de grafo (AFD, AFND o gráfica de transiciones) que acepte ab* (ejemplo) y la trabla de transiciones.

alguien pudiera ayudarme please? qué sigue, un ejemplo, un manual, ideas, algo?

de antemano muchas gracias.