Matches in SemOpenAlex for { <https://semopenalex.org/work/W2947201609> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2947201609 abstract "Register automata extend classical finite automata with a finite set of registers that can store data from an infinite data domain for later equality comparisons with data from an input data word. While the registers in the original model of register automata, introduced in 1994 by Kaminski and Francez, can only store data occurring in the data word processed so far, we study here the more expressive class of register automata with guessing, where registers can nondeterministically take any value from the infinite data domain, even if this data does not occur in the input data word. It is well known that the containment problem, i.e., the problem of deciding for two given register automata with guessing A and B, whether the language L(A) accepted by A is contained in the language L(B) accepted by B, is undecidable, even if B only uses a single register. We prove that the problem is decidable if B is unambiguous and uses a single register." @default.
- W2947201609 created "2019-06-07" @default.
- W2947201609 creator A5021389919 @default.
- W2947201609 creator A5066136949 @default.
- W2947201609 date "2019-05-28" @default.
- W2947201609 modified "2023-09-27" @default.
- W2947201609 title "On the Containment Problem for Unambiguous Single-Register Automata with Guessing" @default.
- W2947201609 cites W1108093586 @default.
- W2947201609 cites W2056665285 @default.
- W2947201609 cites W2070934866 @default.
- W2947201609 cites W2081396910 @default.
- W2947201609 cites W2148906857 @default.
- W2947201609 cites W2177814128 @default.
- W2947201609 cites W2889973542 @default.
- W2947201609 cites W2926815817 @default.
- W2947201609 hasPublicationYear "2019" @default.
- W2947201609 type Work @default.
- W2947201609 sameAs 2947201609 @default.
- W2947201609 citedByCount "1" @default.
- W2947201609 countsByYear W29472016092021 @default.
- W2947201609 crossrefType "posted-content" @default.
- W2947201609 hasAuthorship W2947201609A5021389919 @default.
- W2947201609 hasAuthorship W2947201609A5066136949 @default.
- W2947201609 hasConcept C112505250 @default.
- W2947201609 hasConcept C118615104 @default.
- W2947201609 hasConcept C134306372 @default.
- W2947201609 hasConcept C138885662 @default.
- W2947201609 hasConcept C153269930 @default.
- W2947201609 hasConcept C177264268 @default.
- W2947201609 hasConcept C192034797 @default.
- W2947201609 hasConcept C199360897 @default.
- W2947201609 hasConcept C2524010 @default.
- W2947201609 hasConcept C2777019822 @default.
- W2947201609 hasConcept C2779235478 @default.
- W2947201609 hasConcept C33923547 @default.
- W2947201609 hasConcept C36503486 @default.
- W2947201609 hasConcept C41008148 @default.
- W2947201609 hasConcept C41895202 @default.
- W2947201609 hasConcept C80444323 @default.
- W2947201609 hasConcept C90805587 @default.
- W2947201609 hasConceptScore W2947201609C112505250 @default.
- W2947201609 hasConceptScore W2947201609C118615104 @default.
- W2947201609 hasConceptScore W2947201609C134306372 @default.
- W2947201609 hasConceptScore W2947201609C138885662 @default.
- W2947201609 hasConceptScore W2947201609C153269930 @default.
- W2947201609 hasConceptScore W2947201609C177264268 @default.
- W2947201609 hasConceptScore W2947201609C192034797 @default.
- W2947201609 hasConceptScore W2947201609C199360897 @default.
- W2947201609 hasConceptScore W2947201609C2524010 @default.
- W2947201609 hasConceptScore W2947201609C2777019822 @default.
- W2947201609 hasConceptScore W2947201609C2779235478 @default.
- W2947201609 hasConceptScore W2947201609C33923547 @default.
- W2947201609 hasConceptScore W2947201609C36503486 @default.
- W2947201609 hasConceptScore W2947201609C41008148 @default.
- W2947201609 hasConceptScore W2947201609C41895202 @default.
- W2947201609 hasConceptScore W2947201609C80444323 @default.
- W2947201609 hasConceptScore W2947201609C90805587 @default.
- W2947201609 hasLocation W29472016091 @default.
- W2947201609 hasOpenAccess W2947201609 @default.
- W2947201609 hasPrimaryLocation W29472016091 @default.
- W2947201609 hasRelatedWork W1583868682 @default.
- W2947201609 hasRelatedWork W1984151763 @default.
- W2947201609 hasRelatedWork W2006337571 @default.
- W2947201609 hasRelatedWork W2028755743 @default.
- W2947201609 hasRelatedWork W2080158894 @default.
- W2947201609 hasRelatedWork W2129234946 @default.
- W2947201609 hasRelatedWork W2534478229 @default.
- W2947201609 hasRelatedWork W2563201274 @default.
- W2947201609 hasRelatedWork W2608771265 @default.
- W2947201609 hasRelatedWork W2791555385 @default.
- W2947201609 hasRelatedWork W2798896350 @default.
- W2947201609 hasRelatedWork W2952046824 @default.
- W2947201609 hasRelatedWork W2952075952 @default.
- W2947201609 hasRelatedWork W2971120959 @default.
- W2947201609 hasRelatedWork W3007929825 @default.
- W2947201609 hasRelatedWork W3118758710 @default.
- W2947201609 hasRelatedWork W3127328961 @default.
- W2947201609 hasRelatedWork W3129827153 @default.
- W2947201609 hasRelatedWork W3137922667 @default.
- W2947201609 hasRelatedWork W3202622153 @default.
- W2947201609 isParatext "false" @default.
- W2947201609 isRetracted "false" @default.
- W2947201609 magId "2947201609" @default.
- W2947201609 workType "article" @default.