Class DFA

java.lang.Object
  DFA

public class DFA
extends java.lang.Object

Constructor Summary

DFA()

DFA(int n, java.lang.String[] L, java.lang.String startL, java.lang.String a, int[][] t, boolean[] f)

Method Summary

boolean	accepts(java.lang.String inString)
IntSet	accessible()
IntSet	accessible(IntSet S, int steps)
Alphabet	alpha()
void	changeTransitionDialog()
void	constructD1()
void	constructD2()
void	constructD3()
void	constructD4()
void	constructD5()
void	constructD6()
int	constructorMenu()
void	copy(DFA dfa)
int	getValidState()
int	getValidSymbol()
int	getValidTransition(int i, int j)
boolean[]	isFinal()
static void	main(java.lang.String[] args)
boolean	menuHandler(int choice)
int	numStates()
void	predefinedDialog()
void	printDFA()
void	printLanguage(int n)
void	printLanguageDialog()
void	prune()
void	pump(java.lang.String inString)
void	queryAlphabet()
void	queryFinal()
void	queryLabels()
int	queryNumStates()
boolean	queryPredefined()
int	queryStart()
void	queryTransition()
java.util.Vector	stateLabel()
int	stateNumber(java.lang.String s)
void	testEpsilonDialog()
void	testingDialog()
int	testingMenu()
void	testStringDialog()
int[][]	transition()
boolean	validLabel(java.lang.String s)
boolean	validState(int i)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DFA

public DFA()

DFA

public DFA(int n,
           java.lang.String[] L,
           java.lang.String startL,
           java.lang.String a,
           int[][] t,
           boolean[] f)

Method Detail

copy

public void copy(DFA dfa)

numStates

public int numStates()

stateLabel

public java.util.Vector stateLabel()

alpha

public Alphabet alpha()

transition

public int[][] transition()

isFinal

public boolean[] isFinal()

stateNumber

public int stateNumber(java.lang.String s)

constructorMenu

public int constructorMenu()

menuHandler

public boolean menuHandler(int choice)

testingDialog

public void testingDialog()

testingMenu

public int testingMenu()

testEpsilonDialog

public void testEpsilonDialog()

testStringDialog

public void testStringDialog()

printLanguageDialog

public void printLanguageDialog()

queryNumStates

public int queryNumStates()

queryLabels

public void queryLabels()

queryPredefined

public boolean queryPredefined()

predefinedDialog

public void predefinedDialog()

queryStart

public int queryStart()

queryAlphabet

public void queryAlphabet()

queryFinal

public void queryFinal()

getValidState

public int getValidState()

getValidSymbol

public int getValidSymbol()

getValidTransition

public int getValidTransition(int i,
                              int j)

queryTransition

public void queryTransition()

changeTransitionDialog

public void changeTransitionDialog()

accepts

public boolean accepts(java.lang.String inString)

printDFA

public void printDFA()

printLanguage

public void printLanguage(int n)

validState

public boolean validState(int i)

validLabel

public boolean validLabel(java.lang.String s)

accessible

public IntSet accessible()

accessible

public IntSet accessible(IntSet S,
                         int steps)

prune

public void prune()

constructD1

public void constructD1()

constructD2

public void constructD2()

constructD3

public void constructD3()

constructD4

public void constructD4()

constructD5

public void constructD5()

constructD6

public void constructD6()

pump

public void pump(java.lang.String inString)

main

public static void main(java.lang.String[] args)