Matches in SemOpenAlex for { <https://semopenalex.org/work/W1642494310> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1642494310 abstract "In this report we study the problem of minimising deterministic automata over finite and infinite words. Deterministic finite automata are the simplest devices to recognise regular languages, and deterministic Buchi, Co-Buchi, and parity automata play a similar role in the recognition of omega-regular languages. While it is well known that the minimisation of deterministic finite and weak automata is cheap, the complexity of minimising deterministic Buchi and parity automata has remained an open challenge. We establish the NP-completeness of these problems. A second contribution of this report is the introduction of relaxed minimisation of deterministic finite automata. Like hyper-minimisation, relaxed minimisation allows for some changes in the language of the automaton: We seek a smallest automaton that, when used as a monitor, provides a wrong answer only a bounded number of times in any run of a system. We argue that minimisation of finite automata, hyper-minimisation, relaxed minimisation, and the minimisation of deterministic Buchi (or Co-Buchi) automata are operations of increasing reduction power, as the respective equivalence relations on automata become coarser from left to right. When we allow for minor changes in the language, relaxed minimisation can therefore be considered as a more powerful minimisation technique than hyper-minimisation from the perspective of finite automata. From the perspective of Buchi and Co-Buchi automata, we gain a cheap algorithm for state-space reduction that also turns out to be beneficial for further heuristic or exhaustive state-space reductions put on top of it." @default.
- W1642494310 created "2016-06-24" @default.
- W1642494310 creator A5041836791 @default.
- W1642494310 date "2010-07-08" @default.
- W1642494310 modified "2023-09-27" @default.
- W1642494310 title "Minimisation of Deterministic Parity and Buchi Automata and Relative Minimisation of Deterministic Finite Automata" @default.
- W1642494310 cites W1547864995 @default.
- W1642494310 cites W1610578937 @default.
- W1642494310 cites W1989148126 @default.
- W1642494310 cites W1989863177 @default.
- W1642494310 cites W2002089154 @default.
- W1642494310 cites W2043360684 @default.
- W1642494310 cites W2090431024 @default.
- W1642494310 cites W2098035530 @default.
- W1642494310 hasPublicationYear "2010" @default.
- W1642494310 type Work @default.
- W1642494310 sameAs 1642494310 @default.
- W1642494310 citedByCount "1" @default.
- W1642494310 countsByYear W16424943102016 @default.
- W1642494310 crossrefType "posted-content" @default.
- W1642494310 hasAuthorship W1642494310A5041836791 @default.
- W1642494310 hasConcept C105795698 @default.
- W1642494310 hasConcept C112505250 @default.
- W1642494310 hasConcept C11413529 @default.
- W1642494310 hasConcept C116248031 @default.
- W1642494310 hasConcept C118615104 @default.
- W1642494310 hasConcept C165753454 @default.
- W1642494310 hasConcept C167822520 @default.
- W1642494310 hasConcept C174327141 @default.
- W1642494310 hasConcept C194525867 @default.
- W1642494310 hasConcept C33923547 @default.
- W1642494310 hasConcept C41008148 @default.
- W1642494310 hasConcept C80444323 @default.
- W1642494310 hasConcept C86941820 @default.
- W1642494310 hasConceptScore W1642494310C105795698 @default.
- W1642494310 hasConceptScore W1642494310C112505250 @default.
- W1642494310 hasConceptScore W1642494310C11413529 @default.
- W1642494310 hasConceptScore W1642494310C116248031 @default.
- W1642494310 hasConceptScore W1642494310C118615104 @default.
- W1642494310 hasConceptScore W1642494310C165753454 @default.
- W1642494310 hasConceptScore W1642494310C167822520 @default.
- W1642494310 hasConceptScore W1642494310C174327141 @default.
- W1642494310 hasConceptScore W1642494310C194525867 @default.
- W1642494310 hasConceptScore W1642494310C33923547 @default.
- W1642494310 hasConceptScore W1642494310C41008148 @default.
- W1642494310 hasConceptScore W1642494310C80444323 @default.
- W1642494310 hasConceptScore W1642494310C86941820 @default.
- W1642494310 hasLocation W16424943101 @default.
- W1642494310 hasOpenAccess W1642494310 @default.
- W1642494310 hasPrimaryLocation W16424943101 @default.
- W1642494310 hasRelatedWork W1570288637 @default.
- W1642494310 hasRelatedWork W1606050265 @default.
- W1642494310 hasRelatedWork W2004898185 @default.
- W1642494310 hasRelatedWork W2157017998 @default.
- W1642494310 hasRelatedWork W2173305072 @default.
- W1642494310 hasRelatedWork W2677199248 @default.
- W1642494310 hasRelatedWork W2788636948 @default.
- W1642494310 hasRelatedWork W2901103347 @default.
- W1642494310 hasRelatedWork W2907557140 @default.
- W1642494310 hasRelatedWork W2966079298 @default.
- W1642494310 hasRelatedWork W3114817139 @default.
- W1642494310 hasRelatedWork W3134046426 @default.
- W1642494310 hasRelatedWork W3168987741 @default.
- W1642494310 hasRelatedWork W3194530673 @default.
- W1642494310 hasRelatedWork W3209808760 @default.
- W1642494310 hasRelatedWork W381703276 @default.
- W1642494310 hasRelatedWork W72530425 @default.
- W1642494310 hasRelatedWork W89930413 @default.
- W1642494310 hasRelatedWork W1819460583 @default.
- W1642494310 hasRelatedWork W2296674726 @default.
- W1642494310 isParatext "false" @default.
- W1642494310 isRetracted "false" @default.
- W1642494310 magId "1642494310" @default.
- W1642494310 workType "article" @default.