LaSer

LaSer answers users' algorithmic questions about regular languages. For example, given a regular language L, LaSer can decide whether L satisfies a certain property (see I-LaSer), or it can compute the edit distance of L (see O-LaSer).