FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2930957190> ?p ?o ?g. }

• W2930957190 abstract "We study the language inclusion problem $L_1 subseteq L_2$ where $L_1$ is regular or context-free. Our approach relies on abstract interpretation and checks whether an overapproximating abstraction of $L_1$, obtained by overapproximating the Kleene iterates of its least fixpoint characterization, is included in $L_2$. We show that a language inclusion problem is decidable whenever this overapproximating abstraction satisfies a completeness condition (i.e., its loss of precision causes no false alarm) and prevents infinite ascending chains (i.e., it guarantees termination of least fixpoint computations). This overapproximating abstraction of languages can be defined using quasiorder relations on words, where the abstraction gives the language of all the words greater than or equal a given input word for that quasiorder. We put forward a range of such quasiorders that allow us to systematically design decision procedures for different language inclusion problems such as regular languages into regular languages or into trace sets of one-counter nets, and context-free languages into regular languages. In the case of inclusion between regular languages, some of the induced inclusion checking procedures correspond to well-known state-of-the-art algorithms like the so-called antichain algorithms. Finally, we provide an equivalent language inclusion checking algorithm based on a greatest fixpoint computation that relies on quotients of languages and, to the best of our knowledge, was not previously known." @default.
• W2930957190 created "2019-04-11" @default.
• W2930957190 creator A5000629161 @default.
• W2930957190 creator A5030085363 @default.
• W2930957190 creator A5030698544 @default.
• W2930957190 date "2019-04-02" @default.
• W2930957190 modified "2023-09-27" @default.
• W2930957190 title "Complete Abstractions for Checking Language Inclusion" @default.
• W2930957190 cites W1498432697 @default.
• W2930957190 cites W1521923248 @default.
• W2930957190 cites W1543741569 @default.
• W2930957190 cites W1567547413 @default.
• W2930957190 cites W1582574957 @default.
• W2930957190 cites W1584451387 @default.
• W2930957190 cites W1596431623 @default.
• W2930957190 cites W1617192935 @default.
• W2930957190 cites W180228825 @default.
• W2930957190 cites W1967174286 @default.
• W2930957190 cites W1982206794 @default.
• W2930957190 cites W1982581840 @default.
• W2930957190 cites W1989943994 @default.
• W2930957190 cites W2000118875 @default.
• W2930957190 cites W2002089154 @default.
• W2930957190 cites W2007281030 @default.
• W2930957190 cites W2014764321 @default.
• W2930957190 cites W2016143798 @default.
• W2930957190 cites W2026927709 @default.
• W2930957190 cites W2029197162 @default.
• W2930957190 cites W2040713190 @default.
• W2930957190 cites W2043100293 @default.
• W2930957190 cites W2046160987 @default.
• W2930957190 cites W2083603049 @default.
• W2930957190 cites W2110251524 @default.
• W2930957190 cites W2406891223 @default.
• W2930957190 cites W2616623755 @default.
• W2930957190 cites W2771629016 @default.
• W2930957190 cites W2907969637 @default.
• W2930957190 cites W2964318636 @default.
• W2930957190 cites W2978380005 @default.
• W2930957190 cites W31392846 @default.
• W2930957190 cites W2970754490 @default.
• W2930957190 hasPublicationYear "2019" @default.
• W2930957190 type Work @default.
• W2930957190 sameAs 2930957190 @default.
• W2930957190 citedByCount "0" @default.
• W2930957190 crossrefType "posted-content" @default.
• W2930957190 hasAuthorship W2930957190A5000629161 @default.
• W2930957190 hasAuthorship W2930957190A5030085363 @default.
• W2930957190 hasAuthorship W2930957190A5030698544 @default.
• W2930957190 hasConcept C111472728 @default.
• W2930957190 hasConcept C112505250 @default.
• W2930957190 hasConcept C118615104 @default.
• W2930957190 hasConcept C124304363 @default.
• W2930957190 hasConcept C134306372 @default.
• W2930957190 hasConcept C138885662 @default.
• W2930957190 hasConcept C140479938 @default.
• W2930957190 hasConcept C151730666 @default.
• W2930957190 hasConcept C153269930 @default.
• W2930957190 hasConcept C199360897 @default.
• W2930957190 hasConcept C2779343474 @default.
• W2930957190 hasConcept C2780654840 @default.
• W2930957190 hasConcept C33923547 @default.
• W2930957190 hasConcept C41008148 @default.
• W2930957190 hasConcept C52370388 @default.
• W2930957190 hasConcept C61445026 @default.
• W2930957190 hasConcept C80444323 @default.
• W2930957190 hasConcept C86803240 @default.
• W2930957190 hasConceptScore W2930957190C111472728 @default.
• W2930957190 hasConceptScore W2930957190C112505250 @default.
• W2930957190 hasConceptScore W2930957190C118615104 @default.
• W2930957190 hasConceptScore W2930957190C124304363 @default.
• W2930957190 hasConceptScore W2930957190C134306372 @default.
• W2930957190 hasConceptScore W2930957190C138885662 @default.
• W2930957190 hasConceptScore W2930957190C140479938 @default.
• W2930957190 hasConceptScore W2930957190C151730666 @default.
• W2930957190 hasConceptScore W2930957190C153269930 @default.
• W2930957190 hasConceptScore W2930957190C199360897 @default.
• W2930957190 hasConceptScore W2930957190C2779343474 @default.
• W2930957190 hasConceptScore W2930957190C2780654840 @default.
• W2930957190 hasConceptScore W2930957190C33923547 @default.
• W2930957190 hasConceptScore W2930957190C41008148 @default.
• W2930957190 hasConceptScore W2930957190C52370388 @default.
• W2930957190 hasConceptScore W2930957190C61445026 @default.
• W2930957190 hasConceptScore W2930957190C80444323 @default.
• W2930957190 hasConceptScore W2930957190C86803240 @default.
• W2930957190 hasLocation W29309571901 @default.
• W2930957190 hasOpenAccess W2930957190 @default.
• W2930957190 hasPrimaryLocation W29309571901 @default.
• W2930957190 hasRelatedWork W1100481827 @default.
• W2930957190 hasRelatedWork W1503644867 @default.
• W2930957190 hasRelatedWork W1509216933 @default.
• W2930957190 hasRelatedWork W1521286044 @default.
• W2930957190 hasRelatedWork W1589942476 @default.
• W2930957190 hasRelatedWork W2069890998 @default.
• W2930957190 hasRelatedWork W2082729761 @default.
• W2930957190 hasRelatedWork W2084816568 @default.
• W2930957190 hasRelatedWork W2116134765 @default.
• W2930957190 hasRelatedWork W2141421333 @default.
• W2930957190 hasRelatedWork W2143332976 @default.
• W2930957190 hasRelatedWork W2345701212 @default.

• next