MULTIRELATIONAL MODELS OF LAZY, MONODIC TREE, AND PROBABILISTIC KLEENE ALGEBRAS

• Furusawa Hitoshi

  Department of Mathematics and Computer Science, Graduate School of Science and Engineering, Kagoshima University

• Nishizawa Koki

  Department of Information Systems, Faculty of Environmental and Information Studies, Tottori University of Environmental Studies

• Tsumagari Norihiro

  Department of System Information Science, Graduate School of Science and Engineering, Kagoshima University

Abstract

This paper studies basic properties of multirelations, and then shows that classes of multirelations provides models of three weaker variants of Kleene algebras, namely, lazy, monodic tree, and probabilistic Kleene algebras. Also it is shown that these classes of up-closed multirelations need not be models of Kozen's Kleene algebras unlike the case of ordinary binary relations.

Journal

• Bulletin of informatics and cybernetics

  Bulletin of informatics and cybernetics 41 11-24, 2009-12

  Research Association of Statistical Sciences

Keywords

• Multirelations
• Lazy Kleene algebras
• Monodic tree Kleene algebras
• Probabilistic Kleene algebras

Details

• CRID: 1390853649779272832
• NII Article ID: 120003878376
• NII Book ID: AA10634475
• DOI: 10.5109/21043
• ISSN: 2435743X
• ISSN: 0286522X
• HANDLE: 2324/21043
• Text Lang: en
• Data Source:
  • JaLC
  • IRDB
  • Crossref
  • CiNii Articles
  • KAKEN
• Abstract License Flag: Allowed