2012 Fiscal Year Final Research Report
Simplification of transition systems with the use of lazy Kleene algebras
| Project/Area Number |
22500016
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | Kagoshima University |
|---|
Principal Investigator |
FURUSAWA Hitoshi 鹿児島大学, 大学院・理工学研究科, 准教授 (00357930)
|
|---|
| Project Period (FY) |
2010 – 2012
|
| Keywords | プログラム理論 |
|---|
| Research Abstract |
The following results on relationship between subclasses of lazy Kleene algebras and relational description of transition modelsare obtained.
（１）a sufficient condition to give an adjunction between the category of ＊-continuous idempotent left semirings and the category of D-continuous idempotent left semirings by a kind of ideal completion
２）relational and multirelational representation theorems for complete idempotent left semirings
（３）a necessary and sufficient condition for a quantale to have quantale-homomorphic embedding into a quantale consisting of the set of all binary relations on some set
|
Research Products
(7 results)
