Questo è il riscrittore di comandi che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici workstation online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS
PROGRAMMA:
NOME
riscrittore - demodulare i termini
SINOSSI
masterizzatore <demodulatori-file> <file-termine> >file-termine-riscritto>
DESCRIZIONE
Questa pagina di manuale documenta brevemente il masterizzatore comando.
Riscrivi un flusso di condizioni con un elenco di demodulatori. I demodulatori vengono utilizzati da sinistra a
diritto come dato, e non sono controllati per la risoluzione.
SINTASSI
Il file dei demodulatori contiene comandi opzionali quindi un elenco di demodulatori. Il
i comandi possono essere usati per dichiarare operazioni infisse e associatività/commutatività. Esempio
file di demodulatori:
op(400, infisso, ^).
op(400, infisso, v).
comm_assoc(^).
assoc_comm(v).
formule (demodulatori).
x^x = x.
x ^ (xvy) = x.
xvx = x.
xv (x ^ y) = x.
fine_della_lista.
Usa rewriter online utilizzando i servizi onworks.net
