Implements |
NFA |
Class Specifications |
| name |
NFA_mmap |
| template parameters |
class _Sigma = Type_alphabet<char>,
class _Tag = empty_tag,
class Allocator = default_allocator |
| constructor |
NFA_mmap(unsigned long n = 0, Allocator a = Allocator()) |
|
File |
nfa_mmap.h |
Structure |
Each state is associated to a STL standard multimap with key-type  and value_type (,Q).F is a bit vector.
|
time |
| Add state: | O(1) |
| Remove state: | O(c) |
| Add transitions: | log2(degre) |
| Remove transition: | O(xc) (xc=extended context xc(q,'a')) |
| Access transition: | O(1) |
| Iteration on edges: |  |
|
Space |
+Qt |
Use Cases |
same as DFA_map, but for a NFA |
|
