A deterministic pushdown automaton utilizing a stack. More...

Inheritance diagram for System.Automata.PushdownAutomaton:

Public Member Functions
	PushdownAutomaton (States q, Alphabet a, StackAlphabet g, PushdownTransitionFunction d, State q0, AcceptingStates f)

bool	Run (char[] x)

bool	Run (string x)

Properties
StackAlphabet	StackAlphabet `[get]`
	The stack alphabet. More...

new PushdownTransitionFunction	Transitions `[get]`
	The transition function More...

Properties inherited from System.Automata.Automaton
States	States `[get, protected set]`
	The set of states. More...

AcceptingStates	AcceptingStates `[get, protected set]`
	The set of accepting states. More...

Alphabet	Alphabet `[get, protected set]`
	The machine's alphabet. More...

State	InitialState `[get, protected set]`
	The initial state. More...

TransitionFunction	Transitions `[get, protected set]`
	The state transition mappings More...

Detailed Description

A deterministic pushdown automaton utilizing a stack.

Constructor & Destructor Documentation

System.Automata.PushdownAutomaton.PushdownAutomaton	(	States	q,
		Alphabet	a,
		StackAlphabet	g,
		PushdownTransitionFunction	d,
		State	q0,
		AcceptingStates	f
	)

Parameters

q	The set of states
a	The language alphabet
g	The stack alphabet
d	The transition function containing Transition and PushdownTransition objects
q0	The initial state
f	The set of accepting states

Exceptions

ArgumentException

StackAlphabet System.Automata.PushdownAutomaton.StackAlphabet

get

The stack alphabet.

new PushdownTransitionFunction System.Automata.PushdownAutomaton.Transitions

get

The transition function

The documentation for this class was generated from the following file: