FRINK Linked Data Fragments server

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

• W2113283923 endingPage "185" @default.
• W2113283923 startingPage "173" @default.
• W2113283923 abstract "The separability problem for word languages of a class $$mathcal {C}$$ by languages of a class $$mathcal {S}$$ asks, for two given languages I and E from $$mathcal {C}$$ , whether there exists a language S from $$mathcal {S}$$ that includes I and excludes E, that is, $$I subseteq S$$ and $$Scap E = emptyset $$ . It is known that separability for context-free languages by any class containing all definite languages (such as regular languages) is undecidable. We show that separability of context-free languages by piecewise testable languages is decidable. This contrasts with the fact that testing if a context-free language is piecewise testable is undecidable. We generalize this decidability result by showing that, for every full trio (a class of languages that is closed under rather weak operations) which has decidable diagonal problem, separability with respect to piecewise testable languages is decidable. Examples of such classes are the languages defined by labeled vector addition systems and the languages accepted by higher order pushdown automata of order two. The proof goes through a result which is of independent interest and shows that, for any kind of languages I and E, separability can be decided by testing the existence of common patterns in I and E." @default.
• W2113283923 created "2016-06-24" @default.
• W2113283923 creator A5013125228 @default.
• W2113283923 creator A5016412428 @default.
• W2113283923 creator A5024926676 @default.
• W2113283923 creator A5069809144 @default.
• W2113283923 date "2015-01-01" @default.
• W2113283923 modified "2023-10-14" @default.
• W2113283923 title "A Note on Decidable Separability by Piecewise Testable Languages" @default.
• W2113283923 cites W1494501847 @default.
• W2113283923 cites W1505482284 @default.
• W2113283923 cites W1560939112 @default.
• W2113283923 cites W1595607777 @default.
• W2113283923 cites W1646789098 @default.
• W2113283923 cites W1849255017 @default.
• W2113283923 cites W1964874178 @default.
• W2113283923 cites W1984570925 @default.
• W2113283923 cites W1989788631 @default.
• W2113283923 cites W1991376038 @default.
• W2113283923 cites W1997358966 @default.
• W2113283923 cites W2004710041 @default.
• W2113283923 cites W2010571644 @default.
• W2113283923 cites W2016206602 @default.
• W2113283923 cites W2042177219 @default.
• W2113283923 cites W2047822387 @default.
• W2113283923 cites W2051274456 @default.
• W2113283923 cites W2088352571 @default.
• W2113283923 cites W209374521 @default.
• W2113283923 cites W2101036675 @default.
• W2113283923 cites W2102924625 @default.
• W2113283923 cites W2116250539 @default.
• W2113283923 cites W2124287344 @default.
• W2113283923 cites W2155692158 @default.
• W2113283923 cites W2157390113 @default.
• W2113283923 cites W2164003033 @default.
• W2113283923 cites W22294440 @default.
• W2113283923 cites W2442545619 @default.
• W2113283923 doi "https://doi.org/10.1007/978-3-319-22177-9_14" @default.
• W2113283923 hasPublicationYear "2015" @default.
• W2113283923 type Work @default.
• W2113283923 sameAs 2113283923 @default.
• W2113283923 citedByCount "18" @default.
• W2113283923 countsByYear W21132839232014 @default.
• W2113283923 countsByYear W21132839232015 @default.
• W2113283923 countsByYear W21132839232016 @default.
• W2113283923 countsByYear W21132839232017 @default.
• W2113283923 countsByYear W21132839232018 @default.
• W2113283923 countsByYear W21132839232019 @default.
• W2113283923 countsByYear W21132839232020 @default.
• W2113283923 countsByYear W21132839232021 @default.
• W2113283923 crossrefType "book-chapter" @default.
• W2113283923 hasAuthorship W2113283923A5013125228 @default.
• W2113283923 hasAuthorship W2113283923A5016412428 @default.
• W2113283923 hasAuthorship W2113283923A5024926676 @default.
• W2113283923 hasAuthorship W2113283923A5069809144 @default.
• W2113283923 hasConcept C11164408 @default.
• W2113283923 hasConcept C112505250 @default.
• W2113283923 hasConcept C118615104 @default.
• W2113283923 hasConcept C151730666 @default.
• W2113283923 hasConcept C153269930 @default.
• W2113283923 hasConcept C154945302 @default.
• W2113283923 hasConcept C192034797 @default.
• W2113283923 hasConcept C198838072 @default.
• W2113283923 hasConcept C199163288 @default.
• W2113283923 hasConcept C199305712 @default.
• W2113283923 hasConcept C199360897 @default.
• W2113283923 hasConcept C2777212361 @default.
• W2113283923 hasConcept C2779343474 @default.
• W2113283923 hasConcept C33923547 @default.
• W2113283923 hasConcept C34165917 @default.
• W2113283923 hasConcept C41008148 @default.
• W2113283923 hasConcept C52370388 @default.
• W2113283923 hasConcept C53893814 @default.
• W2113283923 hasConcept C77944639 @default.
• W2113283923 hasConcept C80444323 @default.
• W2113283923 hasConcept C86803240 @default.
• W2113283923 hasConceptScore W2113283923C11164408 @default.
• W2113283923 hasConceptScore W2113283923C112505250 @default.
• W2113283923 hasConceptScore W2113283923C118615104 @default.
• W2113283923 hasConceptScore W2113283923C151730666 @default.
• W2113283923 hasConceptScore W2113283923C153269930 @default.
• W2113283923 hasConceptScore W2113283923C154945302 @default.
• W2113283923 hasConceptScore W2113283923C192034797 @default.
• W2113283923 hasConceptScore W2113283923C198838072 @default.
• W2113283923 hasConceptScore W2113283923C199163288 @default.
• W2113283923 hasConceptScore W2113283923C199305712 @default.
• W2113283923 hasConceptScore W2113283923C199360897 @default.
• W2113283923 hasConceptScore W2113283923C2777212361 @default.
• W2113283923 hasConceptScore W2113283923C2779343474 @default.
• W2113283923 hasConceptScore W2113283923C33923547 @default.
• W2113283923 hasConceptScore W2113283923C34165917 @default.
• W2113283923 hasConceptScore W2113283923C41008148 @default.
• W2113283923 hasConceptScore W2113283923C52370388 @default.
• W2113283923 hasConceptScore W2113283923C53893814 @default.
• W2113283923 hasConceptScore W2113283923C77944639 @default.
• W2113283923 hasConceptScore W2113283923C80444323 @default.
• W2113283923 hasConceptScore W2113283923C86803240 @default.
• W2113283923 hasLocation W21132839231 @default.

• next