메뉴 건너뛰기




Volumn 215, Issue 1-2, 1999, Pages 191-208

Deterministic generalized automata

Author keywords

Generalized automata; Minimal automata; Regular languages

Indexed keywords


EID: 0347659185     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(97)00166-7     Document Type: Article
Times cited : (21)

References (15)
  • 3
    • 0022863896 scopus 로고
    • Finite automata and unary languages
    • M. Chrobak, Finite automata and unary languages, Theoret. Comput. Sci. 47 (1986) 149-158.
    • (1986) Theoret. Comput. Sci. , vol.47 , pp. 149-158
    • Chrobak, M.1
  • 5
    • 21844512776 scopus 로고
    • Deterministic Generalized Automata
    • Proc. XII Symp. on Theoretical Aspects of Computer Science (STACS '95). Springer, Berlin
    • D. Giammarresi, R. Montalbano, Deterministic Generalized Automata, in: Proc. XII Symp. on Theoretical Aspects of Computer Science (STACS '95). Lecture Notes in Computer Science, vol. 900, Springer, Berlin, 1995, pp. 325-336.
    • (1995) Lecture Notes in Computer Science , vol.900 , pp. 325-336
    • Giammarresi, D.1    Montalbano, R.2
  • 7
    • 0038502298 scopus 로고
    • Complexity results for multi-pebble automata and their logics
    • Proc. ICALP'94, Springer, Berlin
    • N. Globerman, D. Harel, Complexity results for multi-pebble automata and their logics, in: Proc. ICALP'94, Lecture Notes in Computer Science, vol. 820, Springer, Berlin, 1994, pp. 73-82.
    • (1994) Lecture Notes in Computer Science , vol.820 , pp. 73-82
    • Globerman, N.1    Harel, D.2
  • 8
    • 0010597467 scopus 로고
    • Algorithms for determining the smallest number of nonterminals (states) sufficient for generating (accepting) a regular language
    • Proc. ICALP'91, Springer, Berlin
    • K. Hashigushi, Algorithms for determining the smallest number of nonterminals (states) sufficient for generating (accepting) a regular language, in: Proc. ICALP'91, Lecture Notes in Computer Science, vol. 510, Springer, Berlin, 1991, pp. 641-648.
    • (1991) Lecture Notes in Computer Science , vol.510 , pp. 641-648
    • Hashigushi, K.1
  • 11
    • 0027796975 scopus 로고
    • Minimal NFA problems are hard
    • T. Jiang, B. Ravikumar, Minimal NFA problems are hard, SIAM J. Comput. 22 (1995) 1117-1141.
    • (1995) SIAM J. Comput. , vol.22 , pp. 1117-1141
    • Jiang, T.1    Ravikumar, B.2
  • 12
    • 0019001812 scopus 로고
    • The node-deletion problem for hereditary properties is NP-complete
    • J.M. Lewis, M. Yannakakis, The node-deletion problem for hereditary properties is NP-complete, J. Comput. System Sci. 20 (1980) 219-230.
    • (1980) J. Comput. System Sci. , vol.20 , pp. 219-230
    • Lewis, J.M.1    Yannakakis, M.2
  • 13
    • 85026734155 scopus 로고
    • Minimization of sequential transducers
    • Proc. Combinatorial Pattern Matching (CPM'94), Springer, Berlin
    • M. Mohri, Minimization of sequential transducers, in: Proc. Combinatorial Pattern Matching (CPM'94), Lecture Notes in Computer Science, vol. 807, Springer, Berlin, 1994, pp. 151-163.
    • (1994) Lecture Notes in Computer Science , vol.807 , pp. 151-163
    • Mohri, M.1
  • 14
    • 0002689259 scopus 로고
    • Finite Automata
    • J. Van Leeuwen (Ed.), Elsevier, Amsterdam
    • D. Perrin, Finite Automata, in: J. Van Leeuwen (Ed.), Handbook of Theoretical Computer Science, vol. B, Elsevier, Amsterdam, 1990, pp. 1-57.
    • (1990) Handbook of Theoretical Computer Science , vol.B , pp. 1-57
    • Perrin, D.1
  • 15
    • 0000294663 scopus 로고
    • Economy of description for single-valued transducers
    • A. Weber, R. Klemm, Economy of description for single-valued transducers, Inform. and Comput. 118 (1995) 327-340.
    • (1995) Inform. and Comput. , vol.118 , pp. 327-340
    • Weber, A.1    Klemm, R.2


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