mccluskey_auto Struct Reference

Type used to represent the generalized automata used in the algorithm. More...

#include <nfa_mccluskey.h>

Public Attributes
uint	size
	The size of this automaton.
regexp ***	matrix
	The two-dimensional array (size * size) which stores the transitions.

Detailed Description

Type used to represent the generalized automata used in the algorithm.

Remarks

In a generalized automaton, there is a single initial state and a single final state. Furthermore, there exists a most one transition between two states which is labeld by a regular expression.

The transistions are represented by a two dimensional array:

• The state 0 is the initial one.
• The state 1 is the final one.
• For two states "q" and "r", the celk "matrix[q][r] contains the regular expression which labels the unique transition from "q" to "r" (if there is no such transition, the cell contains a NULL pointer).

---

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

• nfa_mccluskey.h