Matches in SemOpenAlex for { <https://semopenalex.org/work/W4232076219> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W4232076219 endingPage "405" @default.
- W4232076219 startingPage "385" @default.
- W4232076219 abstract "Abstract Different classes of automata on infinite words have different expressive power. Deciding whether a given language $$L subseteq varSigma ^omega $$ <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML><mml:mrow><mml:mi>L</mml:mi><mml:mo>⊆</mml:mo><mml:msup><mml:mi>Σ</mml:mi><mml:mi>ω</mml:mi></mml:msup></mml:mrow></mml:math> can be expressed by an automaton of a desired class can be reduced to deciding a game between Prover and Refuter: in each turn of the game, Refuter provides a letter in $$varSigma $$ <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML><mml:mi>Σ</mml:mi></mml:math> , and Prover responds with an annotation of the current state of the run (for example, in the case of Büchi automata, whether the state is accepting or rejecting, and in the case of parity automata, what the color of the state is). Prover wins if the sequence of annotations she generates is correct: it is an accepting run iff the word generated by Refuter is in L . We show how a winning strategy for Refuter can serve as a simple and easy-to-understand certificate to inexpressibility, and how it induces additional forms of certificates. Our framework handles all classes of deterministic automata, including ones with structural restrictions like weak automata. In addition, it can be used for refuting separation of two languages by an automaton of the desired class, and for finding automata that approximate L and belong to the desired class." @default.
- W4232076219 created "2022-05-12" @default.
- W4232076219 creator A5026672117 @default.
- W4232076219 creator A5077429082 @default.
- W4232076219 date "2021-01-01" @default.
- W4232076219 modified "2023-09-27" @default.
- W4232076219 title "Certifying Inexpressibility" @default.
- W4232076219 cites W117768600 @default.
- W4232076219 cites W135426567 @default.
- W4232076219 cites W1504137062 @default.
- W4232076219 cites W1516066014 @default.
- W4232076219 cites W1560050980 @default.
- W4232076219 cites W1570288637 @default.
- W4232076219 cites W1605190994 @default.
- W4232076219 cites W1640973035 @default.
- W4232076219 cites W1849255017 @default.
- W4232076219 cites W1975657455 @default.
- W4232076219 cites W1984478483 @default.
- W4232076219 cites W1990609140 @default.
- W4232076219 cites W2003940577 @default.
- W4232076219 cites W2007464118 @default.
- W4232076219 cites W2020617153 @default.
- W4232076219 cites W2031592188 @default.
- W4232076219 cites W2051621669 @default.
- W4232076219 cites W2087593009 @default.
- W4232076219 cites W2088432971 @default.
- W4232076219 cites W2094912129 @default.
- W4232076219 cites W2116820075 @default.
- W4232076219 cites W2127574686 @default.
- W4232076219 cites W2140847885 @default.
- W4232076219 cites W2163151383 @default.
- W4232076219 cites W2305184423 @default.
- W4232076219 cites W2596765965 @default.
- W4232076219 cites W2758563093 @default.
- W4232076219 cites W2803455449 @default.
- W4232076219 cites W2803993242 @default.
- W4232076219 cites W2804031838 @default.
- W4232076219 cites W2810421936 @default.
- W4232076219 cites W3114817139 @default.
- W4232076219 cites W3116923949 @default.
- W4232076219 cites W3125273501 @default.
- W4232076219 cites W4212901716 @default.
- W4232076219 cites W4250884204 @default.
- W4232076219 doi "https://doi.org/10.1007/978-3-030-71995-1_20" @default.
- W4232076219 hasPublicationYear "2021" @default.
- W4232076219 type Work @default.
- W4232076219 citedByCount "3" @default.
- W4232076219 countsByYear W42320762192021 @default.
- W4232076219 countsByYear W42320762192022 @default.
- W4232076219 countsByYear W42320762192023 @default.
- W4232076219 crossrefType "book-chapter" @default.
- W4232076219 hasAuthorship W4232076219A5026672117 @default.
- W4232076219 hasAuthorship W4232076219A5077429082 @default.
- W4232076219 hasBestOaLocation W42320762191 @default.
- W4232076219 hasConcept C108710211 @default.
- W4232076219 hasConcept C112505250 @default.
- W4232076219 hasConcept C11413529 @default.
- W4232076219 hasConcept C118615104 @default.
- W4232076219 hasConcept C154945302 @default.
- W4232076219 hasConcept C159718280 @default.
- W4232076219 hasConcept C2524010 @default.
- W4232076219 hasConcept C2777212361 @default.
- W4232076219 hasConcept C33923547 @default.
- W4232076219 hasConcept C41008148 @default.
- W4232076219 hasConcept C80444323 @default.
- W4232076219 hasConcept C96865113 @default.
- W4232076219 hasConceptScore W4232076219C108710211 @default.
- W4232076219 hasConceptScore W4232076219C112505250 @default.
- W4232076219 hasConceptScore W4232076219C11413529 @default.
- W4232076219 hasConceptScore W4232076219C118615104 @default.
- W4232076219 hasConceptScore W4232076219C154945302 @default.
- W4232076219 hasConceptScore W4232076219C159718280 @default.
- W4232076219 hasConceptScore W4232076219C2524010 @default.
- W4232076219 hasConceptScore W4232076219C2777212361 @default.
- W4232076219 hasConceptScore W4232076219C33923547 @default.
- W4232076219 hasConceptScore W4232076219C41008148 @default.
- W4232076219 hasConceptScore W4232076219C80444323 @default.
- W4232076219 hasConceptScore W4232076219C96865113 @default.
- W4232076219 hasLocation W42320762191 @default.
- W4232076219 hasLocation W42320762192 @default.
- W4232076219 hasOpenAccess W4232076219 @default.
- W4232076219 hasPrimaryLocation W42320762191 @default.
- W4232076219 hasRelatedWork W153904579 @default.
- W4232076219 hasRelatedWork W183379965 @default.
- W4232076219 hasRelatedWork W2330733397 @default.
- W4232076219 hasRelatedWork W2368796975 @default.
- W4232076219 hasRelatedWork W2401454009 @default.
- W4232076219 hasRelatedWork W3140454877 @default.
- W4232076219 hasRelatedWork W3164823035 @default.
- W4232076219 hasRelatedWork W3174634921 @default.
- W4232076219 hasRelatedWork W4302981183 @default.
- W4232076219 hasRelatedWork W2602338684 @default.
- W4232076219 isParatext "false" @default.
- W4232076219 isRetracted "false" @default.
- W4232076219 workType "book-chapter" @default.