Speech Recognition Algorithms Using Weighted Finite-State Transducers (Synthesis Lectures on Speech and Audio Processing)