algorithms Directory Reference

Directories
directory	internal
Files
file	accessible.hh
	Algorithms for accessible/coaccessible states computation.
file	accessible.hxx
file	aci_canonical.hh
	This file contains the declaration for the canonical() algorithm.
file	aci_canonical.hxx
file	aut_to_exp.hh
	This file provides converter from automaton to expression.
file	aut_to_exp.hxx
file	backward_realtime.hh
	Algorithms to make an automaton realtime.
file	backward_realtime.hxx
file	berry_sethi.hh
	Contains the declaration for the Berry-Sethi algorithm.
file	berry_sethi.hxx
file	brzozowski.hh
	Contains the declaration for the Brzozowski algorithm.
file	brzozowski.hxx
file	closure.hh
	This files declares the backward and forward closure algorithm.
file	closure.hxx
file	complement.hh
	Complementation algorithm for Boolean automata.
file	complement.hxx
file	complete.hh
	Completion algorithm for deterministic and Boolean automaton.
file	complete.hxx
file	concatenate.hh
	This file provides the general concatenation algorithm.
file	concatenate.hxx
file	cut_up.hh
	Cut-up algorithm.
file	cut_up.hxx
	Cut-up algorithm.
file	derived_term_automaton.hh
	Provides a converter from expression to automaton based on derivatives.
file	derived_term_automaton.hxx
file	determinize.hh
	This file provides the determinization algorithm for Boolean automata.
file	determinize.hxx
file	eval.hh
	This file provides the evaluation of a word w.r.t an automaton.
file	eval.hxx
file	evaluation.hh
	Undocumented stuff.
file	evaluation.hxx
file	evaluation_fmp.hh
	Evaluation over normalized and sub-normalized transducers seen as automata over a free monoid product.
file	evaluation_fmp.hxx
file	extension.hh
	This file contains declarations for extension().
file	extension.hxx
file	finite_support_conversion.hh
	Conversion between finite support application types.
file	finite_support_conversion.hxx
file	fmp_to_realtime.hh
	This file provides a transformation function that computes the equivalent transducer of a FMP automaton.
file	fmp_to_realtime.hxx
file	forward_realtime.hh
	Algorithms to make an automaton realtime.
file	forward_realtime.hxx
file	initial_derivation.hh
	This file contains the declaration for the initial derivation visitor, used for smart_derivative_automaton.
file	initial_derivation.hxx
file	is_letterized.hh
	This file contains letter-to-letter feature testing.
file	is_letterized.hxx
file	is_normalized.hh
	This file contains a test for transducer normalization.
file	is_normalized.hxx
file	is_realtime.hh
	This file contains a test for realtime transducers.
file	is_realtime.hxx
file	isomorph.hh
file	isomorph.hxx
file	krat_exp_cderivation.hh
	This file contains the declaration for the cderivate() algorithms.
file	krat_exp_cderivation.hxx
file	krat_exp_constant_term.hh
	This file contains the declaration for the constant_term() algorithm.
file	krat_exp_constant_term.hxx
file	krat_exp_derivation.hh
	This file contains the declaration for the derivate() algorithms.
file	krat_exp_derivation.hxx
file	krat_exp_expand.hh
file	krat_exp_expand.hxx
file	krat_exp_flatten.hh
	This file holds the declaration of the flatten() algorithm.
file	krat_exp_flatten.hxx
file	krat_exp_linearize.hh
	This file contains the declarations for the linearize() algorithm.
file	krat_exp_linearize.hxx
file	krat_exp_partial_derivation.hh
	This file contains the declarations for the partial_derivate() algorithm.
file	krat_exp_partial_derivation.hxx
file	krat_exp_realtime.hh
	Declarations of the realtime() algorithm for rational expressions.
file	krat_exp_realtime.hxx
file	letter_to_letter_composition.hh
	Undocumented stuff.
file	letter_to_letter_composition.hxx
file	minimization_hopcroft.hh
	This file provides minimization and quotient algorithms.
file	minimization_hopcroft.hxx
file	minimization_moore.hh
	This file containes the declaration of minimization_moore().
file	minimization_moore.hxx
file	normalized.hh
	Thompson normalization operations.
file	normalized.hxx
file	normalized_composition.hh
	Composition for normalized and sub-normalized transducers seen as automata over a free monoid product.
file	normalized_composition.hxx
	Composition for normalized and sub-normalized transducers seen as automata over a free monoid product.
file	outsplitting.hh
	Outsplitting and insplitting algorithms for normalized and sub-normalized transducers seen as automata over a free monoid product.
file	outsplitting.hxx
	Outsplitting and insplitting algorithms for normalized and sub-normalized transducers seen as automata over a free monoid product.
file	product.hh
	This file contains the declarations of product().
file	product.hxx
file	projection.hh
	Undocumented stuff.
file	projection.hxx
file	projections_fmp.hh
	Domain and Image projection for transducers seen as automata over a free monoid product.
file	projections_fmp.hxx
file	realtime.hh
	General algorithms concerning realtime aspect of automata.
file	realtime.hxx
file	realtime_composition.hh
	Undocumented stuff.
file	realtime_composition.hxx
file	realtime_decl.hh
	Declaration of the realtime() function.
file	realtime_decl.hxx
file	realtime_to_fmp.hh
	This file provides a transformation function that computes the equivalent FMP automaton of a tranducer.
file	realtime_to_fmp.hxx
file	search.hh
	Rational expression search in text.
file	search.hxx
file	standard.hh
	Several algorithms concerning standard automata.
file	standard.hxx
file	standard_of.hh
	This file provides a converter from expression to standard automaton.
file	standard_of.hxx
file	sub_automaton.hh
	This file provides the extraction of sub automaton.
file	sub_automaton.hxx
file	sub_normalize.hh
file	sub_normalize.hxx
	Sub-normalization algorithm for FMP transducers.
file	sum.hh
	Summing of automata.
file	sum.hxx
file	thompson.hh
	The thompson automaton.
file	thompson.hxx
file	algorithms/transpose.hh
	This file contain the function which transpose an automaton.
file	algorithms/transpose.hxx
file	trim.hh
	This file contains the declaration of useful_states() and trim().
file	trim.hxx

---