Handel is a suite of programs for multiple sequence alignment.
Since it is based on a model of DNA sequence evolution
that explicitly incorporates insertion and deletion events,
it effectively doubles as a program for ancestral sequence reconstruction.
The theory underpinning Handel is based on the finite state transducer, a concept borrowed from computational linguistics.
Handel can be downloaded as part of the package. It accepts input files in Stockholm format.