FRINK Linked Data Fragments server

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

• W3147969956 abstract "The deterministic membership problem for timed automata asks whether the timed language given by a nondeterministic timed automaton can be recognised by a deterministic timed automaton. An analogous problem can be stated in the setting of register automata. We draw the complete decidability/complexity landscape of the deterministic membership problem, in the setting of both register and timed automata. For register automata, we prove that the deterministic membership problem is decidable when the input automaton is a nondeterministic one-register automaton (possibly with epsilon transitions) and the number of registers of the output deterministic register automaton is fixed. This is optimal: We show that in all the other cases the problem is undecidable, i.e., when either (1) the input nondeterministic automaton has two registers or more (even without epsilon transitions), or (2) it uses guessing, or (3) the number of registers of the output deterministic automaton is not fixed. The landscape for timed automata follows a similar pattern. We show that the problem is decidable when the input automaton is a one-clock nondeterministic timed automaton without epsilon transitions and the number of clocks of the output deterministic timed automaton is fixed. Again, this is optimal: We show that the problem in all the other cases is undecidable, i.e., when either (1) the input nondeterministic timed automaton has two clocks or more, or (2) it uses epsilon transitions, or (3) the number of clocks of the output deterministic automaton is not fixed." @default.
• W3147969956 created "2021-04-13" @default.
• W3147969956 creator A5013469049 @default.
• W3147969956 creator A5045932502 @default.
• W3147969956 creator A5074542253 @default.
• W3147969956 date "2022-05-10" @default.
• W3147969956 modified "2023-10-01" @default.
• W3147969956 title "Determinisability of register and timed automata" @default.
• W3147969956 cites W1485181793 @default.
• W3147969956 cites W1492412487 @default.
• W3147969956 cites W1496022251 @default.
• W3147969956 cites W1520192974 @default.
• W3147969956 cites W1529045198 @default.
• W3147969956 cites W1561798411 @default.
• W3147969956 cites W1589082502 @default.
• W3147969956 cites W1606824214 @default.
• W3147969956 cites W1764313412 @default.
• W3147969956 cites W1930660098 @default.
• W3147969956 cites W1964297656 @default.
• W3147969956 cites W2008435081 @default.
• W3147969956 cites W2022782983 @default.
• W3147969956 cites W2056665285 @default.
• W3147969956 cites W2079601390 @default.
• W3147969956 cites W2083964867 @default.
• W3147969956 cites W2101508170 @default.
• W3147969956 cites W2139101939 @default.
• W3147969956 cites W2142270469 @default.
• W3147969956 cites W2144186266 @default.
• W3147969956 cites W2144360108 @default.
• W3147969956 cites W2148906857 @default.
• W3147969956 cites W2156016854 @default.
• W3147969956 cites W2157757085 @default.
• W3147969956 cites W2160527279 @default.
• W3147969956 cites W2164502223 @default.
• W3147969956 cites W2177814128 @default.
• W3147969956 cites W2489809986 @default.
• W3147969956 cites W2567702657 @default.
• W3147969956 cites W2808618195 @default.
• W3147969956 cites W2916184944 @default.
• W3147969956 cites W2951439219 @default.
• W3147969956 cites W2952380278 @default.
• W3147969956 cites W2962719417 @default.
• W3147969956 cites W2963008222 @default.
• W3147969956 cites W2963558624 @default.
• W3147969956 cites W2965049185 @default.
• W3147969956 cites W2969937245 @default.
• W3147969956 cites W2970789710 @default.
• W3147969956 cites W2981343893 @default.
• W3147969956 cites W3022641585 @default.
• W3147969956 cites W3030551326 @default.
• W3147969956 cites W3038019230 @default.
• W3147969956 cites W3082406058 @default.
• W3147969956 cites W3099647739 @default.
• W3147969956 cites W3103813054 @default.
• W3147969956 doi "https://doi.org/10.46298/lmcs-18(2:9)2022" @default.
• W3147969956 hasPublicationYear "2022" @default.
• W3147969956 type Work @default.
• W3147969956 sameAs 3147969956 @default.
• W3147969956 citedByCount "0" @default.
• W3147969956 crossrefType "journal-article" @default.
• W3147969956 hasAuthorship W3147969956A5013469049 @default.
• W3147969956 hasAuthorship W3147969956A5045932502 @default.
• W3147969956 hasAuthorship W3147969956A5074542253 @default.
• W3147969956 hasBestOaLocation W31479699561 @default.
• W3147969956 hasConcept C112505250 @default.
• W3147969956 hasConcept C11413529 @default.
• W3147969956 hasConcept C116248031 @default.
• W3147969956 hasConcept C118615104 @default.
• W3147969956 hasConcept C139423837 @default.
• W3147969956 hasConcept C153269930 @default.
• W3147969956 hasConcept C158008952 @default.
• W3147969956 hasConcept C165753454 @default.
• W3147969956 hasConcept C174327141 @default.
• W3147969956 hasConcept C176181172 @default.
• W3147969956 hasConcept C192034797 @default.
• W3147969956 hasConcept C194525867 @default.
• W3147969956 hasConcept C21720249 @default.
• W3147969956 hasConcept C30788636 @default.
• W3147969956 hasConcept C33923547 @default.
• W3147969956 hasConcept C41008148 @default.
• W3147969956 hasConcept C50348692 @default.
• W3147969956 hasConcept C77944639 @default.
• W3147969956 hasConcept C80444323 @default.
• W3147969956 hasConcept C92710233 @default.
• W3147969956 hasConceptScore W3147969956C112505250 @default.
• W3147969956 hasConceptScore W3147969956C11413529 @default.
• W3147969956 hasConceptScore W3147969956C116248031 @default.
• W3147969956 hasConceptScore W3147969956C118615104 @default.
• W3147969956 hasConceptScore W3147969956C139423837 @default.
• W3147969956 hasConceptScore W3147969956C153269930 @default.
• W3147969956 hasConceptScore W3147969956C158008952 @default.
• W3147969956 hasConceptScore W3147969956C165753454 @default.
• W3147969956 hasConceptScore W3147969956C174327141 @default.
• W3147969956 hasConceptScore W3147969956C176181172 @default.
• W3147969956 hasConceptScore W3147969956C192034797 @default.
• W3147969956 hasConceptScore W3147969956C194525867 @default.
• W3147969956 hasConceptScore W3147969956C21720249 @default.
• W3147969956 hasConceptScore W3147969956C30788636 @default.
• W3147969956 hasConceptScore W3147969956C33923547 @default.
• W3147969956 hasConceptScore W3147969956C41008148 @default.

• next