Presburger−Applet
Das
Presburger−Applet
stellt einen Entscheider
(Beweiser/Widerleger)
für die vollständige, entscheidbare
Presburger Arithmetik
dar.
Beschreibung
Dieses Applet ging aus meiner Studienarbeit
- ‚Ein Entscheidungsverfahren für die Presburger-Arithmetik’
hervor und ermöglicht dem Theoretiker, Formeln der Presburger-Arithmetik en masse zu beweisen bzw. zu widerlegen.
Die Sprache der Formeln ist mehr oder weniger selbsterklärend gar intuitiv.
Details zu dieser Formelsprache finden Sie unter
Meine Studienarbeit.
Siehe auch …
Vorliegendes Mashup befindet Sie auch auf folgender Seite:
- Meine Studienarbeit
Meine Studienarbeit realisiert einen Beweiser für die Presburger Arithmetik.
Presburger−Applet als Mashup
Gefällt Ihnen dieses Applet, dann nutzen Sie doch dieses Applet ganz kostenlos und verpflichtungslos als Mashup,
indem Sie folgenden
HTML−Code
in Ihre Website an einer beliebigen Stelle einbinden.
HTML−Code für das Presburger−Applet
<applet
name="PresburgerApplet"
codebase="http://www.stefan-baur.de/applets/sa/"
code="presburger/ui/PresburgerApplet.class"
archive="sa.jar"
width="550"
height="600">
<param name="copyright" value="off">
<param name="formula" value="forall x (exists y x=y+y or exists y x=y+y')">
<param name="lookAndFeel" value="Nimbus, GTK++, Metal, Windows">
</applet> |
Konfiguration
Sie können dieses Applet Ihrer Website anpassen, indem Sie die Parameter des Applets selbst konfigurieren.
formula
(Zeichenkette)
Wohlgeformte Formel der
Presburger−Arithmetik.
lookAndFeel
(Zeichenkette)
Kommaseparierte Auflistung der
Swing−Motive.
Backlink−Vorschlag
<a href="http://www.stefan-baur.de/cs.web.mashup.presburger.html">
Presburger-Applet
</a> |
Bitte lesen Sie sich hierzu die Anmerkungen unter
Mashup
durch.
Fehlerfreiheit nicht garantierbar!
Obwohl ich dieses Applet äußerst ausführlich mit JUnit getestet habe,
könnten immer noch Fehlerchen vorliegen,
doch funktionierte dieses Applet bislang zuverlässig und stabil.
Mehr zum Softwaretest mit JUnit finden Sie unter
Verifikation.
Helfen Sie mir
… Fehler aus meinem hier angebotenen Applet zu eliminieren,
indem Sie mir im Folgenden den/die Fehler des vorliegenden Applets kurz beschreiben.