4 citations · 4 across the 5 of their papers we have counts for
3 papers · 1 filter
Myhill-Nerode Theorem for Higher-Dimensional Automata
Uli Fahrenberg, Krzysztof Ziemiański
We establish a Myhill-Nerode type theorem for higher-dimensional automata (HDAs), stating that a language is regular if and only if it has finite prefix quotient. HDAs extend stand…
Generating Posets with Interfaces
Olavi Äikäs, Uli Fahrenberg, Christian Johansen +1
We generate and count isomorphism classes of gluing-parallel posets with interfaces (iposets) on up to eight points, and on up to ten points with interfaces removed. In order to do…
Kleene Theorem for Higher-Dimensional Automata
Uli Fahrenberg, Christian Johansen, Georg Struth +1
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…