Class AutomatenParameter

java.lang.Object
  |
  +--AutomatenParameter

public class AutomatenParameter

extends java.lang.Object

Diese Klasse kapselt die Informationen die vom Nutzer eingegeben werden und zur Kontruktion des Automaten und der Ueberfuehrung benoetigt werden.

Version:

990604

Author:

Michael Stach <stach@bigfoot.de>

Inner Class Summary

class

AutomatenParameter.Wert Diese Klasse kapselt ein Tripel [char zeichen, int von, int[] nach] fuer die Ueberfuehrungsfunktion.

Field Summary

private java.util.Vector	endzustaende die Liste mit den Endzustaenden als Vector von Integer
private int	startzustand der Startzustand als int
private java.util.Vector	wertetabelle die Ueberfuehrungstabelle als Liste von Wert

Constructor Summary

AutomatenParameter(int startzustand)

Method Summary

void	addEndZustand(int nummer) fuegt einen Endzustand hinzu
void	addWert(char zeichen, int von, int nach) fuegt eine Zeile der Ueberfuehrungszabelle hinzu
java.util.Vector	getEndzustaende() liefert die Endzustandsmenge
int	getStartZustand() liefert den Startzustand
java.util.Vector	getWerteTabelle() liefert die Ueberfuehrungstabelle
void	setStartZustand(int nummer) aendert den Startzustand
java.lang.String	toString()

Methods inherited from class java.lang.Object

, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait

Field Detail

startzustand

private int startzustand

der Startzustand als int

endzustaende

private java.util.Vector endzustaende

die Liste mit den Endzustaenden als Vector von Integer

wertetabelle

private java.util.Vector wertetabelle

die Ueberfuehrungstabelle als Liste von Wert

Constructor Detail

AutomatenParameter

public AutomatenParameter(int startzustand)

Parameters:

startzustand - der gewuenschte Startzustand

Method Detail

setStartZustand

public void setStartZustand(int nummer)

aendert den Startzustand

Parameters:

nummer - Nummer des Startzustands

addEndZustand

public void addEndZustand(int nummer)

fuegt einen Endzustand hinzu

Parameters:

nummer - Nummer des Endzustands

addWert

public void addWert(char zeichen,
                    int von,
                    int nach)

fuegt eine Zeile der Ueberfuehrungszabelle hinzu

Parameters:

zeichen - Zeichen mit dem ueberfuehrt werden soll

von - Zustand aus dem ueberfuehrt werden soll

nach - Ein Feld von int als Folgezustandsmenge

getStartZustand

public final int getStartZustand()

liefert den Startzustand

Returns:

liefert den Startzustand als int

getEndzustaende

public final java.util.Vector getEndzustaende()

liefert die Endzustandsmenge

Returns:

liefert die Endzustandsmenge als Vector von Integer

getWerteTabelle

public final java.util.Vector getWerteTabelle()

liefert die Ueberfuehrungstabelle

Returns:

liefert die Wertetabelle der Ueberfuehrungsfunktion als Vector von Wert

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object