Add the finite state transducer to the README