메뉴 건너뛰기




Volumn 157, Issue 6, 2006, Pages 855-864

A categorical approach to lattice-valued fuzzy automata

Author keywords

Automaton; Bimodule; Category; Quantale

Indexed keywords

AUTOMATA THEORY; LINEAR ALGEBRA; MATHEMATICAL TECHNIQUES; PROBLEM SOLVING; THEOREM PROVING;

EID: 32144434032     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2005.08.002     Document Type: Article
Times cited : (35)

References (24)
  • 1
    • 84972211604 scopus 로고
    • Quantales, observational logic, and process semantics
    • S. Abramsky, and S. Vickers Quantales, observational logic, and process semantics Math. Struct. Comput. Sci. 3 3 1993 161 227
    • (1993) Math. Struct. Comput. Sci. , vol.3 , Issue.3 , pp. 161-227
    • Abramsky, S.1    Vickers, S.2
  • 2
    • 0037421558 scopus 로고    scopus 로고
    • Algebraic aspects of families of fuzzy languages
    • P.R.J. Asveld Algebraic aspects of families of fuzzy languages Theoret. Comput. Sci. 293 2003 417 445
    • (2003) Theoret. Comput. Sci. , vol.293 , pp. 417-445
    • Asveld, P.R.J.1
  • 4
    • 32144438200 scopus 로고
    • Automi e categorie chiuse
    • R. Betti Automi e categorie chiuse Boll. Un. Mat. Italiana 5 1980 44 88
    • (1980) Boll. Un. Mat. Italiana , vol.5 , pp. 44-88
    • Betti, R.1
  • 5
  • 9
    • 0003220006 scopus 로고
    • An extension of the Galois theory of grothendieck
    • American Mathematical Society
    • A. Joyal, M. Tierney, An Extension of the Galois Theory of Grothendieck, AMS memoirs, No. 309, American Mathematical Society, 1984.
    • (1984) AMS Memoirs , Issue.309
    • Joyal, A.1    Tierney, M.2
  • 10
  • 11
    • 32144442429 scopus 로고
    • Decompositions of automata and enriched category theory
    • S. Kasangian, and R. Rosebrugh Decompositions of automata and enriched category theory Cahiers Toplogie Geom. Differential XXVII 4 1986 137 143
    • (1986) Cahiers Toplogie Geom. Differential , vol.27 , Issue.4 , pp. 137-143
    • Kasangian, S.1    Rosebrugh, R.2
  • 12
    • 32144461066 scopus 로고
    • Glueing enriched modules and the composition of automata
    • S. Kasangian, and R. Rosebrugh Glueing enriched modules and the composition of automata Cahiers Toplogie Geom. Differential XXXI 4 1990 283 290
    • (1990) Cahiers Toplogie Geom. Differential , vol.31 , Issue.4 , pp. 283-290
    • Kasangian, S.1    Rosebrugh, R.2
  • 13
    • 0010982006 scopus 로고    scopus 로고
    • Quantales and the process semantics of bisimulation
    • Y.M. Li, and Z.H. Li Quantales and the process semantics of bisimulation Acta Math. Sinica 42 2 1999 313 320 (in Chinese)
    • (1999) Acta Math. Sinica , vol.42 , Issue.2 , pp. 313-320
    • Li, Y.M.1    Li, Z.H.2
  • 14
    • 4244011741 scopus 로고    scopus 로고
    • Noncommutative linear logic and its quantale semantics
    • in Chinese
    • Y.M. Li, Noncommutative linear logic and its quantale semantics, Journal of Shaanxi Normal University, Natural Science Edition, vol. 29(12), 2001, pp. 1-5 (in Chinese).
    • (2001) Journal of Shaanxi Normal University, Natural Science Edition , vol.29 , Issue.12 , pp. 1-5
    • Li, Y.M.1
  • 15
    • 0037168439 scopus 로고    scopus 로고
    • Projective objects and injective objects in the category of quantales
    • Y.M. Li, M. Zhou, and Z.H. Li Projective objects and injective objects in the category of quantales J. Pure Appl. Algebra 176 2-3 2002 249 258
    • (2002) J. Pure Appl. Algebra , vol.176 , Issue.2-3 , pp. 249-258
    • Li, Y.M.1    Zhou, M.2    Li, Z.H.3
  • 16
    • 24944554023 scopus 로고    scopus 로고
    • Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
    • Y.M. Li, W. Pedrycz, Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids, Fuzzy Sets and Systems 156 (2005) 68-92.
    • (2005) Fuzzy Sets and Systems , vol.156 , pp. 68-92
    • Li, Y.M.1    Pedrycz, W.2
  • 18
    • 9644261552 scopus 로고    scopus 로고
    • Semigroup homomorphisms and fuzzy automata
    • J. Močkoř Semigroup homomorphisms and fuzzy automata Soft Comput. 6 2002 423 427
    • (2002) Soft Comput. , vol.6 , pp. 423-427
    • Močkoř, J.1
  • 20
    • 0026419165 scopus 로고
    • Equivalence, reduction and minimization of finite automata over semirings
    • K. Peeva Equivalence, reduction and minimization of finite automata over semirings Theoret. Comput. Sci. 88 1991 269 285
    • (1991) Theoret. Comput. Sci. , vol.88 , pp. 269-285
    • Peeva, K.1
  • 23
    • 49949122656 scopus 로고
    • Maximin automata
    • E.S. Santos Maximin automata Inform. Control 12 1968 367 377
    • (1968) Inform. Control , vol.12 , pp. 367-377
    • Santos, E.S.1


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