#include <cpda.hh>

Inheritance diagram for ruba::store_automaton:

Public Member Functions
	store_automaton (const fsa_state_set &states, const fsa_alphabet &alphabet, const fsa_delta &transitions, const fsa_state_set &start, const fsa_state &accept)

	~store_automaton ()

Public Member Functions inherited from ruba::finite_automaton
	finite_automaton (const fsa_state_set &states, const fsa_alphabet &alphabet, const fsa_delta &transitions, const fsa_state_set &start, const fsa_state &accept)

	finite_automaton (const fsa_state_set &states, const fsa_alphabet &alphabet, const fsa_state_set &start, const fsa_state &accept)

virtual	~finite_automaton ()

const fsa_state_set &	get_states () const

const fsa_alphabet &	get_alphas () const

const fsa_delta &	get_transitions () const

fsa_state_set	get_start () const

void	set_initials (const fsa_state_set &initials)

fsa_state	get_accept () const

bool	empty () const

Static Public Member Functions
static fsa_state	create_interm_state ()

Detailed Description

Define a pushdown store automaton. A pushdown store automaton is a finite automaton, with the following specific features:

states: this contains only intermediate states and accept states, no start states;
start: this contains only start states;
accept: the accept state is a state. Its id is defined between the IDs of start states and those of intermediate states, e.g., initial 0..5, accept 6, states 7..9
a static variable interm_s: to generate an intermediate state

Constructor & Destructor Documentation

ruba::store_automaton::store_automaton	(	const fsa_state_set &	states,
		const fsa_alphabet &	alphabet,
		const fsa_delta &	transitions,
		const fsa_state_set &	start,
		const fsa_state &	accept
	)

The data structure for pushdown store automaton

Parameters

ruba::store_automaton::~store_automaton ( )

destructor

fsa_state ruba::store_automaton::create_interm_state ( )

static

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