This page contains the Extend_Fa Package documentation.
Module for pattern match: algorithm for Extending Finite Automaton.
Bases: netbench.pattern_match.b_nfa.b_nfa
Class for Extending Finite Automaton.
Make file which represent the Extend automaton. This file will be input into algorithm written in C language.
Parameter: | file_name – Name of output file |
---|
NOTE: This method is deprecated. Use save_to_file().
Fuction for make Extend FA from RE in file_name.
Parameter: | file_name (string) – Name of input file |
---|
Discover string which is before .{n} like pattern.
Parameter: | file_name – Name of input file |
---|
Return number of states in Extend automaton.
Returns: | Number of states in Extend automaton |
---|---|
Return type: | int |
Return number of transitions in Extend automaton.
Returns: | Number of transitions in Extend automaton |
---|---|
Return type: | int |
Fuction for make Extended FA from RE in file_name.
Parameter: | file_name – Name of input file |
---|
Remove states which are excessively (because of queer creation NFA).
Parameter: | file_name – Name of input file |
---|
Report consumed memory in bytes. Naive mapping algorithm is used (2D array). Basic algorithm for this variant of mapping is: M = |states| * |alphabet| * ceil(log(|states| + 1, 2) / 8) For Extend is: basic + Mem(cnt) + (State * Sym * 2/8)
Returns: | Returns number of bytes. |
---|---|
Return type: | int |
Report consumed memory in bytes. Optimal mapping algorithm is used (with oracle). Basic algorithm for this variant of mapping is: M = |transitions| * ceil(log(|states|, 2) / 8). For Extend is: basic + Mem(cnt) + (Tran*2/8).
Returns: | Returns number of bytes. |
---|---|
Return type: | int |
Make file which represent the Extend automaton. This file will be input into algorithm written in C language.
Parameter: | file_name – Name of output file |
---|
Print states, alphabet, start, transitions, final, flags of automat. And save graphviz dot file, representing graphical structure of automat.
Parameter: | file_name – Name of output file |
---|
Bases: unittest.TestCase
Test module for class extend_fa.