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
|
| Project Status |
Completed (Fiscal Year 2012)
|
| Budget Amount *help |
¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Fiscal Year 2012: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2011: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
Fiscal Year 2010: ¥1,820,000 (Direct Cost: ¥1,400,000、Indirect Cost: ¥420,000)
|
|---|
| 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
|
Report
(4 results)
Research Products
(26 results)
