Endlicher Automat arrays

[xyZman]

Hallo Liebe Community !
Ich soll ein Programm schreiben welches maximal 3 chars ein liest und auswertet ob diese gültig sind oder nich. Es geht um ein Menü
wo a für Hauptmahlzeit
b für Beilagen
c für Soßen

Ein Menü setzt sich aus der Hauptmahlzeit und beliebiger Anzahl an Nachtischen zusammen.
Insgesamt können maximal 3 Produkte gewählt werden. Erst wenn Beilagen gewählt wurden, können dazu beliebige Saucen kombiniert werden. Eine Sauce zählt dabei nicht als Produkt. Ein Menü besteht aus mindestens einem Produkt.

Nun soll mir natürlich das Programm anzeigen ob die Eingabe Gültig oder ungültig ist.
wenn abc dann gültig
wenn ab dann gültig
wenn abb dann gueltig usw..

Nun habe ich folgenden Code entwickelt.
Warum schmeißt er mir bei Eingabe abc einen Exception ?
Ich denke die Überführungsfunktionen stimmen noch nicht so..
Kann mir wer helfen ?
Ich kann es natürlich mit ganz vielen Switches lösen bis S==6 aber
geht es nicht einfacher. ?

import AlgoTools.IO;

public class automat {

  public static void main (String [] argv) {

    int[][] menue = {{0,1,2},                      // Ueberfuehrungsfunktion
                     {0,2,1},
                     {2,1,0},
                     {2,0,1},
                     {1,2,0},
                     {1,0,2},
};
    int s;                                             // Nummer des Zustands   

    char[] zeile=IO.readChars("Bitte Ihre BEstellung eingeben "); // fordere Eingabe an

    s = 0;                                             // Startzustand

    for (int i=0; i < zeile.length; i++){              // fuer jedes Zeichen

       switch(zeile[i]) {                          // abhaengig vom Zeichen
         case 'a': s = menue[s][0];break;         // wende die Ueber- 
         case 'b': s = menue[s][1];break;
         case 'c': s = menue[s][2];break;             // fuehrungsfunktion an
         default: IO.println("Falsches Zeichen !");    // unzulaessiges Zeichen
       }
    }
         if (s==0) IO.println("Menue ist gueltig");       // Automat akzeptiert 
         else IO.println("Menue ist ungueltig");
             // Automat lehnt ab
  }
}

Flo

 

[bygones]

Warum schmeißt er mir bei Eingabe abc einen Exception ?

und was für eine ists denn ?

 

[xyZman]

Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: 3
at automat.main(automat.java:25)

 

[XHelp]

Index fängt bei 0 an, nicht bei 1

 

[xyZman]

oh, dummer Anfängerfehler.
Doch warum sagt er mir das bei abc ungültig ?

 

[bone2]

Setz doch mal in code abc ein und überlege dir oder schreib dir auf was 's' für werte zugewiesen werden

 

[XHelp]

Weil abc bei dir 012 ist, d.h. zum Schluss ist s=2, du vergleichst es aber mit 0...
Die Logik sieht bei dir etwas komisch aus. Du brauchst auch nicht alle gültigen Ergebnisse gespeichert halten.

 

[bone2]

wenn ich mich nicht verguckt habe ist bei 'abc' am ende s==1 und das ist nicht 0 also ungültig

s = 0
a: s = menue[0][0] = 0
b: s = menue[0][1] = 1
c: s = menue[1][2] = 1

ergo s = 1

 

[xyZman]

wenn ich mit 2 vergleiche also s==2 sollte er mir ja anzeigen das abc gueltig ist !
Das Problem liegt hier

