SMS versenden: Vvedenije v teoriju abstraktnych avtomatov