Matches in SemOpenAlex for { <https://semopenalex.org/work/W4296608035> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4296608035 abstract "A characteristic sample for a language $L$ and a learning algorithm $textbf{L}$ is a finite sample of words $T_L$ labeled by their membership in $L$ such that for any sample $T supseteq T_L$ consistent with $L$, on input $T$ the learning algorithm $textbf{L}$ returns a hypothesis equivalent to $L$. Which $omega$-automata have characteristic sets of polynomial size, and can these sets be constructed in polynomial time? We address these questions here. In brief, non-deterministic omega-automata of any of the common types, in particular Buchi, do not have polynomial-size characteristic samples. Families of DFAs (FDFAs) possess polynomial-sized characteristic samples that can be constructed in polynomial time. Since deterministic omega automata of types B{u}chi, co-B{u}chi, and parity can be polynomially translated to FDFAs it follows that they too possess characteristic samples that can be constructed in polynomial time; however, no corresponding polynomial time learning algorithms is known. For deterministic omega automata that are isomorphic to their right congruence automata, the fully informative languages, polynomial time algorithms for constructing characteristic samples and learning from them is given. The algorithms for constructing characteristic sets in polynomial time for the different omega automata (of types Buchi, coBuchi, parity, Rabin, Street, or Muller), require deterministic polynomial time algorithms for (1) equivalence of the respective omega automata, and (2) testing membership of the language of the automaton in the informative classes, which we provide." @default.
- W4296608035 created "2022-09-23" @default.
- W4296608035 creator A5003817717 @default.
- W4296608035 creator A5022630792 @default.
- W4296608035 creator A5079060192 @default.
- W4296608035 date "2022-09-19" @default.
- W4296608035 modified "2023-09-27" @default.
- W4296608035 title "Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages" @default.
- W4296608035 doi "https://doi.org/10.48550/arxiv.2209.09336" @default.
- W4296608035 hasPublicationYear "2022" @default.
- W4296608035 type Work @default.
- W4296608035 citedByCount "0" @default.
- W4296608035 crossrefType "posted-content" @default.
- W4296608035 hasAuthorship W4296608035A5003817717 @default.
- W4296608035 hasAuthorship W4296608035A5022630792 @default.
- W4296608035 hasAuthorship W4296608035A5079060192 @default.
- W4296608035 hasBestOaLocation W42966080351 @default.
- W4296608035 hasConcept C104091681 @default.
- W4296608035 hasConcept C112505250 @default.
- W4296608035 hasConcept C11413529 @default.
- W4296608035 hasConcept C114614502 @default.
- W4296608035 hasConcept C116248031 @default.
- W4296608035 hasConcept C118615104 @default.
- W4296608035 hasConcept C121332964 @default.
- W4296608035 hasConcept C132074034 @default.
- W4296608035 hasConcept C134306372 @default.
- W4296608035 hasConcept C167822520 @default.
- W4296608035 hasConcept C174327141 @default.
- W4296608035 hasConcept C2524010 @default.
- W4296608035 hasConcept C2779557605 @default.
- W4296608035 hasConcept C2780069185 @default.
- W4296608035 hasConcept C311688 @default.
- W4296608035 hasConcept C33923547 @default.
- W4296608035 hasConcept C41008148 @default.
- W4296608035 hasConcept C62520636 @default.
- W4296608035 hasConcept C80444323 @default.
- W4296608035 hasConcept C90119067 @default.
- W4296608035 hasConceptScore W4296608035C104091681 @default.
- W4296608035 hasConceptScore W4296608035C112505250 @default.
- W4296608035 hasConceptScore W4296608035C11413529 @default.
- W4296608035 hasConceptScore W4296608035C114614502 @default.
- W4296608035 hasConceptScore W4296608035C116248031 @default.
- W4296608035 hasConceptScore W4296608035C118615104 @default.
- W4296608035 hasConceptScore W4296608035C121332964 @default.
- W4296608035 hasConceptScore W4296608035C132074034 @default.
- W4296608035 hasConceptScore W4296608035C134306372 @default.
- W4296608035 hasConceptScore W4296608035C167822520 @default.
- W4296608035 hasConceptScore W4296608035C174327141 @default.
- W4296608035 hasConceptScore W4296608035C2524010 @default.
- W4296608035 hasConceptScore W4296608035C2779557605 @default.
- W4296608035 hasConceptScore W4296608035C2780069185 @default.
- W4296608035 hasConceptScore W4296608035C311688 @default.
- W4296608035 hasConceptScore W4296608035C33923547 @default.
- W4296608035 hasConceptScore W4296608035C41008148 @default.
- W4296608035 hasConceptScore W4296608035C62520636 @default.
- W4296608035 hasConceptScore W4296608035C80444323 @default.
- W4296608035 hasConceptScore W4296608035C90119067 @default.
- W4296608035 hasLocation W42966080351 @default.
- W4296608035 hasOpenAccess W4296608035 @default.
- W4296608035 hasPrimaryLocation W42966080351 @default.
- W4296608035 hasRelatedWork W1991034910 @default.
- W4296608035 hasRelatedWork W1998090528 @default.
- W4296608035 hasRelatedWork W2013080869 @default.
- W4296608035 hasRelatedWork W2170950469 @default.
- W4296608035 hasRelatedWork W2950539409 @default.
- W4296608035 hasRelatedWork W3033311762 @default.
- W4296608035 hasRelatedWork W3046613010 @default.
- W4296608035 hasRelatedWork W3151786004 @default.
- W4296608035 hasRelatedWork W4300362218 @default.
- W4296608035 hasRelatedWork W2186605347 @default.
- W4296608035 isParatext "false" @default.
- W4296608035 isRetracted "false" @default.
- W4296608035 workType "article" @default.