Enviar por SMS: Konštrukcia Buchiho automatov z formúl logiky LTL