regexp_tonfa.h

Go to the documentation of this file.

 
#ifndef REGAUT_H_
#define REGAUT_H_
 
 /*  ____                  _                                                _                    */
 /* |  _ \ ___  __ _ _   _| | __ _ _ __    _____  ___ __  _ __ ___  ___ ___(_) ___  _ __  ___ _  */
 /* | |_) / _ \/ _` | | | | |/ _` | '__|  / _ \ \/ / '_ \| '__/ _ \/ __/ __| |/ _ \| '_ \/ __(_) */
 /* |  _ <  __/ (_| | |_| | | (_| | |    |  __/>  <| |_) | | |  __/\__ \__ \ | (_) | | | \__ \_  */
 /* |_| \_\___|\__, |\__,_|_|\__,_|_|  _  \___/_/\_\ .__/|_|  \___||___/___/_|\___/|_| |_|___(_) */
 /*   ___ ___  |___/_   _____ _ __ ___(_) ___  _ __|_|| |_ ___   | \ | |  ___/ \   ___           */
 /*  / __/ _ \| '_ \ \ / / _ \ '__/ __| |/ _ \| '_ \  | __/ _ \  |  \| | |_ / _ \ / __|          */
 /* | (_| (_) | | | \ V /  __/ |  \__ \ | (_) | | | | | || (_) | | |\  |  _/ ___ \\__ \          */
 /*  \___\___/|_| |_|\_/ \___|_|  |___/_|\___/|_| |_|  \__\___/  |_| \_|_|/_/   \_\___/          */
 
#include "error.h"
#include "nfa.h"
#include "nfa_intersec.h"
#include "nfa_minimization.h"
#include "regexp.h"
#include "type_boolarray.h"
#include <stdlib.h>
 
/**************************/
/*+ Glushkov's algorithm +*/
/**************************/

uint reg_countletters(regexp* 
);

typedef struct {
    uint size;      
    bool epsilon;   
    barray* first;  
    barray* last;   
    barray* follow; 
} glushkov_info;

glushkov_info* reg_create_gk_emp(uint 
);

void reg_gk_delete(glushkov_info* 
);

glushkov_info* gk_indexleaves(regexp*, 
    uint,                              
    uint*,                             
    letter*                            
);

nfa* reg_glushkov(regexp* 
);
 
/**************************/
/*+ Thompson's algorithm +*/
/**************************/

nfa* reg_thompson(regexp* 
);
 
#endif // REGAUT_H_