Matches in SemOpenAlex for { <https://semopenalex.org/work/W2767050889> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2767050889 abstract "Determinisation and completion of finite tree automata are important operations with applications in program analysis and verification. However, the complexity of the classical procedures for determinisation and completion is high. They are not practical procedures for manipulating tree automata beyond very small ones. In this paper we develop an algorithm for determinisation and completion of finite tree automata, whose worst-case complexity remains unchanged, but which performs far better than existing algorithms in practice. The critical aspect of the algorithm is that the transitions of the determinised (and possibly completed) automaton are generated in a potentially very compact form called product form, which can reduce the size of the representation dramatically. Furthermore, the representation can often be used directly when manipulating the determinised automaton. The paper contains an experimental evaluation of the algorithm on a large set of tree automata examples." @default.
- W2767050889 created "2017-11-10" @default.
- W2767050889 creator A5020405838 @default.
- W2767050889 creator A5020698393 @default.
- W2767050889 creator A5031939019 @default.
- W2767050889 date "2015-11-11" @default.
- W2767050889 modified "2023-10-16" @default.
- W2767050889 title "Optimised determinisation and completion of finite tree automata" @default.
- W2767050889 hasPublicationYear "2015" @default.
- W2767050889 type Work @default.
- W2767050889 sameAs 2767050889 @default.
- W2767050889 citedByCount "0" @default.
- W2767050889 crossrefType "posted-content" @default.
- W2767050889 hasAuthorship W2767050889A5020405838 @default.
- W2767050889 hasAuthorship W2767050889A5020698393 @default.
- W2767050889 hasAuthorship W2767050889A5031939019 @default.
- W2767050889 hasConcept C104091681 @default.
- W2767050889 hasConcept C112505250 @default.
- W2767050889 hasConcept C113174947 @default.
- W2767050889 hasConcept C11413529 @default.
- W2767050889 hasConcept C114614502 @default.
- W2767050889 hasConcept C116248031 @default.
- W2767050889 hasConcept C167822520 @default.
- W2767050889 hasConcept C174327141 @default.
- W2767050889 hasConcept C177264268 @default.
- W2767050889 hasConcept C17744445 @default.
- W2767050889 hasConcept C199360897 @default.
- W2767050889 hasConcept C199539241 @default.
- W2767050889 hasConcept C2776359362 @default.
- W2767050889 hasConcept C2778583254 @default.
- W2767050889 hasConcept C33923547 @default.
- W2767050889 hasConcept C41008148 @default.
- W2767050889 hasConcept C65753522 @default.
- W2767050889 hasConcept C80444323 @default.
- W2767050889 hasConcept C92710233 @default.
- W2767050889 hasConcept C94625758 @default.
- W2767050889 hasConceptScore W2767050889C104091681 @default.
- W2767050889 hasConceptScore W2767050889C112505250 @default.
- W2767050889 hasConceptScore W2767050889C113174947 @default.
- W2767050889 hasConceptScore W2767050889C11413529 @default.
- W2767050889 hasConceptScore W2767050889C114614502 @default.
- W2767050889 hasConceptScore W2767050889C116248031 @default.
- W2767050889 hasConceptScore W2767050889C167822520 @default.
- W2767050889 hasConceptScore W2767050889C174327141 @default.
- W2767050889 hasConceptScore W2767050889C177264268 @default.
- W2767050889 hasConceptScore W2767050889C17744445 @default.
- W2767050889 hasConceptScore W2767050889C199360897 @default.
- W2767050889 hasConceptScore W2767050889C199539241 @default.
- W2767050889 hasConceptScore W2767050889C2776359362 @default.
- W2767050889 hasConceptScore W2767050889C2778583254 @default.
- W2767050889 hasConceptScore W2767050889C33923547 @default.
- W2767050889 hasConceptScore W2767050889C41008148 @default.
- W2767050889 hasConceptScore W2767050889C65753522 @default.
- W2767050889 hasConceptScore W2767050889C80444323 @default.
- W2767050889 hasConceptScore W2767050889C92710233 @default.
- W2767050889 hasConceptScore W2767050889C94625758 @default.
- W2767050889 hasLocation W27670508891 @default.
- W2767050889 hasOpenAccess W2767050889 @default.
- W2767050889 hasPrimaryLocation W27670508891 @default.
- W2767050889 hasRelatedWork W1549106514 @default.
- W2767050889 hasRelatedWork W173662904 @default.
- W2767050889 hasRelatedWork W1979078717 @default.
- W2767050889 hasRelatedWork W1988808695 @default.
- W2767050889 hasRelatedWork W2107085277 @default.
- W2767050889 hasRelatedWork W2142413136 @default.
- W2767050889 hasRelatedWork W2155765172 @default.
- W2767050889 hasRelatedWork W2200478861 @default.
- W2767050889 hasRelatedWork W2293032297 @default.
- W2767050889 hasRelatedWork W2406510609 @default.
- W2767050889 hasRelatedWork W2406845908 @default.
- W2767050889 hasRelatedWork W2564525916 @default.
- W2767050889 hasRelatedWork W2577615997 @default.
- W2767050889 hasRelatedWork W2588946677 @default.
- W2767050889 hasRelatedWork W2767098878 @default.
- W2767050889 hasRelatedWork W2963307361 @default.
- W2767050889 hasRelatedWork W2979203904 @default.
- W2767050889 hasRelatedWork W2985661840 @default.
- W2767050889 hasRelatedWork W3006574674 @default.
- W2767050889 hasRelatedWork W3111577354 @default.
- W2767050889 isParatext "false" @default.
- W2767050889 isRetracted "false" @default.
- W2767050889 magId "2767050889" @default.
- W2767050889 workType "article" @default.