We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Formal Languages and Automata Theory

Title: Languages of Higher-Dimensional Automata

Abstract: We introduce languages of higher-dimensional automata (HDAs) and develop some of their properties. To this end, we define a new category of precubical sets, uniquely naturally isomorphic to the standard one, and introduce a notion of event consistency. HDAs are then finite, labeled, event-consistent precubical sets with distinguished subsets of initial and accepting cells. Their languages are sets of interval orders closed under subsumption; as a major technical step we expose a bijection between interval orders and a subclass of HDAs. We show that any finite subsumption-closed set of interval orders is the language of an HDA, that languages of HDAs are closed under binary unions and parallel composition, and that bisimilarity implies language equivalence.
Subjects: Formal Languages and Automata Theory (cs.FL)
MSC classes: 68Q70
Cite as: arXiv:2103.07557 [cs.FL]
  (or arXiv:2103.07557v2 [cs.FL] for this version)

Submission history

From: Uli Fahrenberg [view email]
[v1] Fri, 12 Mar 2021 22:30:05 GMT (103kb,D)
[v2] Fri, 3 Sep 2021 15:55:56 GMT (106kb,D)

Link back to: arXiv, form interface, contact.