Many programmes have been developed over the past thirty years for the segmentation of speech signals and the alignment of symbol strings with them. Mark Liberman has provided a broad overview of work on tools of this kind (check for this on the web).
The best known systems are currently the following: