|
Volumn 330, Issue 1, 2005, Pages 23-34
|
Mergible states in large NFA
|
Author keywords
Equivalent states; Mergible states; Nondeterministic finite automata; Number of states
|
Indexed keywords
DETERMINISTIC FINITE AUTOMATA (DFA);
EQUIVALENT STATES;
MERGIBLE STATES;
NONDETERMINISTIC FINITE AUTOMATA (NFA);
NUMBER OF STATES;
ALGORITHMS;
COMPUTATIONAL METHODS;
FORMAL LANGUAGES;
INTEGER PROGRAMMING;
PROBLEM SOLVING;
SET THEORY;
THEOREM PROVING;
FINITE AUTOMATA;
|
EID: 11444257495
PISSN: 03043975
EISSN: None
Source Type: Journal
DOI: 10.1016/j.tcs.2004.09.008 Document Type: Article |
Times cited : (16)
|
References (9)
|