Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950055984> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2950055984 abstract "The problem of k-minimisation for a DFA M is the computation of a smallest DFA N (where the size |M| of a DFA M is the size of the domain of the transition function) such that their recognized languages differ only on words of length less than k. The previously best algorithm, which runs in time O(|M| log^2 n) where n is the number of states, is extended to DFAs with partial transition functions. Moreover, a faster O(|M| log n) algorithm for DFAs that recognise finite languages is presented. In comparison to the previous algorithm for total DFAs, the new algorithm is much simpler and allows the calculation of a k-minimal DFA for each k in parallel. Secondly, it is demonstrated that calculating the least number of introduced errors is hard: Given a DFA M and numbers k and m, it is NP-hard to decide whether there exists a k-minimal DFA N differing from DFA M on at most m words. A similar result holds for hyper-minimisation of DFAs in general: Given a DFA M and numbers s and m, it is NP-hard to decide whether there exists a DFA N with at most s states such that DFA M and N differ on at msot m words." @default.
- W2950055984 created "2019-06-27" @default.
- W2950055984 creator A5022706035 @default.
- W2950055984 creator A5066525178 @default.
- W2950055984 creator A5087927480 @default.
- W2950055984 date "2011-02-28" @default.
- W2950055984 modified "2023-10-11" @default.
- W2950055984 title "On minimising automata with errors" @default.
- W2950055984 cites W1528377058 @default.
- W2950055984 cites W2149710566 @default.
- W2950055984 hasPublicationYear "2011" @default.
- W2950055984 type Work @default.
- W2950055984 sameAs 2950055984 @default.
- W2950055984 citedByCount "2" @default.
- W2950055984 countsByYear W29500559842015 @default.
- W2950055984 countsByYear W29500559842016 @default.
- W2950055984 crossrefType "posted-content" @default.
- W2950055984 hasAuthorship W2950055984A5022706035 @default.
- W2950055984 hasAuthorship W2950055984A5066525178 @default.
- W2950055984 hasAuthorship W2950055984A5087927480 @default.
- W2950055984 hasConcept C104091681 @default.
- W2950055984 hasConcept C112505250 @default.
- W2950055984 hasConcept C11413529 @default.
- W2950055984 hasConcept C114614502 @default.
- W2950055984 hasConcept C116248031 @default.
- W2950055984 hasConcept C118615104 @default.
- W2950055984 hasConcept C14036430 @default.
- W2950055984 hasConcept C158008952 @default.
- W2950055984 hasConcept C167822520 @default.
- W2950055984 hasConcept C33923547 @default.
- W2950055984 hasConcept C41008148 @default.
- W2950055984 hasConcept C52370388 @default.
- W2950055984 hasConcept C65753522 @default.
- W2950055984 hasConcept C78458016 @default.
- W2950055984 hasConcept C80444323 @default.
- W2950055984 hasConcept C86803240 @default.
- W2950055984 hasConceptScore W2950055984C104091681 @default.
- W2950055984 hasConceptScore W2950055984C112505250 @default.
- W2950055984 hasConceptScore W2950055984C11413529 @default.
- W2950055984 hasConceptScore W2950055984C114614502 @default.
- W2950055984 hasConceptScore W2950055984C116248031 @default.
- W2950055984 hasConceptScore W2950055984C118615104 @default.
- W2950055984 hasConceptScore W2950055984C14036430 @default.
- W2950055984 hasConceptScore W2950055984C158008952 @default.
- W2950055984 hasConceptScore W2950055984C167822520 @default.
- W2950055984 hasConceptScore W2950055984C33923547 @default.
- W2950055984 hasConceptScore W2950055984C41008148 @default.
- W2950055984 hasConceptScore W2950055984C52370388 @default.
- W2950055984 hasConceptScore W2950055984C65753522 @default.
- W2950055984 hasConceptScore W2950055984C78458016 @default.
- W2950055984 hasConceptScore W2950055984C80444323 @default.
- W2950055984 hasConceptScore W2950055984C86803240 @default.
- W2950055984 hasLocation W29500559841 @default.
- W2950055984 hasOpenAccess W2950055984 @default.
- W2950055984 hasPrimaryLocation W29500559841 @default.
- W2950055984 hasRelatedWork W12503799 @default.
- W2950055984 hasRelatedWork W1811655018 @default.
- W2950055984 hasRelatedWork W1876458857 @default.
- W2950055984 hasRelatedWork W2090431024 @default.
- W2950055984 hasRelatedWork W2111868903 @default.
- W2950055984 hasRelatedWork W2122493035 @default.
- W2950055984 hasRelatedWork W2436540252 @default.
- W2950055984 hasRelatedWork W2511415242 @default.
- W2950055984 hasRelatedWork W2754226771 @default.
- W2950055984 hasRelatedWork W2776892647 @default.
- W2950055984 hasRelatedWork W2786139803 @default.
- W2950055984 hasRelatedWork W2903931520 @default.
- W2950055984 hasRelatedWork W2918076681 @default.
- W2950055984 hasRelatedWork W2950084554 @default.
- W2950055984 hasRelatedWork W2950511327 @default.
- W2950055984 hasRelatedWork W3043590072 @default.
- W2950055984 hasRelatedWork W3101778446 @default.
- W2950055984 hasRelatedWork W3160834361 @default.
- W2950055984 hasRelatedWork W8752349 @default.
- W2950055984 hasRelatedWork W2469547528 @default.
- W2950055984 isParatext "false" @default.
- W2950055984 isRetracted "false" @default.
- W2950055984 magId "2950055984" @default.
- W2950055984 workType "article" @default.