Implements |
NFA |
Class Specifications |
| name |
NFA_matrix |
| template parameters |
class _Sigma = Type_alphabet<char>,
class _Tag = empty_tag,
class Allocator = default_allocator |
| constructor |
NFA_matrix(unsigned long n = 0, Allocator a = Allocator()) |
|
File |
nfa_matrix.h |
Structure |
A 3D matrix. We associate to each state a vector
of state vectors:
one state vector
for each alphabet letter. F is a bit
vector.
|
time |
| Add state: |  |
| Remove state: |  |
| Add transitions: | amortized O(1) |
| Remove transition: | O(| (q,a)|) |
| Access transition: | O(1) |
| Iteration on edges: |  |
|
Space |
+Qt |
Use Cases |
same as DFA_matrix, but for a NFA |
|