Zaslat SMS: Théorie structurelle des automates finis