Type used to represent a NFA. More...

#include <nfa.h>

Public Attributes
lgraph *	trans
	Graph of transitions (also stores the number of states and the size of the alphabet).

dequeue *	initials
	The list of initial states (sorted in increasing order).

dequeue *	finals
	The list of final states (sorted in increasing order).

letter *	alphabet
	Array indexed by the indices of letters. Maps each index to its actual letter (NULL if the alphabet is empty).

graph *	trans_e
	Graph of espilon transitions (NULL if there are no such transitions).

lgraph *	trans_i
	Graph of inverse transitions (NULL if there are no such transitions).

char **	state_names
	Array of state names (only utilized when displaying the NFA). Each state is mapped to its name (NULL if unused).

Detailed Description

Type used to represent a NFA.

The last four fields are not mandatory (if not used, they must be set to a NULL pointer). The letters in the alphabet are sorted in increasing order.

Remarks: The array of state names is not mandatory. If it is set to a NULL pointer, each set will be named by its index when displaying the NFA.

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

Public Attributes