Questo è il comando dfg2otter.pl 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
dfg2otter - trasforma i file delle clausole DFG in formato Otter, incluse le opzioni Otter
SINOSSI
dfg2otter.pl [opzioni] [infile] [outfile]
DESCRIZIONE
dfg2otter.pl è un Perl involucro per il dfg2otter. Principalmente, aggiunge un set di OTTER
parametri al risultato della trasformazione di dfg2otterInoltre, input/output
il reindirizzamento è più semplice: se non vengono forniti argomenti di file, dfg2otter.pl legge da stdin e
scrive su stdout. Se viene fornito un argomento file, dfg2otter.pl leggere da quel file e se
è presente un secondo argomento, dfg2otter.pl gli scrive.
VERSIONI
-t n
Imposta il limite di tempo per il tentativo di verifica OTTER n secondi.
Utilizzare dfg2otter.pl online utilizzando i servizi onworks.net
