Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384302152> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W4384302152 abstract "Group languages are regular languages recognized by finite groups, or equivalently by finite automata in which each letter induces a permutation on the set of states. We investigate the separation problem for this class of languages: given two arbitrary regular languages as input, we show how to decide if there exists a group language containing the first one while being disjoint from the second. We prove that covering, a problem generalizing separation, is decidable. A simple covering algorithm was already known: it can be obtained indirectly as a corollary of an algebraic theorem by Ash. Unfortunately, while deducing the algorithm from this algebraic result is straightforward, all proofs of Ash’s result itself require a strong background on algebraic concepts, and a wealth of technical machinery outside of automata theory. Our proof is independent previous ones. It relies exclusively on standard notions from automata theory: we directly deal with separation and work with input languages represented by nondeterministic finite automata.We also investigate two strict subclasses. First, the alphabet modulo testable languages are those defined by counting the occurrences of each letter modulo some fixed integer (equivalently, they are the languages recognized by a commutative group). Secondly, the modulo languages are those defined by counting the length of words modulo some fixed integer. We prove that covering is decidable for both classes, with algorithms that rely on the construction made for group languages.Our proofs lead to tight complexity bounds for separation for all three classes, as well as for covering for both alphabet modulo testable languages and for modulo testable languages." @default.
- W4384302152 created "2023-07-15" @default.
- W4384302152 creator A5013125228 @default.
- W4384302152 creator A5063751766 @default.
- W4384302152 date "2023-06-26" @default.
- W4384302152 modified "2023-09-25" @default.
- W4384302152 title "Group Separation Strikes Back" @default.
- W4384302152 cites W1586109523 @default.
- W4384302152 cites W1731851992 @default.
- W4384302152 cites W1872780986 @default.
- W4384302152 cites W1982347904 @default.
- W4384302152 cites W2002083342 @default.
- W4384302152 cites W2012035225 @default.
- W4384302152 cites W2015360324 @default.
- W4384302152 cites W2040550990 @default.
- W4384302152 cites W2046268252 @default.
- W4384302152 cites W2050426366 @default.
- W4384302152 cites W2063018464 @default.
- W4384302152 cites W2073197485 @default.
- W4384302152 cites W2076254032 @default.
- W4384302152 cites W2082029231 @default.
- W4384302152 cites W2085717272 @default.
- W4384302152 cites W2091244596 @default.
- W4384302152 cites W2096605331 @default.
- W4384302152 cites W2115749858 @default.
- W4384302152 cites W2116250539 @default.
- W4384302152 cites W2153126460 @default.
- W4384302152 cites W2153632678 @default.
- W4384302152 cites W2167010548 @default.
- W4384302152 cites W2608248596 @default.
- W4384302152 cites W2963113452 @default.
- W4384302152 cites W2963241423 @default.
- W4384302152 cites W2963440540 @default.
- W4384302152 cites W2964382522 @default.
- W4384302152 cites W4205551952 @default.
- W4384302152 cites W4235139105 @default.
- W4384302152 cites W4254660365 @default.
- W4384302152 cites W4256183496 @default.
- W4384302152 cites W4285188676 @default.
- W4384302152 cites W4289800061 @default.
- W4384302152 doi "https://doi.org/10.1109/lics56636.2023.10175683" @default.
- W4384302152 hasPublicationYear "2023" @default.
- W4384302152 type Work @default.
- W4384302152 citedByCount "0" @default.
- W4384302152 crossrefType "proceedings-article" @default.
- W4384302152 hasAuthorship W4384302152A5013125228 @default.
- W4384302152 hasAuthorship W4384302152A5063751766 @default.
- W4384302152 hasBestOaLocation W43843021522 @default.
- W4384302152 hasConcept C108710211 @default.
- W4384302152 hasConcept C112505250 @default.
- W4384302152 hasConcept C114614502 @default.
- W4384302152 hasConcept C118615104 @default.
- W4384302152 hasConcept C153269930 @default.
- W4384302152 hasConcept C176181172 @default.
- W4384302152 hasConcept C178790620 @default.
- W4384302152 hasConcept C183778304 @default.
- W4384302152 hasConcept C185592680 @default.
- W4384302152 hasConcept C2524010 @default.
- W4384302152 hasConcept C2781311116 @default.
- W4384302152 hasConcept C33923547 @default.
- W4384302152 hasConcept C41008148 @default.
- W4384302152 hasConcept C45340560 @default.
- W4384302152 hasConcept C52370388 @default.
- W4384302152 hasConcept C54732982 @default.
- W4384302152 hasConcept C80444323 @default.
- W4384302152 hasConceptScore W4384302152C108710211 @default.
- W4384302152 hasConceptScore W4384302152C112505250 @default.
- W4384302152 hasConceptScore W4384302152C114614502 @default.
- W4384302152 hasConceptScore W4384302152C118615104 @default.
- W4384302152 hasConceptScore W4384302152C153269930 @default.
- W4384302152 hasConceptScore W4384302152C176181172 @default.
- W4384302152 hasConceptScore W4384302152C178790620 @default.
- W4384302152 hasConceptScore W4384302152C183778304 @default.
- W4384302152 hasConceptScore W4384302152C185592680 @default.
- W4384302152 hasConceptScore W4384302152C2524010 @default.
- W4384302152 hasConceptScore W4384302152C2781311116 @default.
- W4384302152 hasConceptScore W4384302152C33923547 @default.
- W4384302152 hasConceptScore W4384302152C41008148 @default.
- W4384302152 hasConceptScore W4384302152C45340560 @default.
- W4384302152 hasConceptScore W4384302152C52370388 @default.
- W4384302152 hasConceptScore W4384302152C54732982 @default.
- W4384302152 hasConceptScore W4384302152C80444323 @default.
- W4384302152 hasLocation W43843021521 @default.
- W4384302152 hasLocation W43843021522 @default.
- W4384302152 hasOpenAccess W4384302152 @default.
- W4384302152 hasPrimaryLocation W43843021521 @default.
- W4384302152 hasRelatedWork W1607529814 @default.
- W4384302152 hasRelatedWork W2145058408 @default.
- W4384302152 hasRelatedWork W2288306272 @default.
- W4384302152 hasRelatedWork W2295804767 @default.
- W4384302152 hasRelatedWork W2575208042 @default.
- W4384302152 hasRelatedWork W2962880731 @default.
- W4384302152 hasRelatedWork W2963253063 @default.
- W4384302152 hasRelatedWork W4293424812 @default.
- W4384302152 hasRelatedWork W4320086971 @default.
- W4384302152 hasRelatedWork W4384302152 @default.
- W4384302152 isParatext "false" @default.
- W4384302152 isRetracted "false" @default.
- W4384302152 workType "article" @default.