faecher:informatik:oberstufe:automaten:lepro:jflap01:start

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

Link zu der Vergleichsansicht

Beide Seiten, vorherige Überarbeitung Vorherige Überarbeitung
Nächste Überarbeitung
Vorherige Überarbeitung
faecher:informatik:oberstufe:automaten:lepro:jflap01:start [19.05.2022 06:13] – [Übungen mit JFLAP] sbelfaecher:informatik:oberstufe:automaten:lepro:jflap01:start [10.01.2025 12:19] (aktuell) – [Übungen mit Simulationsprogrammen] Marco Kuemmel
Zeile 1: Zeile 1:
 +====== Übungen mit Simulationsprogrammen ======
  
-====== Übungen mit JFLAP ======+Nun wirst du dich mit der Simulation von Automaten beschäftigen. Hier werden zwei Möglichkeiten beschrieben, das zu machen: 
  
-Nun wirst du dich mit der Simulation von Automaten beschäftigen. Das Programm [[http://www.jflap.org/|JFLAP]] +  * Das Java Programm [[https://www.jflap.org/jflaptmp/|JFLAP]] ermöglicht dir, Automaten zu entwerfen und ihr Akzeptanzverhalten zu testen. Im folgenden Beispiel lernst du, JFLAP selber zu bedienen. Vollziehe die im Beispiel beschriebenen Schritte nach, um den Umgang mit dem Programm zu lernen. ([[https://www.jflap.org/jflaptmp/|Download]](({{ :faecher:informatik:oberstufe:automaten:lepro:jflap01:graphensimulator.zip |Lokale Sicherungskopie}}))) 
-ermöglicht dir, Automaten zu entwerfen und ihr Akzeptanzverhalten zu testen. Im folgenden Beispiel lernst du, JFLAP selber zu bedienen. Vollziehe die im Beispiel beschriebenen Schritte nach, um den Umgang mit dem Programm zu lernen. ([[https://www.jflap.org/jflaptmp/|Download]](({{ :faecher:informatik:oberstufe:automaten:lepro:jflap01:graphensimulator.zip |Lokale Sicherungskopie}})))+  * Alternativ kannst du das Online-Tool Flaci verwenden https://flaci.com/
  
  
 ===== Erster Start ===== ===== Erster Start =====
 +<tabs>
 +  * [[#flaci|Flaci]]
 +  * [[#jflap|JFLAP]]
  
 +<pane id="flaci">
 +FLACI https://flaci.com/home/ ist ein Forschungs- und Entwicklungsprojekt der Pädagogischen Hochschule Schwyz und der Hochschule Zittau/Görlitz. Du kannst die Online-werkzeuge ohne Registrierung benutzen, erstellte Automaten kannst du dann z.B. herunterladen. Wenn du ein Konto erstellst, wird deine Arbeit in der Cloud bei Flaci gespeichert.
 +
 +FLACI besteht aus mehreren Modulen, wir beginnen mit dem Modul "Abstrakte Automaten":
 +
 +{{ :faecher:informatik:oberstufe:automaten:lepro:jflap01:2024-10-16_09-30.png?400 |}}
 +
 +Mit dem Plus Zeichen unten rechts kannst du neue Automaten erstellen, oben rechts kannst du bei Klick auf den Ordner einen Automaten "hochladen"
 +
 +Lade den folgenden Automaten für die Klassenfahrt hoch: {{ :faecher:informatik:oberstufe:automaten:lepro:jflap01:automaton_klassenfahrt.zip |}} Achtung: Du musst die Datei zuerst entpacken, ZIP-Dateien werden nicht akzeptiert.
 +
 +Jetzt kannst du mit der Funktion "Simulation starten" testen, wie sich der Automat bei verschiedenen Eingaben verhält:
 +
 +{{ :faecher:informatik:oberstufe:automaten:lepro:jflap01:2024-10-16_09-50.png?600 |}}
 +</pane>
 +<pane id="jflap"> 
 JFLAP kommt als ''.jar''-Datei, diese kann man auf einer Konsole ausführen mit ''java -jar JFLAP7.1.jar''. JFLAP kommt als ''.jar''-Datei, diese kann man auf einer Konsole ausführen mit ''java -jar JFLAP7.1.jar''.
  
Zeile 40: Zeile 60:
 {{ .:step.png |}} {{ .:step.png |}}
  
-Starte nun auf gleiche Weise den Automaten einmal mit der Eingabe ''Anke'' und+Starte nun auf gleiche Weise den Automaten einmal mit der Eingabe ''Anka'' und
 einmal mit der Eingabe ''Andreas''. Dabei wirst du feststellen, dass der Automat einmal mit der Eingabe ''Andreas''. Dabei wirst du feststellen, dass der Automat
-sich bei der Eingabe Anke grün färbt; die Eingabe wird also akzeptiert. Die Eingabe Andreas kann der Automat dagegen nicht verarbeiten. Deshalb stoppt er bei ''q8'', egal wie oft der Step-Button jetzt noch gedrückt wird.+sich bei der Eingabe Anka grün färbt; die Eingabe wird also akzeptiert. Die Eingabe Andreas kann der Automat dagegen nicht verarbeiten. Deshalb stoppt er bei ''q7'', egal wie oft der Step-Button jetzt noch gedrückt wird.
  
 ==== Möglichkeit 2: Mehrere Eingaben verarbeiten ==== ==== Möglichkeit 2: Mehrere Eingaben verarbeiten ====
Zeile 60: Zeile 80:
  
 {{ :faecher:informatik:oberstufe:automaten:lepro:jflap01:multi.png |}} {{ :faecher:informatik:oberstufe:automaten:lepro:jflap01:multi.png |}}
 +</pane>
 +</tabs>
 +==== Aufgaben ====
  
-=== Aufgabe === +----  
 +{{:aufgabe.png?nolink  |}} 
 +=== (A1) ===
  
-**(1)** 
  
 Überprüfe mit Hilfe von JFLAP, ob der Schulausflug-Automat folgende Eingaben akzeptiert: Überprüfe mit Hilfe von JFLAP, ob der Schulausflug-Automat folgende Eingaben akzeptiert:
Zeile 72: Zeile 95:
   * Andre   * Andre
  
-**(2)**+----  
 +{{:aufgabe.png?nolink  |}} 
 +=== (A2===
  
 Nun eine etwas theoretischere Aufgabe. Wie du weißt, werden Zahlen im Rechner als Binärzahlen abgespeichert. Das heißt, jede Zahl wird mit Hilfe von Nullen und Einsen codiert. Mit dem folgenden Automaten lässt sich testen, ob eine binär codierte Zahl gerade oder ungerade ist, denn dieser Automat akzeptiert nur ungerade Zahlen.  Nun eine etwas theoretischere Aufgabe. Wie du weißt, werden Zahlen im Rechner als Binärzahlen abgespeichert. Das heißt, jede Zahl wird mit Hilfe von Nullen und Einsen codiert. Mit dem folgenden Automaten lässt sich testen, ob eine binär codierte Zahl gerade oder ungerade ist, denn dieser Automat akzeptiert nur ungerade Zahlen. 
Zeile 81: Zeile 106:
 Bit eine 1, so ist die Zahl ungerade. Bit eine 1, so ist die Zahl ungerade.
  
-Teste das Akzeptanzverhalten des Automaten ungerade“ von Hand für die folgenden Eingaben:+Erstelle den Automat in der Simulationssoftware((IN FLACI musst du einen "NEA" erstellen)) und teste das Akzeptanzverhalten des Automaten "ungeradefür die folgenden Eingaben:
  
   - 0010   - 0010
  • faecher/informatik/oberstufe/automaten/lepro/jflap01/start.1652940795.txt.gz
  • Zuletzt geändert: 19.05.2022 06:13
  • von sbel