发送短信 : Algebraiczne własności maszyn abstrakcyjnych /