Código QR (código de barras bidimensional)

Kleene Theorem for Higher-Dimensional Automata

We prove a Kleene theorem for higher-dimensional automata. It states that the languages they recognise are precisely the rational subsumption-closed sets of finite interval pomsets. The rational operations on these languages include a gluing composition, for which we equip pomsets with interfaces. F...

ver descrição completa

Na minha lista:
Principais autores: Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański
Formato: Artigo
Idioma:Inglês
Publicado em: Logical Methods in Computer Science e.V. 2024-12-01
coleção:Logical Methods in Computer Science
Assuntos:
computer science - formal languages and automata theory
mathematics - algebraic topology
Acesso em linha:http://lmcs.episciences.org/11134/pdf
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Registros relacionados