Matches in SemOpenAlex for { <https://semopenalex.org/work/W2528624809> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2528624809 endingPage "276" @default.
- W2528624809 startingPage "253" @default.
- W2528624809 abstract "Deterministic automata can be minimized by partition refinement (Moore's algorithm, Hopcroft's algorithm) or by reversal and determinization (Brzozowski's algorithm). In the coalgebraic perspective, the first approach can be phrased in terms of a minimization construction along the final sequence of a functor, whereas a crucial part of the second approach is based on a reachability construction along the initial sequence of another functor. We employ this coalgebraic perspective to establish a precise relationship between the two approaches to minimization, and show how they can be combined. Part of these results are extended to an approach for language equivalence of a general class of systems with branching, such as non-deterministic automata." @default.
- W2528624809 created "2016-10-14" @default.
- W2528624809 creator A5015520868 @default.
- W2528624809 date "2016-10-01" @default.
- W2528624809 modified "2023-09-25" @default.
- W2528624809 title "Coalgebraic Minimization of Automata by Initiality and Finality" @default.
- W2528624809 cites W1969533183 @default.
- W2528624809 cites W1992050455 @default.
- W2528624809 cites W2076634344 @default.
- W2528624809 cites W2086788473 @default.
- W2528624809 cites W2088189323 @default.
- W2528624809 cites W2098962004 @default.
- W2528624809 cites W2138769606 @default.
- W2528624809 doi "https://doi.org/10.1016/j.entcs.2016.09.042" @default.
- W2528624809 hasPublicationYear "2016" @default.
- W2528624809 type Work @default.
- W2528624809 sameAs 2528624809 @default.
- W2528624809 citedByCount "7" @default.
- W2528624809 countsByYear W25286248092017 @default.
- W2528624809 countsByYear W25286248092018 @default.
- W2528624809 countsByYear W25286248092020 @default.
- W2528624809 countsByYear W25286248092021 @default.
- W2528624809 countsByYear W25286248092023 @default.
- W2528624809 crossrefType "journal-article" @default.
- W2528624809 hasAuthorship W2528624809A5015520868 @default.
- W2528624809 hasBestOaLocation W25286248091 @default.
- W2528624809 hasConcept C112505250 @default.
- W2528624809 hasConcept C11413529 @default.
- W2528624809 hasConcept C114614502 @default.
- W2528624809 hasConcept C118615104 @default.
- W2528624809 hasConcept C12713177 @default.
- W2528624809 hasConcept C136119220 @default.
- W2528624809 hasConcept C136643341 @default.
- W2528624809 hasConcept C147764199 @default.
- W2528624809 hasConcept C154945302 @default.
- W2528624809 hasConcept C156772000 @default.
- W2528624809 hasConcept C194525867 @default.
- W2528624809 hasConcept C199360897 @default.
- W2528624809 hasConcept C202444582 @default.
- W2528624809 hasConcept C2777212361 @default.
- W2528624809 hasConcept C2778112365 @default.
- W2528624809 hasConcept C2780069185 @default.
- W2528624809 hasConcept C33923547 @default.
- W2528624809 hasConcept C41008148 @default.
- W2528624809 hasConcept C42812 @default.
- W2528624809 hasConcept C54355233 @default.
- W2528624809 hasConcept C80444323 @default.
- W2528624809 hasConcept C86803240 @default.
- W2528624809 hasConceptScore W2528624809C112505250 @default.
- W2528624809 hasConceptScore W2528624809C11413529 @default.
- W2528624809 hasConceptScore W2528624809C114614502 @default.
- W2528624809 hasConceptScore W2528624809C118615104 @default.
- W2528624809 hasConceptScore W2528624809C12713177 @default.
- W2528624809 hasConceptScore W2528624809C136119220 @default.
- W2528624809 hasConceptScore W2528624809C136643341 @default.
- W2528624809 hasConceptScore W2528624809C147764199 @default.
- W2528624809 hasConceptScore W2528624809C154945302 @default.
- W2528624809 hasConceptScore W2528624809C156772000 @default.
- W2528624809 hasConceptScore W2528624809C194525867 @default.
- W2528624809 hasConceptScore W2528624809C199360897 @default.
- W2528624809 hasConceptScore W2528624809C202444582 @default.
- W2528624809 hasConceptScore W2528624809C2777212361 @default.
- W2528624809 hasConceptScore W2528624809C2778112365 @default.
- W2528624809 hasConceptScore W2528624809C2780069185 @default.
- W2528624809 hasConceptScore W2528624809C33923547 @default.
- W2528624809 hasConceptScore W2528624809C41008148 @default.
- W2528624809 hasConceptScore W2528624809C42812 @default.
- W2528624809 hasConceptScore W2528624809C54355233 @default.
- W2528624809 hasConceptScore W2528624809C80444323 @default.
- W2528624809 hasConceptScore W2528624809C86803240 @default.
- W2528624809 hasLocation W25286248091 @default.
- W2528624809 hasLocation W25286248092 @default.
- W2528624809 hasLocation W25286248093 @default.
- W2528624809 hasOpenAccess W2528624809 @default.
- W2528624809 hasPrimaryLocation W25286248091 @default.
- W2528624809 hasRelatedWork W1973678919 @default.
- W2528624809 hasRelatedWork W1986640705 @default.
- W2528624809 hasRelatedWork W2124211751 @default.
- W2528624809 hasRelatedWork W2127219675 @default.
- W2528624809 hasRelatedWork W2368796975 @default.
- W2528624809 hasRelatedWork W2767726968 @default.
- W2528624809 hasRelatedWork W2964091195 @default.
- W2528624809 hasRelatedWork W3046613010 @default.
- W2528624809 hasRelatedWork W3138334597 @default.
- W2528624809 hasRelatedWork W2084084504 @default.
- W2528624809 hasVolume "325" @default.
- W2528624809 isParatext "false" @default.
- W2528624809 isRetracted "false" @default.
- W2528624809 magId "2528624809" @default.
- W2528624809 workType "article" @default.