Class Zustand
java.lang.Object
|
+--Zustand
- public class Zustand
- extends java.lang.Object
verwaltet einen Zustand im endlichen Automaten
- Version:
- 990524
- Author:
- Christian Heinemann <heinemann@bigfoot.de>
|
Field Summary |
private int |
nummer
ursprüngliche Zustandsnummer der Eingabe |
private java.util.Vector |
ueberfuehrungen
speichert die möglichen Folgezustände |
|
Constructor Summary |
Zustand(int nummer)
|
| Methods inherited from class java.lang.Object |
,
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
registerNatives,
wait,
wait,
wait |
nummer
private int nummer
- ursprüngliche Zustandsnummer der Eingabe
ueberfuehrungen
private java.util.Vector ueberfuehrungen
- speichert die möglichen Folgezustände
Zustand
public Zustand(int nummer)
- Parameters:
nummer - die Nummer des Zustandes
toString
public java.lang.String toString()
- Overrides:
- toString in class java.lang.Object
getFolgezustaende
public final java.util.Vector getFolgezustaende(char eingabe)
- ermittelt alle Folgezustände bei Eingabe eines Zeichens
- Parameters:
eingabe - Zeichen, welches Überführung ermöglicht- Returns:
- Liste von Überführungen mit Typ Ueberfuehrung
- See Also:
Ueberfuehrung
getBenutzteZeichen
public java.util.Vector getBenutzteZeichen()
- liefert alle benutzten Zeichen, die Überführung bewirken
- Returns:
- Vector von char
getZustandsNummer
public int getZustandsNummer()
- liefert die Nummer des Zustandes
- Returns:
- Zustandsnummer
setUeberfuehrung
public void setUeberfuehrung(char eingabe,
Zustand nach)
- setzt die Ueberführungen
- Parameters:
eingabe - Eingabezeichennach - Zielzustand