This is a tool for simulating, visualizing and transforming a variety of theoretical machines including DFAs, NFAs, PGFAs, GFAs and grammers , written in Csharp ..