Matches in SemOpenAlex for { <https://semopenalex.org/work/W4382933103> ?p ?o ?g. }
- W4382933103 endingPage "106427" @default.
- W4382933103 startingPage "106427" @default.
- W4382933103 abstract "One of the most fundamental problems in computational learning theory is the problem of learning a finite automaton A consistent with a finite set P of positive examples and with a finite set N of negative examples. By consistency, we mean that A accepts all strings in P and rejects all strings in N. It is well known that this problem is NP-complete. In the literature, it is stated that NP-hardness holds even in the case of a binary alphabet. As a standard reference for this theorem, the work of Gold from 1978 is either cited or adapted. Nevertheless, the results in Gold's work are stated in terms of Mealy machines, and not in terms of deterministic finite automata (DFAs) as most commonly defined. As Mealy machines are equipped with an output function, they can be more compact than DFAs which accept the same language. We show that the adaptations of Gold's construction for Mealy machines stated in the literature have some issues, and provide a correct proof for the fact that the DFA-consistency problem for binary alphabets is NP-complete." @default.
- W4382933103 created "2023-07-04" @default.
- W4382933103 creator A5001270537 @default.
- W4382933103 creator A5004874607 @default.
- W4382933103 creator A5074187313 @default.
- W4382933103 date "2024-01-01" @default.
- W4382933103 modified "2023-10-11" @default.
- W4382933103 title "Learning from positive and negative examples: New proof for binary alphabets" @default.
- W4382933103 cites W1878188374 @default.
- W4382933103 cites W1969005071 @default.
- W4382933103 cites W1979349468 @default.
- W4382933103 cites W1980921275 @default.
- W4382933103 cites W2010372108 @default.
- W4382933103 cites W2017387539 @default.
- W4382933103 cites W2017603160 @default.
- W4382933103 cites W2018706164 @default.
- W4382933103 cites W2053159775 @default.
- W4382933103 cites W2074010768 @default.
- W4382933103 cites W2406438973 @default.
- W4382933103 cites W2755199268 @default.
- W4382933103 cites W2934243672 @default.
- W4382933103 cites W3016312071 @default.
- W4382933103 doi "https://doi.org/10.1016/j.ipl.2023.106427" @default.
- W4382933103 hasPublicationYear "2024" @default.
- W4382933103 type Work @default.
- W4382933103 citedByCount "0" @default.
- W4382933103 crossrefType "journal-article" @default.
- W4382933103 hasAuthorship W4382933103A5001270537 @default.
- W4382933103 hasAuthorship W4382933103A5004874607 @default.
- W4382933103 hasAuthorship W4382933103A5074187313 @default.
- W4382933103 hasBestOaLocation W43829331031 @default.
- W4382933103 hasConcept C104091681 @default.
- W4382933103 hasConcept C112505250 @default.
- W4382933103 hasConcept C112876837 @default.
- W4382933103 hasConcept C11413529 @default.
- W4382933103 hasConcept C114614502 @default.
- W4382933103 hasConcept C118615104 @default.
- W4382933103 hasConcept C134306372 @default.
- W4382933103 hasConcept C136979486 @default.
- W4382933103 hasConcept C138885662 @default.
- W4382933103 hasConcept C14036430 @default.
- W4382933103 hasConcept C162392398 @default.
- W4382933103 hasConcept C167822520 @default.
- W4382933103 hasConcept C177264268 @default.
- W4382933103 hasConcept C194525867 @default.
- W4382933103 hasConcept C199360897 @default.
- W4382933103 hasConcept C2776436953 @default.
- W4382933103 hasConcept C33923547 @default.
- W4382933103 hasConcept C41008148 @default.
- W4382933103 hasConcept C41895202 @default.
- W4382933103 hasConcept C48372109 @default.
- W4382933103 hasConcept C52370388 @default.
- W4382933103 hasConcept C78458016 @default.
- W4382933103 hasConcept C80444323 @default.
- W4382933103 hasConcept C86803240 @default.
- W4382933103 hasConcept C94375191 @default.
- W4382933103 hasConceptScore W4382933103C104091681 @default.
- W4382933103 hasConceptScore W4382933103C112505250 @default.
- W4382933103 hasConceptScore W4382933103C112876837 @default.
- W4382933103 hasConceptScore W4382933103C11413529 @default.
- W4382933103 hasConceptScore W4382933103C114614502 @default.
- W4382933103 hasConceptScore W4382933103C118615104 @default.
- W4382933103 hasConceptScore W4382933103C134306372 @default.
- W4382933103 hasConceptScore W4382933103C136979486 @default.
- W4382933103 hasConceptScore W4382933103C138885662 @default.
- W4382933103 hasConceptScore W4382933103C14036430 @default.
- W4382933103 hasConceptScore W4382933103C162392398 @default.
- W4382933103 hasConceptScore W4382933103C167822520 @default.
- W4382933103 hasConceptScore W4382933103C177264268 @default.
- W4382933103 hasConceptScore W4382933103C194525867 @default.
- W4382933103 hasConceptScore W4382933103C199360897 @default.
- W4382933103 hasConceptScore W4382933103C2776436953 @default.
- W4382933103 hasConceptScore W4382933103C33923547 @default.
- W4382933103 hasConceptScore W4382933103C41008148 @default.
- W4382933103 hasConceptScore W4382933103C41895202 @default.
- W4382933103 hasConceptScore W4382933103C48372109 @default.
- W4382933103 hasConceptScore W4382933103C52370388 @default.
- W4382933103 hasConceptScore W4382933103C78458016 @default.
- W4382933103 hasConceptScore W4382933103C80444323 @default.
- W4382933103 hasConceptScore W4382933103C86803240 @default.
- W4382933103 hasConceptScore W4382933103C94375191 @default.
- W4382933103 hasFunder F4320320879 @default.
- W4382933103 hasFunder F4320323299 @default.
- W4382933103 hasLocation W43829331031 @default.
- W4382933103 hasLocation W43829331032 @default.
- W4382933103 hasOpenAccess W4382933103 @default.
- W4382933103 hasPrimaryLocation W43829331031 @default.
- W4382933103 hasRelatedWork W1540981970 @default.
- W4382933103 hasRelatedWork W185868636 @default.
- W4382933103 hasRelatedWork W2043194137 @default.
- W4382933103 hasRelatedWork W2092282351 @default.
- W4382933103 hasRelatedWork W2111868903 @default.
- W4382933103 hasRelatedWork W3046613010 @default.
- W4382933103 hasRelatedWork W4283328583 @default.
- W4382933103 hasRelatedWork W4382933103 @default.
- W4382933103 hasRelatedWork W94998075 @default.
- W4382933103 hasRelatedWork W2751274668 @default.
- W4382933103 hasVolume "183" @default.