메뉴 건너뛰기




Volumn 289, Issue 1, 2002, Pages 137-163

Canonical derivatives, partial derivatives and finite automaton constructions

Author keywords

Derivatives; Finite automata; Regular expressions

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; FINITE AUTOMATA; MATHEMATICAL TECHNIQUES;

EID: 0037163975     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(01)00267-5     Document Type: Article
Times cited : (72)

References (15)
  • 2
    • 0030110111 scopus 로고    scopus 로고
    • Partial derivatives of regular expressions and finite automaton constructions
    • Antimirov V. Partial derivatives of regular expressions and finite automaton constructions. Theoret. Comput. Sci. 155: 1996; 291-319.
    • (1996) Theoret. Comput. Sci. , vol.155 , pp. 291-319
    • Antimirov, V.1
  • 4
    • 0022989344 scopus 로고
    • From regular expressions to deterministic automata
    • Berry G., Sethi R. From regular expressions to deterministic automata. Theoret. Comput. Sci. 48(1): 1986; 117-126.
    • (1986) Theoret. Comput. Sci. , vol.48 , Issue.1 , pp. 117-126
    • Berry, G.1    Sethi, R.2
  • 5
    • 84945709734 scopus 로고
    • Derivatives of regular expressions
    • Brzozowski J.A. Derivatives of regular expressions. J. Assoc. Comput. Mach. 11(4): 1964; 481-494.
    • (1964) J. Assoc. Comput. Mach. , vol.11 , Issue.4 , pp. 481-494
    • Brzozowski, J.A.1
  • 6
    • 0035562374 scopus 로고    scopus 로고
    • From C-continuations to new quadratic algorithms for automaton synthesis
    • J.-M. Champarnaud, D. Ziadi, From C-continuations to new quadratic algorithms for automaton synthesis, Internat. J. Algebra Comput. 11 (6) (2001) 707-735.
    • (2001) Internat. J. Algebra Comput. , vol.11 , Issue.6 , pp. 707-735
    • Champarnaud, J.-M.1    Ziadi, D.2
  • 7
    • 0035249110 scopus 로고    scopus 로고
    • From Mirkin's prebases to Antimirov's word partial derivatives
    • J.-M. Champarnaud, D. Ziadi, From Mirkin's prebases to Antimirov's word partial derivatives, Fund. Inform. 45(3) (2001) 195-205.
    • (2001) Fund. Inform. , vol.45 , Issue.3 , pp. 195-205
    • Champarnaud, J.-M.1    Ziadi, D.2
  • 8
    • 0002833962 scopus 로고
    • The abstract theory of automata
    • Glushkov V.M. The abstract theory of automata. Russian Math. Surveys. 16: 1961; 1-53.
    • (1961) Russian Math. Surveys , vol.16 , pp. 1-53
    • Glushkov, V.M.1
  • 10
    • 0003067817 scopus 로고
    • Representation of events in nerve nets and finite automata
    • Princeton University Press, Princeton NJ
    • S. Kleene, Representation of events in nerve nets and finite automata, Automata Studies Annals of Mathematics Studies vol. 34, 1956, Princeton University Press, Princeton NJ, pp. 3-41.
    • (1956) Automata Studies Annals of Mathematics Studies , vol.34 , pp. 3-41
    • Kleene, S.1
  • 12
    • 0010632405 scopus 로고
    • An algorithm for constructing a base in a language of regular expressions
    • Mirkin B.G. An algorithm for constructing a base in a language of regular expressions. Eng. Cybernet. 5: 1966; 110-116.
    • (1966) Eng. Cybernet. , vol.5 , pp. 110-116
    • Mirkin, B.G.1
  • 13
    • 0023566630 scopus 로고
    • Three partition refinement algorithms
    • Paige R., Tarjan R.E. Three partition refinement algorithms. SIAM J. Comput. 16(6): 1987; 973-989.
    • (1987) SIAM J. Comput. , vol.16 , Issue.6 , pp. 973-989
    • Paige, R.1    Tarjan, R.E.2
  • 14
    • 0002700117 scopus 로고    scopus 로고
    • Regular languages
    • G. Rozenberg, A. Salomaa (Eds.), Words, Languages, Grammars, Springer, Berlin
    • S. Yu, Regular languages, in: G. Rozenberg, A. Salomaa (Eds.), Handbook of Formal Languages, vol. I, Words, Languages, Grammars, Springer, Berlin, 1997, pp. 41-110.
    • (1997) Handbook of Formal Languages , vol.1 , pp. 41-110
    • Yu, S.1
  • 15
    • 0000516784 scopus 로고    scopus 로고
    • Passage d'une expression rationnelle à un automate fini non-déterministe
    • Ziadi D., Ponty J.-L., Champarnaud J.-M. Passage d'une expression rationnelle à un automate fini non-déterministe. Bull. Belg. Math. Soc. 4: 1997; 177-203.
    • (1997) Bull. Belg. Math. Soc. , vol.4 , pp. 177-203
    • Ziadi, D.1    Ponty, J.-L.2    Champarnaud, J.-M.3


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