Matches in SemOpenAlex for { <https://semopenalex.org/work/W1565015622> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1565015622 abstract "The downward closure of a language $L$ of words is the set of all (not necessarily contiguous) subwords of members of $L$. It is well known that the downward closure of any language is regular. Although the downward closure seems to be a promising abstraction, there are only few language classes for which an automaton for the downward closure is known to be computable. It is shown here that for stacked counter automata, the downward closure is computable. Stacked counter automata are finite automata with a storage mechanism obtained by emph{adding blind counters} and emph{building stacks}. Hence, they generalize pushdown and blind counter automata. The class of languages accepted by these automata are precisely those in the hierarchy obtained from the context-free languages by alternating two closure operators: imposing semilinear constraints and taking the algebraic extension. The main tool for computing downward closures is the new concept of Parikh annotations. As a second application of Parikh annotations, it is shown that the hierarchy above is strict at every level." @default.
- W1565015622 created "2016-06-24" @default.
- W1565015622 creator A5083429244 @default.
- W1565015622 date "2014-09-28" @default.
- W1565015622 modified "2023-09-27" @default.
- W1565015622 title "Computing downward closures for stacked counter automata" @default.
- W1565015622 hasPublicationYear "2014" @default.
- W1565015622 type Work @default.
- W1565015622 sameAs 1565015622 @default.
- W1565015622 citedByCount "1" @default.
- W1565015622 countsByYear W15650156222014 @default.
- W1565015622 crossrefType "posted-content" @default.
- W1565015622 hasAuthorship W1565015622A5083429244 @default.
- W1565015622 hasConcept C112505250 @default.
- W1565015622 hasConcept C116248031 @default.
- W1565015622 hasConcept C118615104 @default.
- W1565015622 hasConcept C146834321 @default.
- W1565015622 hasConcept C154945302 @default.
- W1565015622 hasConcept C158008952 @default.
- W1565015622 hasConcept C162324750 @default.
- W1565015622 hasConcept C174327141 @default.
- W1565015622 hasConcept C198838072 @default.
- W1565015622 hasConcept C199360897 @default.
- W1565015622 hasConcept C2777212361 @default.
- W1565015622 hasConcept C2778029271 @default.
- W1565015622 hasConcept C31170391 @default.
- W1565015622 hasConcept C33923547 @default.
- W1565015622 hasConcept C34447519 @default.
- W1565015622 hasConcept C41008148 @default.
- W1565015622 hasConcept C52370388 @default.
- W1565015622 hasConcept C53893814 @default.
- W1565015622 hasConcept C74919329 @default.
- W1565015622 hasConcept C77944639 @default.
- W1565015622 hasConcept C80444323 @default.
- W1565015622 hasConcept C92117001 @default.
- W1565015622 hasConceptScore W1565015622C112505250 @default.
- W1565015622 hasConceptScore W1565015622C116248031 @default.
- W1565015622 hasConceptScore W1565015622C118615104 @default.
- W1565015622 hasConceptScore W1565015622C146834321 @default.
- W1565015622 hasConceptScore W1565015622C154945302 @default.
- W1565015622 hasConceptScore W1565015622C158008952 @default.
- W1565015622 hasConceptScore W1565015622C162324750 @default.
- W1565015622 hasConceptScore W1565015622C174327141 @default.
- W1565015622 hasConceptScore W1565015622C198838072 @default.
- W1565015622 hasConceptScore W1565015622C199360897 @default.
- W1565015622 hasConceptScore W1565015622C2777212361 @default.
- W1565015622 hasConceptScore W1565015622C2778029271 @default.
- W1565015622 hasConceptScore W1565015622C31170391 @default.
- W1565015622 hasConceptScore W1565015622C33923547 @default.
- W1565015622 hasConceptScore W1565015622C34447519 @default.
- W1565015622 hasConceptScore W1565015622C41008148 @default.
- W1565015622 hasConceptScore W1565015622C52370388 @default.
- W1565015622 hasConceptScore W1565015622C53893814 @default.
- W1565015622 hasConceptScore W1565015622C74919329 @default.
- W1565015622 hasConceptScore W1565015622C77944639 @default.
- W1565015622 hasConceptScore W1565015622C80444323 @default.
- W1565015622 hasConceptScore W1565015622C92117001 @default.
- W1565015622 hasLocation W15650156221 @default.
- W1565015622 hasOpenAccess W1565015622 @default.
- W1565015622 hasPrimaryLocation W15650156221 @default.
- W1565015622 hasRelatedWork W104537216 @default.
- W1565015622 hasRelatedWork W1485651606 @default.
- W1565015622 hasRelatedWork W1502281730 @default.
- W1565015622 hasRelatedWork W1562818191 @default.
- W1565015622 hasRelatedWork W1594261562 @default.
- W1565015622 hasRelatedWork W1826894354 @default.
- W1565015622 hasRelatedWork W1878430332 @default.
- W1565015622 hasRelatedWork W2028475750 @default.
- W1565015622 hasRelatedWork W2069826658 @default.
- W1565015622 hasRelatedWork W2074949881 @default.
- W1565015622 hasRelatedWork W2167567138 @default.
- W1565015622 hasRelatedWork W2183831010 @default.
- W1565015622 hasRelatedWork W2229846802 @default.
- W1565015622 hasRelatedWork W2249237842 @default.
- W1565015622 hasRelatedWork W2806573442 @default.
- W1565015622 hasRelatedWork W2933242334 @default.
- W1565015622 hasRelatedWork W2949238604 @default.
- W1565015622 hasRelatedWork W2964055444 @default.
- W1565015622 hasRelatedWork W2964321912 @default.
- W1565015622 hasRelatedWork W3103530092 @default.
- W1565015622 isParatext "false" @default.
- W1565015622 isRetracted "false" @default.
- W1565015622 magId "1565015622" @default.
- W1565015622 workType "article" @default.