LaSer (LAnguage SERver) 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).