FRINK Linked Data Fragments server

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

• W2103500400 endingPage "484" @default.
• W2103500400 startingPage "469" @default.
• W2103500400 abstract "This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are used, in particular, as symbolic data structures for representing sets definable in the first-order theory 〈ℝ, ℤ, + , ≤ 〉, i.e., the mixed additive arithmetic of integer and real variables. They also lead to a simple decision procedure for this arithmetic.In previous work, it has been established that the sets definable in 〈ℝ, ℤ, + , ≤ 〉 can be handled by a restricted form of infinite-word automata, weak deterministic ones, regardless of the chosen numeration base. In this paper, we address the reciprocal property, proving that the sets of vectors that are simultaneously recognizable in all bases, by either weak deterministic or Muller automata, are those definable in 〈ℝ, ℤ, + , ≤ 〉. This result can be seen as a generalization to the mixed integer and real domain of Semenov’s theorem, which characterizes the sets of integer vectors recognizable by finite automata in multiple bases. It also extends to multidimensional vectors a similar property recently established for sets of numbers.As an additional contribution, the techniques used for obtaining our main result lead to valuable insight into the internal structure of automata recognizing sets of vectors definable in 〈ℝ, ℤ, + , ≤ 〉. This structure might be exploited in order to improve the efficiency of representation systems and decision procedures for this arithmetic." @default.
• W2103500400 created "2016-06-24" @default.
• W2103500400 creator A5014652670 @default.
• W2103500400 creator A5061174789 @default.
• W2103500400 creator A5078094550 @default.
• W2103500400 date "2009-01-01" @default.
• W2103500400 modified "2023-10-17" @default.
• W2103500400 title "A Generalization of Semenov’s Theorem to Automata over Real Numbers" @default.
• W2103500400 cites W1506225460 @default.
• W2103500400 cites W1513644114 @default.
• W2103500400 cites W1520624628 @default.
• W2103500400 cites W1554242981 @default.
• W2103500400 cites W1561138645 @default.
• W2103500400 cites W1679728107 @default.
• W2103500400 cites W1966686249 @default.
• W2103500400 cites W2008644136 @default.
• W2103500400 cites W2030224590 @default.
• W2103500400 cites W2030999998 @default.
• W2103500400 cites W2060372782 @default.
• W2103500400 cites W2103500400 @default.
• W2103500400 cites W2116820075 @default.
• W2103500400 cites W2163696969 @default.
• W2103500400 cites W2165231213 @default.
• W2103500400 doi "https://doi.org/10.1007/978-3-642-02959-2_34" @default.
• W2103500400 hasPublicationYear "2009" @default.
• W2103500400 type Work @default.
• W2103500400 sameAs 2103500400 @default.
• W2103500400 citedByCount "22" @default.
• W2103500400 countsByYear W21035004002012 @default.
• W2103500400 countsByYear W21035004002013 @default.
• W2103500400 countsByYear W21035004002014 @default.
• W2103500400 countsByYear W21035004002016 @default.
• W2103500400 countsByYear W21035004002017 @default.
• W2103500400 countsByYear W21035004002018 @default.
• W2103500400 countsByYear W21035004002019 @default.
• W2103500400 countsByYear W21035004002020 @default.
• W2103500400 countsByYear W21035004002021 @default.
• W2103500400 countsByYear W21035004002022 @default.
• W2103500400 crossrefType "book-chapter" @default.
• W2103500400 hasAuthorship W2103500400A5014652670 @default.
• W2103500400 hasAuthorship W2103500400A5061174789 @default.
• W2103500400 hasAuthorship W2103500400A5078094550 @default.
• W2103500400 hasBestOaLocation W21035004002 @default.
• W2103500400 hasConcept C112505250 @default.
• W2103500400 hasConcept C11413529 @default.
• W2103500400 hasConcept C116248031 @default.
• W2103500400 hasConcept C118615104 @default.
• W2103500400 hasConcept C134306372 @default.
• W2103500400 hasConcept C167822520 @default.
• W2103500400 hasConcept C174327141 @default.
• W2103500400 hasConcept C177148314 @default.
• W2103500400 hasConcept C17744445 @default.
• W2103500400 hasConcept C199360897 @default.
• W2103500400 hasConcept C199539241 @default.
• W2103500400 hasConcept C2776359362 @default.
• W2103500400 hasConcept C33923547 @default.
• W2103500400 hasConcept C41008148 @default.
• W2103500400 hasConcept C42058472 @default.
• W2103500400 hasConcept C80444323 @default.
• W2103500400 hasConcept C94625758 @default.
• W2103500400 hasConcept C97137487 @default.
• W2103500400 hasConceptScore W2103500400C112505250 @default.
• W2103500400 hasConceptScore W2103500400C11413529 @default.
• W2103500400 hasConceptScore W2103500400C116248031 @default.
• W2103500400 hasConceptScore W2103500400C118615104 @default.
• W2103500400 hasConceptScore W2103500400C134306372 @default.
• W2103500400 hasConceptScore W2103500400C167822520 @default.
• W2103500400 hasConceptScore W2103500400C174327141 @default.
• W2103500400 hasConceptScore W2103500400C177148314 @default.
• W2103500400 hasConceptScore W2103500400C17744445 @default.
• W2103500400 hasConceptScore W2103500400C199360897 @default.
• W2103500400 hasConceptScore W2103500400C199539241 @default.
• W2103500400 hasConceptScore W2103500400C2776359362 @default.
• W2103500400 hasConceptScore W2103500400C33923547 @default.
• W2103500400 hasConceptScore W2103500400C41008148 @default.
• W2103500400 hasConceptScore W2103500400C42058472 @default.
• W2103500400 hasConceptScore W2103500400C80444323 @default.
• W2103500400 hasConceptScore W2103500400C94625758 @default.
• W2103500400 hasConceptScore W2103500400C97137487 @default.
• W2103500400 hasLocation W21035004001 @default.
• W2103500400 hasLocation W21035004002 @default.
• W2103500400 hasLocation W21035004003 @default.
• W2103500400 hasLocation W21035004004 @default.
• W2103500400 hasLocation W21035004005 @default.
• W2103500400 hasLocation W21035004006 @default.
• W2103500400 hasOpenAccess W2103500400 @default.
• W2103500400 hasPrimaryLocation W21035004001 @default.
• W2103500400 hasRelatedWork W1524267824 @default.
• W2103500400 hasRelatedWork W201862490 @default.
• W2103500400 hasRelatedWork W2024421699 @default.
• W2103500400 hasRelatedWork W2058117339 @default.
• W2103500400 hasRelatedWork W2133073401 @default.
• W2103500400 hasRelatedWork W2154962336 @default.
• W2103500400 hasRelatedWork W2953483754 @default.
• W2103500400 hasRelatedWork W2963823488 @default.
• W2103500400 hasRelatedWork W4210940113 @default.
• W2103500400 hasRelatedWork W42926958 @default.
• W2103500400 isParatext "false" @default.

• next