work

Class NFA

java.lang.Object

work.Automaton

work.NFA

public class NFA
extends Automaton

This class extends Automaton abstract class and work as a Nondeterministic Finite Automaton for (1+0)*10.

Since:

2014-03-31

Field Summary

Fields

Modifier and Type	Field and Description
static Automaton	nfa An instance of NFA to test.

Constructor Summary

Constructors

Constructor and Description
NFA()

Method Summary

Modifier and Type	Method and Description
boolean	accept(java.lang.String w) This method checks the input string and prints result step by step.
java.util.Set<work.NFA.State>	delta(work.NFA.State q, char c) This method determines and returns the next state of automaton for given state and input char.
static java.lang.Class	getStates() This static method returns the enumerated class.
static void	main(java.lang.String[] args) This is the main method which makes use of test method.

Methods inherited from class work.Automaton

test

Methods inherited from class java.lang.Object

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

Field Detail

nfa

public static final Automaton nfa

An instance of NFA to test.

Constructor Detail

NFA

public NFA()

Method Detail

getStates

public static java.lang.Class getStates()

This static method returns the enumerated class.

Returns:

Class object of enum State.

delta

public java.util.Set<work.NFA.State> delta(work.NFA.State q,
                                           char c)

This method determines and returns the next state of automaton for given state and input char.

Parameters:

q - Current State.

c - Input char of step.

Returns:

Calculated next state or states by given inputs. If no transition, null returns.

accept

public boolean accept(java.lang.String w)

This method checks the input string and prints result step by step. Also, if input is accepted, returns true. If not, returns false.

Specified by:

accept in class Automaton

Parameters:

w - Input to check if it's accepted by automaton and print.

Returns:

Checks acceptance. If accepted, returns true. If not, returns false.

main

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

This is the main method which makes use of test method.

Parameters:

args - Unused.