switch(zeile[i]) {                          // abhaengig vom Zeichen
case 'a': s = menue[s][0];break;         // wende die Ueber- 
case 'b': s = menue[s][1];break;
case 'c': s = menue[s][2];break;

Gebe ich ein a ein ist s==0 wahr !
aber die Verknüpfung abc ist falsch.
Wie bekomme ich es hin das wenn abc er überprüft 012 =s0 = gueltig ?

 

[bone2]

Dein array ändenr? ich verstehe die logik hinter dem programm nicht, das du da geschrieben hast.

nach der aufgabenstellung musst du 4 dinge prüfen:
-ist der erste char ein 'a'
-wenn länge > 1 ob der zweite char ein 'b' ist
-wenn länge > 2 ob der dritte char 'b' oder 'c' ist
-für jeden weiteren char bis länge ob er 'c' ist

 

[XHelp]

Wie gesagt, bau deine Logik um:
- Jedes Zeichen überprüfen, wie im DFA
- wenn man bis zum Ende gekommen ist, dann akzeptieren, ansonsten nicht
Du kannst genau so gut mit Zuständen arbeiten.
Mal dir doch den DFA hin und mach es genau so

Wenn es nur darum geht die Eingabe zu Überprüfen, dann:
2 counter für Hauptgerichte und Beilagen.
Wort durchgehen und je nach Zeichen die Counter erhöhen
Am Ende muss der Counter für Hauptgerichte auf 1 sein und für Beilagen 0..2

 

[xyZman]

Also ich hatte es ja mittels verschiedener Switches so umgesetzt.
Nur muss es doch einfach gehen und übersichtlicher ?
Wie man sieht wird am ende s%2!=0 überprüft und somit festgestellt ob gueltig oder nicht.
Nur haben die Überführungsfunktionen hier wenig Sinn und können genausogut gelöscht werden

public class automat {

  public static void main(String[] argv) {

      //Ueberfuehrungsfunktion
      int[][] menue =  {{1,2,6},
                        {6,3,6},
                        {3,4,2},
                        {6,5,3},
                        {5,6,4},
                        {6,6,5},
                        {6,6,6}};

      //Startzustand ist 0
      int s=0;

      //Bestellung wird aufgenommen
      IO.print("a fuer Hauptspeise");
      IO.println("b fuer Beilage");
      IO.println("c fuer Sauce");
      char[] bestellung = IO.readChars("Ihr Bestellung bitte:");

      //Zustand soll je nach Zeichen geandert werden
      for (int i=0;i<bestellung.length;i++){

         if (s==0){
              switch (bestellung[i]){
                  case 'a': s=1; break;
                  case 'b': s=2; break;
                  case 'c': s=6; break;
                  default : s=0; break;
              }
          }

         else if (s==1){
              switch (bestellung[i]){
                  case 'a': s=6; break;
                  case 'b': s=3; break;
                  case 'c': s=6; break;
                  default : s=1; break;
              }
          }

         else if (s==2){
              switch (bestellung[i]){
                  case 'a': s=3; break;
                  case 'b': s=5; break;
                  case 'c': s=2; break;
                  default : s=2; break;
              }
          }

         else if (s==3){
              switch (bestellung[i]){
                  case 'a': s=6; break;
                  case 'b': s=5; break;
                  case 'c': s=3; break;
                  default : s=3; break;
              }
          }

         else if (s==4){
              switch (bestellung[i]){
                  case 'a': s=5; break;
                  case 'b': s=6; break;
                  case 'c': s=4; break;
                  default : s=4; break;
              }
          }

         else if (s==5){
              switch (bestellung[i]){
                  case 'a': s=6; break;
                  case 'b': s=6; break;
                  case 'c': s=5; break;
                  default : s=5; break;
              }
          }

         else if (s==6){
              switch (bestellung[i]){
                  case 'a': s=6; break;
                  case 'b': s=6; break;
                  case 'c': s=6; break;
                  default : s=6; break;
              }
          }

      }

      //Bestellung gueltig? :wZustand 1,3 und 5 stellen vollst‰ndige Menues dar
      if (s%2!=0){
          IO.print("Menue ist gueltig");
      }
      else{
          IO.print("Menue ist ungueltig");
      }

  }
}

 

[Andi_CH]

Klassennamen sollten gross geschrieben werden.

Eigentlich solltest DU wissen warum deine "Businesslogik" bei abc als Eingabe am Schluss den Wert 1 in s hat (Es ist die rote 1)

a -> zugriff mit 0,0 -> s=0
b -> zugriff mit 0,1 -> s=1
c -> zugriff mit 1,2 -> s=1

int[][] menue = {{[COLOR="Lime"]0[/COLOR],[COLOR="RoyalBlue"]1[/COLOR],2},
		{0,2,[COLOR="Red"]1[/COLOR]},
		{2,1,0},
		{2,0,1},
		{1,2,0},
		{1,0,2},

 

[XHelp]

Das sind auch keine Überführungsfunktionen.
P.S. Beachte mein Edit vom letzten Post