Matches in SemOpenAlex for { <https://semopenalex.org/work/W1525631812> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1525631812 abstract "We investigate the following lower bound methods for regular languages: The fooling set technique, the extended fooling set technique, and the biclique edge cover technique. It is shown that the maximal attainable lower bound for each of the above mentioned techniques can be algorithmically deduced from a canonical finite graph, the so called dependency graph of a regular language. This graph is very helpful when comparing the techniques with each other and with nondeterministic state complexity. In most cases it is shown that for any two techniques the gap between the best bounds can be arbitrarily large. Moreover, we show that deciding whether a certain lower bound w.r.t. one of the investigated techniques can be achieved is in most cases computationally hard, i.e., PSPACE-complete and hence is as hard as minimizing nondeterministic finite automata." @default.
- W1525631812 created "2016-06-24" @default.
- W1525631812 creator A5016664760 @default.
- W1525631812 creator A5040523230 @default.
- W1525631812 date "2006-01-01" @default.
- W1525631812 modified "2023-09-23" @default.
- W1525631812 title "Finding Lower Bounds for Nondeterministic State Complexity is Hard." @default.
- W1525631812 cites W126184746 @default.
- W1525631812 cites W1527071401 @default.
- W1525631812 cites W1545682790 @default.
- W1525631812 cites W1606484542 @default.
- W1525631812 cites W1817451992 @default.
- W1525631812 cites W1995341919 @default.
- W1525631812 cites W2025521996 @default.
- W1525631812 cites W2038455086 @default.
- W1525631812 cites W2040834199 @default.
- W1525631812 cites W2054801208 @default.
- W1525631812 cites W2061668791 @default.
- W1525631812 cites W2077170493 @default.
- W1525631812 cites W2080108335 @default.
- W1525631812 cites W2142151475 @default.
- W1525631812 cites W2149288970 @default.
- W1525631812 cites W3134257814 @default.
- W1525631812 cites W42926958 @default.
- W1525631812 hasPublicationYear "2006" @default.
- W1525631812 type Work @default.
- W1525631812 sameAs 1525631812 @default.
- W1525631812 citedByCount "3" @default.
- W1525631812 countsByYear W15256318122019 @default.
- W1525631812 crossrefType "journal-article" @default.
- W1525631812 hasAuthorship W1525631812A5016664760 @default.
- W1525631812 hasAuthorship W1525631812A5040523230 @default.
- W1525631812 hasConcept C112505250 @default.
- W1525631812 hasConcept C11413529 @default.
- W1525631812 hasConcept C114614502 @default.
- W1525631812 hasConcept C116248031 @default.
- W1525631812 hasConcept C118615104 @default.
- W1525631812 hasConcept C132525143 @default.
- W1525631812 hasConcept C134306372 @default.
- W1525631812 hasConcept C158008952 @default.
- W1525631812 hasConcept C16311509 @default.
- W1525631812 hasConcept C176181172 @default.
- W1525631812 hasConcept C179799912 @default.
- W1525631812 hasConcept C33923547 @default.
- W1525631812 hasConcept C41008148 @default.
- W1525631812 hasConcept C77553402 @default.
- W1525631812 hasConcept C80444323 @default.
- W1525631812 hasConceptScore W1525631812C112505250 @default.
- W1525631812 hasConceptScore W1525631812C11413529 @default.
- W1525631812 hasConceptScore W1525631812C114614502 @default.
- W1525631812 hasConceptScore W1525631812C116248031 @default.
- W1525631812 hasConceptScore W1525631812C118615104 @default.
- W1525631812 hasConceptScore W1525631812C132525143 @default.
- W1525631812 hasConceptScore W1525631812C134306372 @default.
- W1525631812 hasConceptScore W1525631812C158008952 @default.
- W1525631812 hasConceptScore W1525631812C16311509 @default.
- W1525631812 hasConceptScore W1525631812C176181172 @default.
- W1525631812 hasConceptScore W1525631812C179799912 @default.
- W1525631812 hasConceptScore W1525631812C33923547 @default.
- W1525631812 hasConceptScore W1525631812C41008148 @default.
- W1525631812 hasConceptScore W1525631812C77553402 @default.
- W1525631812 hasConceptScore W1525631812C80444323 @default.
- W1525631812 hasLocation W15256318121 @default.
- W1525631812 hasOpenAccess W1525631812 @default.
- W1525631812 hasPrimaryLocation W15256318121 @default.
- W1525631812 hasRelatedWork W147059047 @default.
- W1525631812 hasRelatedWork W1485439933 @default.
- W1525631812 hasRelatedWork W1545682790 @default.
- W1525631812 hasRelatedWork W1566279036 @default.
- W1525631812 hasRelatedWork W1620689985 @default.
- W1525631812 hasRelatedWork W1699753700 @default.
- W1525631812 hasRelatedWork W1807114442 @default.
- W1525631812 hasRelatedWork W1987681136 @default.
- W1525631812 hasRelatedWork W2031137635 @default.
- W1525631812 hasRelatedWork W2034870758 @default.
- W1525631812 hasRelatedWork W2090698092 @default.
- W1525631812 hasRelatedWork W2115334306 @default.
- W1525631812 hasRelatedWork W2136083928 @default.
- W1525631812 hasRelatedWork W2142482847 @default.
- W1525631812 hasRelatedWork W21453999 @default.
- W1525631812 hasRelatedWork W2465024128 @default.
- W1525631812 hasRelatedWork W275231650 @default.
- W1525631812 hasRelatedWork W3018694765 @default.
- W1525631812 hasRelatedWork W36294487 @default.
- W1525631812 hasRelatedWork W1932250828 @default.
- W1525631812 hasVolume "13" @default.
- W1525631812 isParatext "false" @default.
- W1525631812 isRetracted "false" @default.
- W1525631812 magId "1525631812" @default.
- W1525631812 workType "article" @default.