SMS versenden: Algebrická teorie automatu /