Non-Deterministic Kleene Coalgebras - Computer Science > Logic in Computer ScienceReportar como inadecuado




Non-Deterministic Kleene Coalgebras - Computer Science > Logic in Computer Science - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: In this paper, we present a systematic way of deriving 1 languages ofgeneralised regular expressions, and 2 sound and complete axiomatizationsthereof, for a wide variety of systems. This generalizes both the results ofKleene on regular languages and deterministic finite automata and Milner onregular behaviours and finite labelled transition systems, and includes manyother systems such as Mealy and Moore machines.



Autor: Alexandra Silva CWI, Marcello Bonsangue LIACS, Leiden University, Jan Rutten CWI, VUA RUN

Fuente: https://arxiv.org/







Documentos relacionados