Zaslať SMS: Sintez nadežnych verojatnostnych avtomat