Programy według gnfa2re.sf.net

Program ten pozwala na określenie deterministycznej automatów skończonych, niedeterministycznych automatów skończonych lub uogólnionych NFA i zwróci wyrażenie regularne, które rozpoznaje ten sam język, co opisana fa.