Formatting Time-Aligned ASR Transcripts for Readability
introduction to automata theory , languages and computation .