nfa_mccluskey.h File Reference

Computation of a regular expression from a NFA with the Brzozowski-McCluskey algorithm. More...

#include "nfa.h"
#include "regexp.h"

Go to the source code of this file.

Classes
struct	mccluskey_auto
	Type used to represent the generalized automata used in the algorithm. More...

Functions
mccluskey_auto *	nfa_to_mccluskey (nfa *)
	Computes a generalized automaton from an arbitrary NFA.
mccluskey_auto *	dfa_to_mccluskey (dfa *)
	Computes a generalized automaton from an arbitrary DFA.
regexp *	nfa_mccluskey (nfa *)
	Brzozowski-McCluskey algorithm (NFAs).
regexp *	dfa_mccluskey (dfa *)
	Brzozowski-McCluskey algorithm (DFAs).

Detailed Description

Computation of a regular expression from a NFA with the Brzozowski-McCluskey algorithm.

Function Documentation

dfa_mccluskey()

regexp * dfa_mccluskey

(

dfa *

A

)

Brzozowski-McCluskey algorithm (DFAs).

Returns

A regular expression recognizing the same language as the input NFA.

Parameters

A

The DFA.

dfa_to_mccluskey()

mccluskey_auto * dfa_to_mccluskey

(

dfa *

A

)

Computes a generalized automaton from an arbitrary DFA.

Returns

A generalized automaton recognizing the same language as the input DFA.

Parameters

A

The DFA.

nfa_mccluskey()

regexp * nfa_mccluskey

(

nfa *

A

)

Brzozowski-McCluskey algorithm (NFAs).

Returns

A regular expression recognizing the same language as the input NFA.

Parameters

A

The NFA.

nfa_to_mccluskey()

mccluskey_auto * nfa_to_mccluskey

(

nfa *

A

)

Computes a generalized automaton from an arbitrary NFA.

Returns

A generalized automaton recognizing the same language as the input NFA.

Parameters

A

The NFA.