Утилита разработки конечных автоматов StateCAD. Долматов А.Г