Matches in SemOpenAlex for { <https://semopenalex.org/work/W4310648221> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W4310648221 abstract "Input-driven pushdown automata (also known as visibly pushdown automata and as nested word automata) are a subclass of deterministic pushdown automata and a superclass of the parenthesis languages. Nguyen and Ogawa (Event-clock visibly pushdown automata, SOFSEM 2009) defined a timed extension of these automata under the event-clock model, and showed that this model can be determinized using the method of region construction. This paper defines a further extension of this model with the event clock on the call-return operations, and proposes a new, direct determinization procedure for these automata: an $n$-state nondeterministic automaton with $k$ different clock constraints is transformed to a deterministic automaton with $2^{n^2}$ states, $2^{n^2+k}$ stack symbols and the same clock constraints as in the original automaton. The construction is shown to be asymptotically optimal with respect to both the number of states and the number of stack symbols." @default.
- W4310648221 created "2022-12-14" @default.
- W4310648221 creator A5005683089 @default.
- W4310648221 creator A5011902302 @default.
- W4310648221 date "2021-03-06" @default.
- W4310648221 modified "2023-09-27" @default.
- W4310648221 title "On the determinization of event-clock input-driven pushdown automata" @default.
- W4310648221 doi "https://doi.org/10.48550/arxiv.2103.04079" @default.
- W4310648221 hasPublicationYear "2021" @default.
- W4310648221 type Work @default.
- W4310648221 citedByCount "0" @default.
- W4310648221 crossrefType "posted-content" @default.
- W4310648221 hasAuthorship W4310648221A5005683089 @default.
- W4310648221 hasAuthorship W4310648221A5011902302 @default.
- W4310648221 hasBestOaLocation W43106482211 @default.
- W4310648221 hasConcept C112505250 @default.
- W4310648221 hasConcept C11413529 @default.
- W4310648221 hasConcept C116248031 @default.
- W4310648221 hasConcept C118615104 @default.
- W4310648221 hasConcept C121332964 @default.
- W4310648221 hasConcept C134083981 @default.
- W4310648221 hasConcept C158008952 @default.
- W4310648221 hasConcept C174327141 @default.
- W4310648221 hasConcept C176181172 @default.
- W4310648221 hasConcept C177638518 @default.
- W4310648221 hasConcept C186644900 @default.
- W4310648221 hasConcept C199360897 @default.
- W4310648221 hasConcept C27034413 @default.
- W4310648221 hasConcept C2778029271 @default.
- W4310648221 hasConcept C2779662365 @default.
- W4310648221 hasConcept C33923547 @default.
- W4310648221 hasConcept C41008148 @default.
- W4310648221 hasConcept C62520636 @default.
- W4310648221 hasConcept C74919329 @default.
- W4310648221 hasConcept C77944639 @default.
- W4310648221 hasConcept C80444323 @default.
- W4310648221 hasConcept C92117001 @default.
- W4310648221 hasConcept C97212296 @default.
- W4310648221 hasConceptScore W4310648221C112505250 @default.
- W4310648221 hasConceptScore W4310648221C11413529 @default.
- W4310648221 hasConceptScore W4310648221C116248031 @default.
- W4310648221 hasConceptScore W4310648221C118615104 @default.
- W4310648221 hasConceptScore W4310648221C121332964 @default.
- W4310648221 hasConceptScore W4310648221C134083981 @default.
- W4310648221 hasConceptScore W4310648221C158008952 @default.
- W4310648221 hasConceptScore W4310648221C174327141 @default.
- W4310648221 hasConceptScore W4310648221C176181172 @default.
- W4310648221 hasConceptScore W4310648221C177638518 @default.
- W4310648221 hasConceptScore W4310648221C186644900 @default.
- W4310648221 hasConceptScore W4310648221C199360897 @default.
- W4310648221 hasConceptScore W4310648221C27034413 @default.
- W4310648221 hasConceptScore W4310648221C2778029271 @default.
- W4310648221 hasConceptScore W4310648221C2779662365 @default.
- W4310648221 hasConceptScore W4310648221C33923547 @default.
- W4310648221 hasConceptScore W4310648221C41008148 @default.
- W4310648221 hasConceptScore W4310648221C62520636 @default.
- W4310648221 hasConceptScore W4310648221C74919329 @default.
- W4310648221 hasConceptScore W4310648221C77944639 @default.
- W4310648221 hasConceptScore W4310648221C80444323 @default.
- W4310648221 hasConceptScore W4310648221C92117001 @default.
- W4310648221 hasConceptScore W4310648221C97212296 @default.
- W4310648221 hasLocation W43106482211 @default.
- W4310648221 hasLocation W43106482212 @default.
- W4310648221 hasOpenAccess W4310648221 @default.
- W4310648221 hasPrimaryLocation W43106482211 @default.
- W4310648221 hasRelatedWork W1511257926 @default.
- W4310648221 hasRelatedWork W1979853884 @default.
- W4310648221 hasRelatedWork W2047588061 @default.
- W4310648221 hasRelatedWork W2078131135 @default.
- W4310648221 hasRelatedWork W2400175085 @default.
- W4310648221 hasRelatedWork W2482236631 @default.
- W4310648221 hasRelatedWork W2950941115 @default.
- W4310648221 hasRelatedWork W32399579 @default.
- W4310648221 hasRelatedWork W4231088732 @default.
- W4310648221 hasRelatedWork W2522490152 @default.
- W4310648221 isParatext "false" @default.
- W4310648221 isRetracted "false" @default.
- W4310648221 workType "article" @default.