메뉴 건너뛰기




Volumn 327, Issue 3, 2004, Pages 241-253

Erratum: NFA reduction algorithms by means of regular inequalities (Theoretical Computer Science (2004) 327 (241-253) PII: S0304397505005062 DOI: 10.1016/j.tcs.2004.02.048);NFA reduction algorithms by means of regular inequalities

Author keywords

Automata; NFA; Nondeterministic; Preorder; Reduction; Simulation

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; COMPUTER SIMULATION; MATRIX ALGEBRA; OPTIMIZATION; SET THEORY;

EID: 6344231665     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.07.001     Document Type: Erratum
Times cited : (31)

References (14)
  • 1
    • 84974730838 scopus 로고    scopus 로고
    • FA minimization heuristics for a class of finite languages
    • O. Boldt, H. Jürgensen (Eds.), Automata Implementation, WIA'99, Springer, Berlin
    • J. Amilhastre, P. Janssen, M.C. Vilarem, FA minimization heuristics for a class of finite languages, in: O. Boldt, H. Jürgensen (Eds.), Automata Implementation, WIA'99, Lecture Notes in Computer Science, Vol. 2214, Springer, Berlin, 2001, pp. 1-12.
    • (2001) Lecture Notes in Computer Science , vol.2214 , pp. 1-12
    • Amilhastre, J.1    Janssen, P.2    Vilarem, M.C.3
  • 3
    • 0002263527 scopus 로고
    • Canonical regular expressions and minimal state graphs for definite events
    • J.A. Brzozowski, Canonical regular expressions and minimal state graphs for definite events, Math. Theory Automat. MRI Sympos. Ser. 12 (1962) 529-561.
    • (1962) Math. Theory Automat. MRI Sympos. Ser. , vol.12 , pp. 529-561
    • Brzozowski, J.A.1
  • 4
    • 0038080913 scopus 로고    scopus 로고
    • Theoretical study and implementation of the canonical automaton
    • J.-M. Champarnaud, F. Coulon, Theoretical study and implementation of the canonical automaton, Fund. Inform. 55 (2003) 23-38.
    • (2003) Fund. Inform. , vol.55 , pp. 23-38
    • Champarnaud, J.-M.1    Coulon, F.2
  • 5
  • 6
    • 0002197352 scopus 로고
    • An n log n algorithm for minimizing the states in a finite automaton
    • Z. Kohavi (Ed.), Academic Press, New York
    • J.E. Hopcroft, An n log n algorithm for minimizing the states in a finite automaton, in: Z. Kohavi (Ed.), The Theory of Machines and Computations, Academic Press, New York, 1971, pp. 189-196.
    • (1971) The Theory of Machines and Computations , pp. 189-196
    • Hopcroft, J.E.1
  • 7
    • 0016946005 scopus 로고
    • On the equivalence, containment and covering problems for the regular and context-free languages
    • H. Hunt, D. Rosenkrantz, T. Szymanski, On the equivalence, containment and covering problems for the regular and context-free languages, J. Comput. System Sci. 12 (1976) 222-268.
    • (1976) J. Comput. System Sci. , vol.12 , pp. 222-268
    • Hunt, H.1    Rosenkrantz, D.2    Szymanski, T.3
  • 8
    • 84956968672 scopus 로고    scopus 로고
    • Algorithms for computing small NFAs
    • K. Diks, W. Rytter (Eds.), Springer, Berlin
    • L. Ilie, S. Yu, Algorithms for computing small NFAs, in: K. Diks, W. Rytter (Eds.), Lecture Notes in Computer Science, Vol. 2420, Springer, Berlin, 2002, pp. 328-340.
    • (2002) Lecture Notes in Computer Science , vol.2420 , pp. 328-340
    • Ilie, L.1    Yu, S.2
  • 10
    • 0027796975 scopus 로고
    • Minimal NFA problems are hard
    • T. Jiang, B. Ravikumar, Minimal NFA problems are hard, SIAM J. Comput. 22 (6) (1993) 1117-1141.
    • (1993) SIAM J. Comput. , vol.22 , Issue.6 , pp. 1117-1141
    • Jiang, T.1    Ravikumar, B.2
  • 11
    • 0014825089 scopus 로고
    • On the state minimization of nondeterministic finite automata
    • T. Kameda, P. Weiner, On the state minimization of nondeterministic finite automata, IEEE Trans. Comput. C( 19) (1970) 617-627.
    • (1970) IEEE Trans. Comput. C , Issue.19 , pp. 617-627
    • Kameda, T.1    Weiner, P.2
  • 13
    • 0038004129 scopus 로고    scopus 로고
    • An efficient incremental DFA minimization algorithm
    • B.-W. Watson, J. Daciuk, An efficient incremental DFA minimization algorithm, Natur. Language Eng. 9 (1) (2003) 49-64.
    • (2003) Natur. Language Eng. , vol.9 , Issue.1 , pp. 49-64
    • Watson, B.-W.1    Daciuk, J.2
  • 14
    • 84976654685 scopus 로고
    • Fast text searching algorithm allowing errors
    • S. Wu, U. Manber, Fast text searching algorithm allowing errors, Comm. ACM 31 (1992) 83-91.
    • (1992) Comm. ACM , vol.31 , pp. 83-91
    • Wu, S.1    Manber, U.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.