發送短信: A formal theory of exceptions in generative phonology