Matches in SemOpenAlex for { <https://semopenalex.org/work/W2038358049> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2038358049 endingPage "217" @default.
- W2038358049 startingPage "213" @default.
- W2038358049 abstract "Minimization of deterministic finite automata has traditionally required complicated programs and correctness proofs, and taken O(nklogn) time, where n is the number of states and k the size of the alphabet. Here a short, memory-efficient program is presented that runs in O(n+mlogm), or even in O(n+mlogn), time, where m is the number of transitions. The program is complete with input, output, and the removal of irrelevant parts of the automaton. Its invariant-style correctness proof is relatively short." @default.
- W2038358049 created "2016-06-24" @default.
- W2038358049 creator A5062460264 @default.
- W2038358049 date "2012-03-01" @default.
- W2038358049 modified "2023-10-18" @default.
- W2038358049 title "Fast brief practical DFA minimization" @default.
- W2038358049 cites W1663591515 @default.
- W2038358049 cites W2030681981 @default.
- W2038358049 cites W2068361557 @default.
- W2038358049 cites W2091022743 @default.
- W2038358049 cites W2122493035 @default.
- W2038358049 doi "https://doi.org/10.1016/j.ipl.2011.12.004" @default.
- W2038358049 hasPublicationYear "2012" @default.
- W2038358049 type Work @default.
- W2038358049 sameAs 2038358049 @default.
- W2038358049 citedByCount "9" @default.
- W2038358049 countsByYear W20383580492013 @default.
- W2038358049 countsByYear W20383580492014 @default.
- W2038358049 countsByYear W20383580492016 @default.
- W2038358049 countsByYear W20383580492017 @default.
- W2038358049 countsByYear W20383580492019 @default.
- W2038358049 crossrefType "journal-article" @default.
- W2038358049 hasAuthorship W2038358049A5062460264 @default.
- W2038358049 hasConcept C104091681 @default.
- W2038358049 hasConcept C108710211 @default.
- W2038358049 hasConcept C112505250 @default.
- W2038358049 hasConcept C112876837 @default.
- W2038358049 hasConcept C11413529 @default.
- W2038358049 hasConcept C116248031 @default.
- W2038358049 hasConcept C118615104 @default.
- W2038358049 hasConcept C138885662 @default.
- W2038358049 hasConcept C147764199 @default.
- W2038358049 hasConcept C158008952 @default.
- W2038358049 hasConcept C167822520 @default.
- W2038358049 hasConcept C190470478 @default.
- W2038358049 hasConcept C199360897 @default.
- W2038358049 hasConcept C2524010 @default.
- W2038358049 hasConcept C33923547 @default.
- W2038358049 hasConcept C37914503 @default.
- W2038358049 hasConcept C41008148 @default.
- W2038358049 hasConcept C41895202 @default.
- W2038358049 hasConcept C55439883 @default.
- W2038358049 hasConcept C65753522 @default.
- W2038358049 hasConcept C80444323 @default.
- W2038358049 hasConceptScore W2038358049C104091681 @default.
- W2038358049 hasConceptScore W2038358049C108710211 @default.
- W2038358049 hasConceptScore W2038358049C112505250 @default.
- W2038358049 hasConceptScore W2038358049C112876837 @default.
- W2038358049 hasConceptScore W2038358049C11413529 @default.
- W2038358049 hasConceptScore W2038358049C116248031 @default.
- W2038358049 hasConceptScore W2038358049C118615104 @default.
- W2038358049 hasConceptScore W2038358049C138885662 @default.
- W2038358049 hasConceptScore W2038358049C147764199 @default.
- W2038358049 hasConceptScore W2038358049C158008952 @default.
- W2038358049 hasConceptScore W2038358049C167822520 @default.
- W2038358049 hasConceptScore W2038358049C190470478 @default.
- W2038358049 hasConceptScore W2038358049C199360897 @default.
- W2038358049 hasConceptScore W2038358049C2524010 @default.
- W2038358049 hasConceptScore W2038358049C33923547 @default.
- W2038358049 hasConceptScore W2038358049C37914503 @default.
- W2038358049 hasConceptScore W2038358049C41008148 @default.
- W2038358049 hasConceptScore W2038358049C41895202 @default.
- W2038358049 hasConceptScore W2038358049C55439883 @default.
- W2038358049 hasConceptScore W2038358049C65753522 @default.
- W2038358049 hasConceptScore W2038358049C80444323 @default.
- W2038358049 hasIssue "6" @default.
- W2038358049 hasLocation W20383580491 @default.
- W2038358049 hasOpenAccess W2038358049 @default.
- W2038358049 hasPrimaryLocation W20383580491 @default.
- W2038358049 hasRelatedWork W1578004983 @default.
- W2038358049 hasRelatedWork W2006515947 @default.
- W2038358049 hasRelatedWork W2010588138 @default.
- W2038358049 hasRelatedWork W2038358049 @default.
- W2038358049 hasRelatedWork W2092282351 @default.
- W2038358049 hasRelatedWork W2116820075 @default.
- W2038358049 hasRelatedWork W2149288970 @default.
- W2038358049 hasRelatedWork W2158129462 @default.
- W2038358049 hasRelatedWork W2762359624 @default.
- W2038358049 hasRelatedWork W3046613010 @default.
- W2038358049 hasVolume "112" @default.
- W2038358049 isParatext "false" @default.
- W2038358049 isRetracted "false" @default.
- W2038358049 magId "2038358049" @default.
- W2038358049 workType "article" @default.