SMS versenden: Théorie structurelle des automates finis