Matches in SemOpenAlex for { <https://semopenalex.org/work/W1503669197> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1503669197 endingPage "222" @default.
- W1503669197 startingPage "212" @default.
- W1503669197 abstract "We address the problem of reducing the size of (nondeterministic, bottom-up) tree automata using suitable, language-preserving equivalences on the states of the automata. In particular, we propose the so-called composed bisimulationas a new language preserving equivalence. Composed bisimulation is defined in terms of two different relations, namely upward and downward bisimulation. Moreover, we provide simple and efficient algorithms for computing composed bisimulation based on a reduction to the problem of computing bisimulations on transition systems. The proposal of composed bisimulation is motivated by an attempt to obtain an equivalence that can provide better reductions than what currently known bisimulation-based approaches can offer, but which is not significantly more difficult to compute (and hence stays below the computational requirements of simulation-based reductions). The experimental results we present in the paper show that our composed bisimulation meets such requirements, and hence provides users of tree automata with a finer way to resolve the trade-off between the available degree of reduction and its cost." @default.
- W1503669197 created "2016-06-24" @default.
- W1503669197 creator A5002478680 @default.
- W1503669197 creator A5005128087 @default.
- W1503669197 creator A5031470842 @default.
- W1503669197 creator A5045477471 @default.
- W1503669197 creator A5059358773 @default.
- W1503669197 date "2008-07-22" @default.
- W1503669197 modified "2023-10-01" @default.
- W1503669197 title "Composed Bisimulation for Tree Automata" @default.
- W1503669197 cites W1569690296 @default.
- W1503669197 cites W1976891319 @default.
- W1503669197 cites W2068361557 @default.
- W1503669197 cites W2091043802 @default.
- W1503669197 cites W2101989701 @default.
- W1503669197 cites W2117952194 @default.
- W1503669197 cites W2123948057 @default.
- W1503669197 cites W2141408630 @default.
- W1503669197 doi "https://doi.org/10.1007/978-3-540-70844-5_22" @default.
- W1503669197 hasPublicationYear "2008" @default.
- W1503669197 type Work @default.
- W1503669197 sameAs 1503669197 @default.
- W1503669197 citedByCount "7" @default.
- W1503669197 countsByYear W15036691972012 @default.
- W1503669197 countsByYear W15036691972016 @default.
- W1503669197 countsByYear W15036691972017 @default.
- W1503669197 countsByYear W15036691972018 @default.
- W1503669197 crossrefType "book-chapter" @default.
- W1503669197 hasAuthorship W1503669197A5002478680 @default.
- W1503669197 hasAuthorship W1503669197A5005128087 @default.
- W1503669197 hasAuthorship W1503669197A5031470842 @default.
- W1503669197 hasAuthorship W1503669197A5045477471 @default.
- W1503669197 hasAuthorship W1503669197A5059358773 @default.
- W1503669197 hasBestOaLocation W15036691972 @default.
- W1503669197 hasConcept C112505250 @default.
- W1503669197 hasConcept C113174947 @default.
- W1503669197 hasConcept C114614502 @default.
- W1503669197 hasConcept C135315306 @default.
- W1503669197 hasConcept C33923547 @default.
- W1503669197 hasConcept C41008148 @default.
- W1503669197 hasConcept C80444323 @default.
- W1503669197 hasConceptScore W1503669197C112505250 @default.
- W1503669197 hasConceptScore W1503669197C113174947 @default.
- W1503669197 hasConceptScore W1503669197C114614502 @default.
- W1503669197 hasConceptScore W1503669197C135315306 @default.
- W1503669197 hasConceptScore W1503669197C33923547 @default.
- W1503669197 hasConceptScore W1503669197C41008148 @default.
- W1503669197 hasConceptScore W1503669197C80444323 @default.
- W1503669197 hasLocation W15036691971 @default.
- W1503669197 hasLocation W15036691972 @default.
- W1503669197 hasOpenAccess W1503669197 @default.
- W1503669197 hasPrimaryLocation W15036691971 @default.
- W1503669197 hasRelatedWork W1506098152 @default.
- W1503669197 hasRelatedWork W1577437452 @default.
- W1503669197 hasRelatedWork W2104383147 @default.
- W1503669197 hasRelatedWork W2114998520 @default.
- W1503669197 hasRelatedWork W2162510824 @default.
- W1503669197 hasRelatedWork W2471844302 @default.
- W1503669197 hasRelatedWork W3039941228 @default.
- W1503669197 hasRelatedWork W3095160120 @default.
- W1503669197 hasRelatedWork W4287742608 @default.
- W1503669197 hasRelatedWork W4312254064 @default.
- W1503669197 isParatext "false" @default.
- W1503669197 isRetracted "false" @default.
- W1503669197 magId "1503669197" @default.
- W1503669197 workType "book-chapter" @default.