Text this: Konštrukcia Buchiho automatov z formúl logiky LTL