net.oneandone.mork.scanner

Class FA

java.lang.Object

net.oneandone.mork.scanner.FA

public class FA
extends Object

Finite automaton, deteministic or non-deterministic. Has at least 1 state. Always has a start state. Maintains a set of end states.

Constructor Summary

Constructors

Constructor and Description
FA()
FA(FA orig)

Method Summary

Modifier and Type	Method and Description
int	add(Object label) Inserts a new states to the automaton.
void	alternate(FA alt)
net.oneandone.sushi.util.IntBitSet[]	epsilonClosures() Its too expensive to compute a single epsilong closure.
int	find(Object label)
State	get(int idx)
int	getFirstEnd()
int	getNextEnd(int state)
int	getStart()
boolean	isEnd(int state)
void	not() Negates normal states and end states.
void	plus()
void	resetEnd(int state)
void	sequence(FA seq)
void	setEnd(int state)
void	setEndLabels(Object label)
void	setStart(int state)
int	size()
void	star()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

FA

public FA()

FA

public FA(FA orig)

Method Detail

add

public int add(Object label)

Inserts a new states to the automaton. New states are allocated at the end.

Parameters:

label - label for the state created.

get

public State get(int idx)

size

public int size()

find

public int find(Object label)

setEndLabels

public void setEndLabels(Object label)

getStart

public int getStart()

Returns:

-1 if no start state has been set.

setStart

public void setStart(int state)

Parameters:

state - -1 to unset the start state

setEnd

public void setEnd(int state)

resetEnd

public void resetEnd(int state)

isEnd

public boolean isEnd(int state)

getFirstEnd

public int getFirstEnd()

getNextEnd

public int getNextEnd(int state)

sequence

public void sequence(FA seq)

alternate

public void alternate(FA alt)

star

public void star()

plus

public void plus()

not

public void not()

Negates normal states and end states. If the automaton is deterministic, the accepted language is negated.

epsilonClosures

public net.oneandone.sushi.util.IntBitSet[] epsilonClosures()

Its too expensive to compute a single epsilong closure.

toString

public String toString()

Overrides:

toString in class Object