marat-ab 

FsmModel is a library for creating and using Finite Automata (Finite State Machines).

FsmModel.Loaders is a library with tools for loading transition tables from files and convert it into DFA models.