Načítá se...

On the High Complexity of Petri Nets [Formula: see text]-Languages

We prove that [Formula: see text]-languages of (non-deterministic) Petri nets and [Formula: see text]-languages of (non-deterministic) Turing machines have the same topological complexity: the Borel and Wadge hierarchies of the class of [Formula: see text]-languages of (non-deterministic) Petri nets...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Application and Theory of Petri Nets and Concurrency
Hlavní autor: Finkel, Olivier
Médium: Artigo
Jazyk:Inglês
Vydáno: 2020
Témata:
On-line přístup:https://ncbi.nlm.nih.gov/pmc/articles/PMC7324243/
https://ncbi.nlm.nih.govhttp://dx.doi.org/10.1007/978-3-030-51831-8_4
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!