Matches in SemOpenAlex for { <https://semopenalex.org/work/W1533814670> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1533814670 endingPage "395" @default.
- W1533814670 startingPage "383" @default.
- W1533814670 abstract "We study the problem of finding good elimination orderings for the state elimination algorithm, which is one of the most popular algorithms for the conversion of finite automata into equivalent regular expressions. Based on graph separator techniques we are able to describe elimination strategies that remove states in large induced subgraphs that are simple like, e.g., independent sets or subgraphs of bounded treewidth, of the underlying automaton, that lead to regular expressions of moderate size. In particular, we show that there is an elimination ordering such that every language over a binary alphabet accepted by an n-state deterministicfinite automaton has alphabetic width at most O(1.742n), which is, to our knowledge, the algorithm with currently the best known performance guarantee. Finally, we apply our technique to the question on the effect of language operations on regular expression size. In case of the intersection operation we prove an upper bound which matches, up to a small factor, a lower bound recently obtained in [9,10], and thus settles an open problem stated in [7]." @default.
- W1533814670 created "2016-06-24" @default.
- W1533814670 creator A5016664760 @default.
- W1533814670 creator A5040523230 @default.
- W1533814670 date "2008-01-01" @default.
- W1533814670 modified "2023-10-14" @default.
- W1533814670 title "Provably Shorter Regular Expressions from Deterministic Finite Automata" @default.
- W1533814670 cites W1508355880 @default.
- W1533814670 cites W1563860439 @default.
- W1533814670 cites W2029448190 @default.
- W1533814670 cites W2038643780 @default.
- W1533814670 cites W2066064214 @default.
- W1533814670 cites W2112175063 @default.
- W1533814670 cites W2129414328 @default.
- W1533814670 cites W2142662777 @default.
- W1533814670 cites W2156429182 @default.
- W1533814670 cites W2168320078 @default.
- W1533814670 cites W2912608078 @default.
- W1533814670 cites W4230962939 @default.
- W1533814670 doi "https://doi.org/10.1007/978-3-540-85780-8_30" @default.
- W1533814670 hasPublicationYear "2008" @default.
- W1533814670 type Work @default.
- W1533814670 sameAs 1533814670 @default.
- W1533814670 citedByCount "18" @default.
- W1533814670 countsByYear W15338146702012 @default.
- W1533814670 countsByYear W15338146702013 @default.
- W1533814670 countsByYear W15338146702014 @default.
- W1533814670 countsByYear W15338146702015 @default.
- W1533814670 countsByYear W15338146702016 @default.
- W1533814670 crossrefType "book-chapter" @default.
- W1533814670 hasAuthorship W1533814670A5016664760 @default.
- W1533814670 hasAuthorship W1533814670A5040523230 @default.
- W1533814670 hasConcept C104091681 @default.
- W1533814670 hasConcept C112505250 @default.
- W1533814670 hasConcept C11413529 @default.
- W1533814670 hasConcept C116248031 @default.
- W1533814670 hasConcept C121329065 @default.
- W1533814670 hasConcept C158008952 @default.
- W1533814670 hasConcept C167822520 @default.
- W1533814670 hasConcept C174327141 @default.
- W1533814670 hasConcept C199360897 @default.
- W1533814670 hasConcept C33923547 @default.
- W1533814670 hasConcept C41008148 @default.
- W1533814670 hasConcept C65753522 @default.
- W1533814670 hasConcept C80444323 @default.
- W1533814670 hasConceptScore W1533814670C104091681 @default.
- W1533814670 hasConceptScore W1533814670C112505250 @default.
- W1533814670 hasConceptScore W1533814670C11413529 @default.
- W1533814670 hasConceptScore W1533814670C116248031 @default.
- W1533814670 hasConceptScore W1533814670C121329065 @default.
- W1533814670 hasConceptScore W1533814670C158008952 @default.
- W1533814670 hasConceptScore W1533814670C167822520 @default.
- W1533814670 hasConceptScore W1533814670C174327141 @default.
- W1533814670 hasConceptScore W1533814670C199360897 @default.
- W1533814670 hasConceptScore W1533814670C33923547 @default.
- W1533814670 hasConceptScore W1533814670C41008148 @default.
- W1533814670 hasConceptScore W1533814670C65753522 @default.
- W1533814670 hasConceptScore W1533814670C80444323 @default.
- W1533814670 hasLocation W15338146701 @default.
- W1533814670 hasOpenAccess W1533814670 @default.
- W1533814670 hasPrimaryLocation W15338146701 @default.
- W1533814670 hasRelatedWork W1423874546 @default.
- W1533814670 hasRelatedWork W1530258609 @default.
- W1533814670 hasRelatedWork W1843639509 @default.
- W1533814670 hasRelatedWork W1999162684 @default.
- W1533814670 hasRelatedWork W2136740376 @default.
- W1533814670 hasRelatedWork W2160879187 @default.
- W1533814670 hasRelatedWork W2366117819 @default.
- W1533814670 hasRelatedWork W2396272923 @default.
- W1533814670 hasRelatedWork W3143588635 @default.
- W1533814670 hasRelatedWork W4308880995 @default.
- W1533814670 isParatext "false" @default.
- W1533814670 isRetracted "false" @default.
- W1533814670 magId "1533814670" @default.
- W1533814670 workType "book-chapter" @default.