Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949302590> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2949302590 abstract "Determinisation is an important concept in the theory of finite tree automata. However the complexity of the textbook procedure for determinisation is such that it is not viewed as a being a practical procedure for manipulating tree automata, even fairly small ones. The computational problems are exacerbated when an automaton has to be both determinised and completed, for instance to compute the complement of an automaton. In this paper we develop an algorithm for determinisation and completion of finite tree automata, whose worst-case complexity remains unchanged, but which performs dramatically better than existing algorithms in practice. The algorithm is developed in stages by optimising the textbook algorithm. A critical aspect of the algorithm is that the transitions of the determinised automaton are generated in a potentially very compact form called product form, which 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. Applications of the algorithm include static analysis of term rewriting systems and logic programs, and checking containment of languages defined by tree automata such as XML schemata." @default.
- W2949302590 created "2019-06-27" @default.
- W2949302590 creator A5020405838 @default.
- W2949302590 creator A5020698393 @default.
- W2949302590 creator A5031939019 @default.
- W2949302590 date "2015-11-11" @default.
- W2949302590 modified "2023-10-16" @default.
- W2949302590 title "An Optimised Algorithm for Determinisation and Completion of Finite Tree Automata" @default.
- W2949302590 cites W1510965759 @default.
- W2949302590 cites W1581394432 @default.
- W2949302590 cites W1602317429 @default.
- W2949302590 cites W2137500339 @default.
- W2949302590 cites W2157821258 @default.
- W2949302590 hasPublicationYear "2015" @default.
- W2949302590 type Work @default.
- W2949302590 sameAs 2949302590 @default.
- W2949302590 citedByCount "2" @default.
- W2949302590 countsByYear W29493025902016 @default.
- W2949302590 countsByYear W29493025902017 @default.
- W2949302590 crossrefType "posted-content" @default.
- W2949302590 hasAuthorship W2949302590A5020405838 @default.
- W2949302590 hasAuthorship W2949302590A5020698393 @default.
- W2949302590 hasAuthorship W2949302590A5031939019 @default.
- W2949302590 hasConcept C112505250 @default.
- W2949302590 hasConcept C113174947 @default.
- W2949302590 hasConcept C11413529 @default.
- W2949302590 hasConcept C114614502 @default.
- W2949302590 hasConcept C116248031 @default.
- W2949302590 hasConcept C139423837 @default.
- W2949302590 hasConcept C154690210 @default.
- W2949302590 hasConcept C158008952 @default.
- W2949302590 hasConcept C165753454 @default.
- W2949302590 hasConcept C174327141 @default.
- W2949302590 hasConcept C177264268 @default.
- W2949302590 hasConcept C194525867 @default.
- W2949302590 hasConcept C199360897 @default.
- W2949302590 hasConcept C2778583254 @default.
- W2949302590 hasConcept C33923547 @default.
- W2949302590 hasConcept C41008148 @default.
- W2949302590 hasConcept C65753522 @default.
- W2949302590 hasConcept C80444323 @default.
- W2949302590 hasConcept C92710233 @default.
- W2949302590 hasConceptScore W2949302590C112505250 @default.
- W2949302590 hasConceptScore W2949302590C113174947 @default.
- W2949302590 hasConceptScore W2949302590C11413529 @default.
- W2949302590 hasConceptScore W2949302590C114614502 @default.
- W2949302590 hasConceptScore W2949302590C116248031 @default.
- W2949302590 hasConceptScore W2949302590C139423837 @default.
- W2949302590 hasConceptScore W2949302590C154690210 @default.
- W2949302590 hasConceptScore W2949302590C158008952 @default.
- W2949302590 hasConceptScore W2949302590C165753454 @default.
- W2949302590 hasConceptScore W2949302590C174327141 @default.
- W2949302590 hasConceptScore W2949302590C177264268 @default.
- W2949302590 hasConceptScore W2949302590C194525867 @default.
- W2949302590 hasConceptScore W2949302590C199360897 @default.
- W2949302590 hasConceptScore W2949302590C2778583254 @default.
- W2949302590 hasConceptScore W2949302590C33923547 @default.
- W2949302590 hasConceptScore W2949302590C41008148 @default.
- W2949302590 hasConceptScore W2949302590C65753522 @default.
- W2949302590 hasConceptScore W2949302590C80444323 @default.
- W2949302590 hasConceptScore W2949302590C92710233 @default.
- W2949302590 hasLocation W29493025901 @default.
- W2949302590 hasOpenAccess W2949302590 @default.
- W2949302590 hasPrimaryLocation W29493025901 @default.
- W2949302590 hasRelatedWork W1528377058 @default.
- W2949302590 hasRelatedWork W1549106514 @default.
- W2949302590 hasRelatedWork W1685060813 @default.
- W2949302590 hasRelatedWork W173662904 @default.
- W2949302590 hasRelatedWork W1881030807 @default.
- W2949302590 hasRelatedWork W1892891603 @default.
- W2949302590 hasRelatedWork W1979078717 @default.
- W2949302590 hasRelatedWork W1997450827 @default.
- W2949302590 hasRelatedWork W2073586690 @default.
- W2949302590 hasRelatedWork W2099747032 @default.
- W2949302590 hasRelatedWork W2111299652 @default.
- W2949302590 hasRelatedWork W2142413136 @default.
- W2949302590 hasRelatedWork W2293032297 @default.
- W2949302590 hasRelatedWork W2406510609 @default.
- W2949302590 hasRelatedWork W2487186542 @default.
- W2949302590 hasRelatedWork W2588946677 @default.
- W2949302590 hasRelatedWork W2767098878 @default.
- W2949302590 hasRelatedWork W2950558307 @default.
- W2949302590 hasRelatedWork W2963307361 @default.
- W2949302590 hasRelatedWork W3111577354 @default.
- W2949302590 isParatext "false" @default.
- W2949302590 isRetracted "false" @default.
- W2949302590 magId "2949302590" @default.
- W2949302590 workType "article" @default.