Dies ist der Befehlsumschreiber, der beim kostenlosen Hosting-Anbieter OnWorks mit einer unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, dem Windows-Online-Emulator oder dem MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
Umschreiber – Begriffe demodulieren
ZUSAMMENFASSUNG
Umschreiber <Demodulatoren-Datei> <term-datei> >Datei mit umgeschriebenen Begriffen>
BESCHREIBUNG
Diese Handbuchseite dokumentiert kurz die Umschreiber Befehl.
Schreiben Sie einen Stream von neu AGB mit einer Liste von Demodulatoren. Die Demodulatoren werden von links nach rechts verwendet.
Recht wie gegeben, und sie werden nicht auf Beendigung überprüft.
SYNTAX
Die Demodulatordatei enthält optionale Befehle und dann eine Liste der Demodulatoren. Der
Befehle können zur Deklaration von Infix-Operationen und Assoziativität/Kommutativität verwendet werden. Beispiel
Datei der Demodulatoren:
op(400, Infix, ^).
op(400, Infix, v).
assoc_comm(^).
assoc_comm(v).
Formeln(Demodulatoren).
x ^ x = x.
x ^ (xvy) = x.
xvx = x.
xv (x ^ y) = x.
Ende_der_Liste.
Nutzen Sie Rewriter online über die Dienste von onworks.net
