1 / 50

The cube of Kleene algebras and the triangular prism of multirelations

Contents. BackgroundOverview of our main resultDetails of the resultFuture work. Background. Multirelation. Def. A multirelation on A is a subset of A

juniper
Download Presentation

The cube of Kleene algebras and the triangular prism of multirelations

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

    1. The cube of Kleene algebras and the triangular prism of multirelations Koki Nishizawa (Tohoku Univ.) With Norihiro Tsumagari (Kagoshima Univ.) Hitoshi Furusawa (Kagoshima Univ.)

    2. Contents Background Overview of our main result Details of the result Future work

    3. Background

    4. Multirelation Def. A multirelation on A is a subset of AP(A). (P(A) is the power set of A) An ordinary binary relation on A is a subset of AA In this talk, I will give the relationship between multirelations and Kleene algebras. An ordinary on the other hand, a multirelationIn this talk, I will give the relationship between multirelations and Kleene algebras. An ordinary on the other hand, a multirelation

    5. e.g. Multirelation for game [Venema 03] Given A the states of a game board P?AA possible transition by player P Q?AA possible transition by player Q W?A the winnning sets of player P Def. Multirelation R for player P R={(a,X) | ?b. aPb and ?c. (bQc ? c?X)} Prop. If (a,W)?R, then player P can win at the next turn of a) (a,W)?R+RR+RRR+? Iteration of multirelation ? Multirelation is used to analyse games. Multirelation is used to analyse games.

    6. Kleene algebra (KA) algebraic structure (K,+,0,,1,*) for regular languages e.g. K the binary relations on A R* is the reflexive transitive closure of R It is used to represent properties of the reflexsive transitive closure of a multirelation.

More Related