FRINK Linked Data Fragments server

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

• W3023763951 endingPage "236" @default.
• W3023763951 startingPage "217" @default.
• W3023763951 abstract "Abstract In this paper, we investigate the problem of synthesizing computable functions of infinite words over an infinite alphabet (data $$omega $$ <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML> <mml:mi>ω</mml:mi> </mml:math> -words). The notion of computability is defined through Turing machines with infinite inputs which can produce the corresponding infinite outputs in the limit. We use non-deterministic transducers equipped with registers, an extension of register automata with outputs, to specify functions. Such transducers may not define functions but more generally relations of data $$omega $$ <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML> <mml:mi>ω</mml:mi> </mml:math> -words, and we show that it is PS pace -complete to test whether a given transducer defines a function. Then, given a function defined by some register transducer, we show that it is decidable (and again, PS pace -c) whether such function is computable. As for the known finite alphabet case, we show that computability and continuity coincide for functions defined by register transducers, and show how to decide continuity. We also define a subclass for which those problems are PT ime ." @default.
• W3023763951 created "2020-05-13" @default.
• W3023763951 creator A5020202308 @default.
• W3023763951 creator A5049821685 @default.
• W3023763951 creator A5039842635 @default.
• W3023763951 date "2020-01-01" @default.
• W3023763951 modified "2023-10-12" @default.
• W3023763951 title "On Computability of Data Word Functions Defined by Transducers" @default.
• W3023763951 cites W1505482284 @default.
• W3023763951 cites W1612395604 @default.
• W3023763951 cites W1983865993 @default.
• W3023763951 cites W2002208751 @default.
• W3023763951 cites W2016206563 @default.
• W3023763951 cites W2030570029 @default.
• W3023763951 cites W2035338976 @default.
• W3023763951 cites W2056665285 @default.
• W3023763951 cites W2081396910 @default.
• W3023763951 cites W2164978227 @default.
• W3023763951 cites W2177814128 @default.
• W3023763951 cites W2465734435 @default.
• W3023763951 cites W2885898631 @default.
• W3023763951 cites W2890971156 @default.
• W3023763951 cites W2962888479 @default.
• W3023763951 cites W2971169583 @default.
• W3023763951 cites W3106157995 @default.
• W3023763951 cites W4231624530 @default.
• W3023763951 cites W4247144903 @default.
• W3023763951 cites W4288255922 @default.
• W3023763951 doi "https://doi.org/10.1007/978-3-030-45231-5_12" @default.
• W3023763951 hasPublicationYear "2020" @default.
• W3023763951 type Work @default.
• W3023763951 sameAs 3023763951 @default.
• W3023763951 citedByCount "1" @default.
• W3023763951 countsByYear W30237639512019 @default.
• W3023763951 crossrefType "book-chapter" @default.
• W3023763951 hasAuthorship W3023763951A5020202308 @default.
• W3023763951 hasAuthorship W3023763951A5039842635 @default.
• W3023763951 hasAuthorship W3023763951A5049821685 @default.
• W3023763951 hasBestOaLocation W30237639511 @default.
• W3023763951 hasConcept C112505250 @default.
• W3023763951 hasConcept C112876837 @default.
• W3023763951 hasConcept C11413529 @default.
• W3023763951 hasConcept C118615104 @default.
• W3023763951 hasConcept C138885662 @default.
• W3023763951 hasConcept C14036430 @default.
• W3023763951 hasConcept C152062344 @default.
• W3023763951 hasConcept C153269930 @default.
• W3023763951 hasConcept C2524010 @default.
• W3023763951 hasConcept C29248071 @default.
• W3023763951 hasConcept C33923547 @default.
• W3023763951 hasConcept C41008148 @default.
• W3023763951 hasConcept C41895202 @default.
• W3023763951 hasConcept C45374587 @default.
• W3023763951 hasConcept C54271186 @default.
• W3023763951 hasConcept C78458016 @default.
• W3023763951 hasConcept C80444323 @default.
• W3023763951 hasConcept C86803240 @default.
• W3023763951 hasConcept C90805587 @default.
• W3023763951 hasConceptScore W3023763951C112505250 @default.
• W3023763951 hasConceptScore W3023763951C112876837 @default.
• W3023763951 hasConceptScore W3023763951C11413529 @default.
• W3023763951 hasConceptScore W3023763951C118615104 @default.
• W3023763951 hasConceptScore W3023763951C138885662 @default.
• W3023763951 hasConceptScore W3023763951C14036430 @default.
• W3023763951 hasConceptScore W3023763951C152062344 @default.
• W3023763951 hasConceptScore W3023763951C153269930 @default.
• W3023763951 hasConceptScore W3023763951C2524010 @default.
• W3023763951 hasConceptScore W3023763951C29248071 @default.
• W3023763951 hasConceptScore W3023763951C33923547 @default.
• W3023763951 hasConceptScore W3023763951C41008148 @default.
• W3023763951 hasConceptScore W3023763951C41895202 @default.
• W3023763951 hasConceptScore W3023763951C45374587 @default.
• W3023763951 hasConceptScore W3023763951C54271186 @default.
• W3023763951 hasConceptScore W3023763951C78458016 @default.
• W3023763951 hasConceptScore W3023763951C80444323 @default.
• W3023763951 hasConceptScore W3023763951C86803240 @default.
• W3023763951 hasConceptScore W3023763951C90805587 @default.
• W3023763951 hasLocation W30237639511 @default.
• W3023763951 hasLocation W30237639512 @default.
• W3023763951 hasLocation W30237639513 @default.
• W3023763951 hasLocation W30237639514 @default.
• W3023763951 hasLocation W30237639515 @default.
• W3023763951 hasLocation W30237639516 @default.
• W3023763951 hasLocation W30237639517 @default.
• W3023763951 hasOpenAccess W3023763951 @default.
• W3023763951 hasPrimaryLocation W30237639511 @default.
• W3023763951 hasRelatedWork W1516047453 @default.
• W3023763951 hasRelatedWork W1533694441 @default.
• W3023763951 hasRelatedWork W1546826212 @default.
• W3023763951 hasRelatedWork W1750180674 @default.
• W3023763951 hasRelatedWork W2094813555 @default.
• W3023763951 hasRelatedWork W2115012556 @default.
• W3023763951 hasRelatedWork W2126074999 @default.
• W3023763951 hasRelatedWork W4236179144 @default.
• W3023763951 hasRelatedWork W4376312568 @default.
• W3023763951 hasRelatedWork W98540345 @default.
• W3023763951 isParatext "false" @default.
• W3023763951 isRetracted "false" @default.

• next