A Computational Theory of Writing Systems