发送短信: A Theory of Ultimately Periodic Languages and Automata With an Application to Time Granularity