FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3027886768> ?p ?o ?g. }

• W3027886768 endingPage "127" @default.
• W3027886768 startingPage "89" @default.
• W3027886768 abstract "Recently, two apparently quite different duality-based approaches to automata minimisation have appeared. One is based on ideas that originated from the controllability-observability duality from systems theory, and the other is based on ideas derived from Stone-type dualities specifically linking coalgebras with algebraic structures derived from modal logics. In the present paper, we develop a more abstract view and unify the two approaches. We show that dualities, or more generally dual adjunctions, between categories can be lifted to dual adjunctions between categories of coalgebras and algebras, and from there to automata with initial as well as final states. As in the Stone-duality approach, algebras are essentially logics for reasoning about the automata. By exploiting the ability to pass between these categories, we show that one can minimize the corresponding automata. We give an abstract minimisation algorithm that has several instances, including the celebrated Brzozowski minimisation algorithm. We further develop three examples that have been treated in previous works: deterministic Kripke frames based on a Stone-type duality, weighted automata based on the self-duality of semimodules, and topological automata based on Gelfand duality. As a new example, we develop alternating automata based on the discrete duality between sets and complete atomic Boolean algebras." @default.
• W3027886768 created "2020-05-29" @default.
• W3027886768 creator A5007089889 @default.
• W3027886768 creator A5028076905 @default.
• W3027886768 creator A5029314584 @default.
• W3027886768 creator A5045687469 @default.
• W3027886768 creator A5053923311 @default.
• W3027886768 creator A5058618165 @default.
• W3027886768 creator A5068822568 @default.
• W3027886768 date "2023-01-01" @default.
• W3027886768 modified "2023-10-16" @default.
• W3027886768 title "Minimisation in Logical Form" @default.
• W3027886768 cites W109180551 @default.
• W3027886768 cites W1501768223 @default.
• W3027886768 cites W1510082095 @default.
• W3027886768 cites W1525647423 @default.
• W3027886768 cites W1561701483 @default.
• W3027886768 cites W1568599313 @default.
• W3027886768 cites W1724302595 @default.
• W3027886768 cites W1972892796 @default.
• W3027886768 cites W1975653808 @default.
• W3027886768 cites W1975847612 @default.
• W3027886768 cites W1983309848 @default.
• W3027886768 cites W1984151763 @default.
• W3027886768 cites W2008285256 @default.
• W3027886768 cites W2026191634 @default.
• W3027886768 cites W2028110117 @default.
• W3027886768 cites W2040247099 @default.
• W3027886768 cites W2040756224 @default.
• W3027886768 cites W2053662828 @default.
• W3027886768 cites W2063230375 @default.
• W3027886768 cites W2086788473 @default.
• W3027886768 cites W2088189323 @default.
• W3027886768 cites W2120529054 @default.
• W3027886768 cites W2120713972 @default.
• W3027886768 cites W2123724019 @default.
• W3027886768 cites W2130655577 @default.
• W3027886768 cites W2138769606 @default.
• W3027886768 cites W2139772363 @default.
• W3027886768 cites W2139845245 @default.
• W3027886768 cites W2148744216 @default.
• W3027886768 cites W2156316905 @default.
• W3027886768 cites W2157657301 @default.
• W3027886768 cites W2178359813 @default.
• W3027886768 cites W2285940584 @default.
• W3027886768 cites W2295444426 @default.
• W3027886768 cites W2493333586 @default.
• W3027886768 cites W2496522058 @default.
• W3027886768 cites W2528624809 @default.
• W3027886768 cites W2887053799 @default.
• W3027886768 cites W2905780452 @default.
• W3027886768 cites W2952160849 @default.
• W3027886768 cites W4211144022 @default.
• W3027886768 cites W4213084408 @default.
• W3027886768 cites W4236119664 @default.
• W3027886768 cites W4241108585 @default.
• W3027886768 cites W4251893211 @default.
• W3027886768 cites W4362192038 @default.
• W3027886768 cites W69808434 @default.
• W3027886768 doi "https://doi.org/10.1007/978-3-031-24117-8_3" @default.
• W3027886768 hasPublicationYear "2023" @default.
• W3027886768 type Work @default.
• W3027886768 sameAs 3027886768 @default.
• W3027886768 citedByCount "5" @default.
• W3027886768 countsByYear W30278867682020 @default.
• W3027886768 countsByYear W30278867682021 @default.
• W3027886768 countsByYear W30278867682022 @default.
• W3027886768 crossrefType "book-chapter" @default.
• W3027886768 hasAuthorship W3027886768A5007089889 @default.
• W3027886768 hasAuthorship W3027886768A5028076905 @default.
• W3027886768 hasAuthorship W3027886768A5029314584 @default.
• W3027886768 hasAuthorship W3027886768A5045687469 @default.
• W3027886768 hasAuthorship W3027886768A5053923311 @default.
• W3027886768 hasAuthorship W3027886768A5058618165 @default.
• W3027886768 hasAuthorship W3027886768A5068822568 @default.
• W3027886768 hasConcept C105795698 @default.
• W3027886768 hasConcept C112505250 @default.
• W3027886768 hasConcept C118615104 @default.
• W3027886768 hasConcept C136119220 @default.
• W3027886768 hasConcept C202444582 @default.
• W3027886768 hasConcept C2778023678 @default.
• W3027886768 hasConcept C28826006 @default.
• W3027886768 hasConcept C33923547 @default.
• W3027886768 hasConcept C41008148 @default.
• W3027886768 hasConcept C48209547 @default.
• W3027886768 hasConcept C80444323 @default.
• W3027886768 hasConcept C86941820 @default.
• W3027886768 hasConceptScore W3027886768C105795698 @default.
• W3027886768 hasConceptScore W3027886768C112505250 @default.
• W3027886768 hasConceptScore W3027886768C118615104 @default.
• W3027886768 hasConceptScore W3027886768C136119220 @default.
• W3027886768 hasConceptScore W3027886768C202444582 @default.
• W3027886768 hasConceptScore W3027886768C2778023678 @default.
• W3027886768 hasConceptScore W3027886768C28826006 @default.
• W3027886768 hasConceptScore W3027886768C33923547 @default.
• W3027886768 hasConceptScore W3027886768C41008148 @default.
• W3027886768 hasConceptScore W3027886768C48209547 @default.
• W3027886768 hasConceptScore W3027886768C80444323 @default.

• next