文章基本信息

标题：A Coalgebraic Take on Regular and omega-Regular Behaviour for Systems with Internal Moves
本地全文：下载
作者：Tomasz Brengos
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2018
卷号：118
页码：1-18
DOI：10.4230/LIPIcs.CONCUR.2018.25
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：We present a general coalgebraic setting in which we define finite and infinite behaviour with Büchi acceptance condition for systems with internal moves. Since systems with internal moves are defined here as coalgebras for a monad, in the first part of the paper we present a construction of a monad suitable for modelling (in)finite behaviour. The second part of the paper focuses on presenting the concepts of a (coalgebraic) automaton and its (omega-) behaviour. We end the paper with coalgebraic Kleene-type theorems for (omega-) regular input. We discuss the setting in the context of non-deterministic (tree) automata and Segala automata.
关键词：coalgebras; regular languages; omega regular languages; automata; B{\"u