Aren't Markov chains how predictive typing usually works? (or worked, I suppose the big players are probably using some sort of neural net now)