nfa_determi.h

Go to the documentation of this file.

 
#ifndef NFA_DETERMI_H
#define NFA_DETERMI_H
 
 /*  _   _ _____ _        ____  _____ _____ _____ ____  __  __ ___ _   _ ___ _____   _  _____ ___ ___  _   _  */
 /* | \ | |  ___/ \   _  |  _ \| ____|_   _| ____|  _ \|  \/  |_ _| \ | |_ _|__  /  / \|_   _|_ _/ _ \| \ | | */
 /* |  \| | |_ / _ \ (_) | | | |  _|   | | |  _| | |_) | |\/| || ||  \| || |  / /  / _ \ | |  | | | | |  \| | */
 /* | |\  |  _/ ___ \ _  | |_| | |___  | | | |___|  _ <| |  | || || |\  || | / /_ / ___ \| |  | | |_| | |\  | */
 /* |_| \_|_|/_/   \_(_) |____/|_____| |_| |_____|_| \_\_|  |_|___|_| \_|___/____/_/   \_\_| |___\___/|_| \_| */
 
#include "nfa.h"
#include "printing.h"

dfa* nfa_determinize(nfa*, 
    bool                   
);
 

typedef struct {
    uint* edges; 
    uint* st_edges; 
    uint* ed_edges; 
} dfa_mirror_info;

void dfa_get_mirror_info(dfa* A, 
    dfa_mirror_info* mirror 
);
 

dfa* dfa_determinize_mirror(dfa*, 
    bool                   
);
 

nfa* nfa_complement(nfa* 
);
 

dfa* dfa_complement(dfa* 
);
 
 
#endif