Implementation of a DAWG small and fast enough to work in Android apps