發送短信 : Foundations of computation theory :