GoGPT Best VPN GoSearch

Favicon di OnWorks

lbt2dot - Online nel cloud

Esegui lbt2dot nel provider di hosting gratuito OnWorks su Ubuntu Online, Fedora Online, emulatore online di Windows o emulatore online di MAC OS

Questo è il comando lbt2dot che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre numerose workstation online gratuite come Ubuntu Online, Fedora Online, emulatore online di Windows o emulatore online di MAC OS

PROGRAMMA:

NOME


lbt - Traduttore da LTL a Büchi

SINOSSI


libbra < formula.txt > automa.txt
lbt2dot < automa.txt > automa.punto

DESCRIZIONE


Questa pagina di manuale documenta brevemente il libbra e lbt2dot comandi. Questa pagina di manuale era
scritto per la distribuzione Debian GNU/Linux perché il programma originale non ha un
pagina di manuale. Invece, contiene la documentazione in formato HTML; vedi sotto.

libbra è un filtro che traduce una formula di logica temporale lineare (LTL) in una corrispondente
Automa di Büchi generalizzato. La traduzione si basa sull'algoritmo di Gerth, Peled
e Vardi presentato al PSTV'95, Semplice al volo automaticamente in Sistemi verifica of lineare
temporaneo logica. Non vengono implementate quasi nessuna ottimizzazione e l'automa generato è
spesso più grande del necessario. Ma d'altra parte, dovrebbe sempre essere corretto.
Il filtro lbt2dot può essere utilizzato per tradurre gli automi di Büchi dal libbra formato di output a
Formato GraphViz per la visualizzazione.

ESEMPIO


eco G p0 | libbra | lbt2dot | punteggiato -

Utilizzare lbt2dot online utilizzando i servizi onworks.net


Server e workstation gratuiti

Scarica app per Windows e Linux

Comandi Linux

Ad




×
Cookie per pubblicità
❤️Fai acquisti, prenota o acquista qui: nessun costo, aiuta a mantenere i servizi gratuiti.