Using finite-state transducer theory for representation of very large scale lexicons