Animation of the Boyer/Moore Algorithm