Mescal
Loading...
Searching...
No Matches
nfa_mccluskey.h
Go to the documentation of this file.
1
6
7#ifndef MCCLUSKEY_H
8#define MCCLUSKEY_H
9
10 /* _ _ _____ _ ____ _ _ __ __ ____ _ _ */
11 /* | \ | | ___/ \ _ | __ ) _ __ _______ _________ _____| | _(_) | \/ | ___ / ___| |_ _ ___| | _____ _ _ */
12 /* | \| | |_ / _ \ (_) | _ \| '__|_ / _ \_ / _ \ \ /\ / / __| |/ / | | |\/| |/ __| | | | | | / __| |/ / _ \ | | | */
13 /* | |\ | _/ ___ \ _ | |_) | | / / (_) / / (_) \ V V /\__ \ <| | | | | | (__| |___| | |_| \__ \ < __/ |_| | */
14 /* |_| \_|_|/_/ \_(_) |____/|_| /___\___/___\___/ \_/\_/ |___/_|\_\_| |_| |_|\___|\____|_|\__,_|___/_|\_\___|\__, | */
15 /* __ _| | __ _ ___ _ __(_) |_| |__ _ __ ___ |___/ */
16 /* / _` | |/ _` |/ _ \| '__| | __| '_ \| '_ ` _ \ */
17 /* | (_| | | (_| | (_) | | | | |_| | | | | | | | | */
18 /* \__,_|_|\__, |\___/|_| |_|\__|_| |_|_| |_| |_| */
19 /* |___/ */
20
21#include "nfa.h"
22#include "regexp.h"
23
24
41typedef struct {
42 uint size;
43 regexp*** matrix;
44} mccluskey_auto;
45
46
54mccluskey_auto* nfa_to_mccluskey(nfa*
55);
56
64mccluskey_auto* dfa_to_mccluskey(dfa*
65);
66
74regexp* nfa_mccluskey(nfa*
75);
76
84regexp* dfa_mccluskey(dfa*
85);
86
87#endif
nfa.h
Implementation of NFAs.
dfa_mccluskey
regexp * dfa_mccluskey(dfa *)
Brzozowski-McCluskey algorithm (DFAs).
Definition nfa_mccluskey.c:154
nfa_to_mccluskey
mccluskey_auto * nfa_to_mccluskey(nfa *)
Computes a generalized automaton from an arbitrary NFA.
Definition nfa_mccluskey.c:3
nfa_mccluskey
regexp * nfa_mccluskey(nfa *)
Brzozowski-McCluskey algorithm (NFAs).
Definition nfa_mccluskey.c:144
dfa_to_mccluskey
mccluskey_auto * dfa_to_mccluskey(dfa *)
Computes a generalized automaton from an arbitrary DFA.
Definition nfa_mccluskey.c:61
regexp.h
Implementation of regular expressions.
dfa
Type used to represent a complete DFA.
Definition nfa.h:61
mccluskey_auto
Type used to represent the generalized automata used in the algorithm.
Definition nfa_mccluskey.h:41
mccluskey_auto::matrix
regexp *** matrix
The two-dimensional array (size * size) which stores the transitions.
Definition nfa_mccluskey.h:43
mccluskey_auto::size
uint size
The size of this automaton.
Definition nfa_mccluskey.h:42
nfa
Type used to represent a NFA.
Definition nfa.h:43
regexp
Type used to represent a single node in a regular expression.
Definition regexp.h:123