sep_pol.h File Reference

Separation by classes built with polynomial closure. More...

#include <stdbool.h>
#include <stdlib.h>
#include "nfa.h"
#include "sep_group.h"
#include "printing.h"
#include "graphs_tarjan.h"
#include "nfa_intersec.h"

Go to the source code of this file.

Functions
bool	decid_polst_sep (nfa *, nfa *, bool, FILE *)
	Pol(ST)-separation.
bool	decid_polmod_sep (nfa *, nfa *, bool, FILE *)
	Pol(MOD)-separation.
bool	decid_polgr_sep (nfa *, nfa *, bool, FILE *)
	Pol(GR)-separation.

Detailed Description

Separation by classes built with polynomial closure.

Function Documentation

decid_polgr_sep()

bool decid_polgr_sep	(	nfa *	A,
		nfa *	B,
		bool	details,
		FILE *	out )

Pol(GR)-separation.

Remarks

A stream is given as input. Results of the computation are displayed on A NULL pointer should be given if no display is wanted. It is possible to ask for details on the computation using the Boolean.

Returns

A Boolean indicating whether the two input languages are Pol(GR)-separable.

Parameters

A	First NFA.
B	Second NFA.
details	Should further details be displayed?
out	The stream.

decid_polmod_sep()

bool decid_polmod_sep	(	nfa *	A,
		nfa *	B,
		bool	details,
		FILE *	out )

Pol(MOD)-separation.

Remarks

A stream is given as input. Results of the computation are displayed on A NULL pointer should be given if no display is wanted. It is possible to ask for details on the computation using the Boolean.

Returns

A Boolean indicating whether the two input languages are Pol(MOD)-separable.

Parameters

A	First NFA.
B	Second NFA.
details	Should further details be displayed?
out	The stream.

decid_polst_sep()

bool decid_polst_sep	(	nfa *	A,
		nfa *	B,
		bool	details,
		FILE *	out )

Pol(ST)-separation.

Remarks

A stream is given as input. Results of the computation are displayed on A NULL pointer should be given if no display is wanted. It is possible to ask for details on the computation using the Boolean.

Returns

A Boolean indicating whether the two input languages are Pol(ST)-separable.

Parameters

A	First NFA.
B	Second NFA.
details	Should further details be displayed?
out	The stream.