A computational theory of writing systems · Study