Matches in SemOpenAlex for { <https://semopenalex.org/work/W2121627515> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2121627515 endingPage "743" @default.
- W2121627515 startingPage "720" @default.
- W2121627515 abstract "A one-counter automaton is a pushdown automaton with a singleton stack alphabet, where stack emptiness can be tested; it is a real-time automaton if it contains no ε -transitions. We study the computational complexity of the problems of equivalence and regularity (i.e. semantic finiteness) on real-time one-counter automata. The first main result shows PSPACE -completeness of bisimulation equivalence; this closes the complexity gap between decidability [23] and PSPACE -hardness [25] . The second main result shows NL -completeness of language equivalence of deterministic real-time one-counter automata; this improves the known PSPACE upper bound (indirectly shown by Valiant and Paterson [27] ). Finally we prove P -completeness of the problem if a given one-counter automaton is bisimulation equivalent to a finite system, and NL -completeness of the problem if the language accepted by a given deterministic real-time one-counter automaton is regular. • Bisimulation equivalence is PSPACE -complete for real-time one-counter automata. • Language equivalence is NL -complete for deterministic real-time one-counter automata. • Finiteness w.r.t. bisimilarity is P -complete for real-time one-counter automata. • Regularity is NL -complete for deterministic real-time one-counter automata." @default.
- W2121627515 created "2016-06-24" @default.
- W2121627515 creator A5056318238 @default.
- W2121627515 creator A5071248070 @default.
- W2121627515 creator A5079767975 @default.
- W2121627515 date "2014-06-01" @default.
- W2121627515 modified "2023-10-01" @default.
- W2121627515 title "Bisimulation equivalence and regularity for real-time one-counter automata" @default.
- W2121627515 cites W1964874178 @default.
- W2121627515 cites W2002981190 @default.
- W2121627515 cites W2006265470 @default.
- W2121627515 cites W2018817970 @default.
- W2121627515 cites W2022264236 @default.
- W2121627515 cites W2024130312 @default.
- W2121627515 cites W2051521505 @default.
- W2121627515 cites W2060254679 @default.
- W2121627515 cites W2078050093 @default.
- W2121627515 cites W2111753126 @default.
- W2121627515 cites W2115082275 @default.
- W2121627515 cites W2115698108 @default.
- W2121627515 cites W2158212536 @default.
- W2121627515 cites W3104287458 @default.
- W2121627515 doi "https://doi.org/10.1016/j.jcss.2013.11.003" @default.
- W2121627515 hasPublicationYear "2014" @default.
- W2121627515 type Work @default.
- W2121627515 sameAs 2121627515 @default.
- W2121627515 citedByCount "13" @default.
- W2121627515 countsByYear W21216275152014 @default.
- W2121627515 countsByYear W21216275152016 @default.
- W2121627515 countsByYear W21216275152017 @default.
- W2121627515 countsByYear W21216275152018 @default.
- W2121627515 countsByYear W21216275152019 @default.
- W2121627515 countsByYear W21216275152020 @default.
- W2121627515 countsByYear W21216275152021 @default.
- W2121627515 countsByYear W21216275152022 @default.
- W2121627515 crossrefType "journal-article" @default.
- W2121627515 hasAuthorship W2121627515A5056318238 @default.
- W2121627515 hasAuthorship W2121627515A5071248070 @default.
- W2121627515 hasAuthorship W2121627515A5079767975 @default.
- W2121627515 hasBestOaLocation W21216275151 @default.
- W2121627515 hasConcept C112505250 @default.
- W2121627515 hasConcept C114614502 @default.
- W2121627515 hasConcept C118615104 @default.
- W2121627515 hasConcept C135315306 @default.
- W2121627515 hasConcept C2780069185 @default.
- W2121627515 hasConcept C33923547 @default.
- W2121627515 hasConcept C41008148 @default.
- W2121627515 hasConcept C80444323 @default.
- W2121627515 hasConceptScore W2121627515C112505250 @default.
- W2121627515 hasConceptScore W2121627515C114614502 @default.
- W2121627515 hasConceptScore W2121627515C118615104 @default.
- W2121627515 hasConceptScore W2121627515C135315306 @default.
- W2121627515 hasConceptScore W2121627515C2780069185 @default.
- W2121627515 hasConceptScore W2121627515C33923547 @default.
- W2121627515 hasConceptScore W2121627515C41008148 @default.
- W2121627515 hasConceptScore W2121627515C80444323 @default.
- W2121627515 hasIssue "4" @default.
- W2121627515 hasLocation W21216275151 @default.
- W2121627515 hasLocation W21216275152 @default.
- W2121627515 hasOpenAccess W2121627515 @default.
- W2121627515 hasPrimaryLocation W21216275151 @default.
- W2121627515 hasRelatedWork W1586382855 @default.
- W2121627515 hasRelatedWork W1976891319 @default.
- W2121627515 hasRelatedWork W2140908765 @default.
- W2121627515 hasRelatedWork W2154639408 @default.
- W2121627515 hasRelatedWork W2273636077 @default.
- W2121627515 hasRelatedWork W2804498827 @default.
- W2121627515 hasRelatedWork W2888328996 @default.
- W2121627515 hasRelatedWork W2952221892 @default.
- W2121627515 hasRelatedWork W4205777715 @default.
- W2121627515 hasRelatedWork W83031784 @default.
- W2121627515 hasVolume "80" @default.
- W2121627515 isParatext "false" @default.
- W2121627515 isRetracted "false" @default.
- W2121627515 magId "2121627515" @default.
- W2121627515 workType "article" @default.