Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387322759> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W4387322759 abstract "We consider the task of computing functions $f: mathbb{N}^kto mathbb{N}$, where $ mathbb{N}$ is the set of natural numbers, by finite teams of agents modelled as deterministic finite automata. The computation is carried out in a distributed way, using the {em discrete half-line}, which is the infinite graph with one node of degree 1 (called the root) and infinitely many nodes of degree 2. The node at distance $j$ from the root represents the integer $j$. We say that a team $mathcal{A}^f$ of automata computes a function $f$, if in the beginning of the computation all automata from $mathcal{A}^f$ are located at the arguments $x_1,dots,x_k$ of the function $f$, in groups $mathcal{A}^f _j$ at $x_j$, and at the end, all automata of the team gather at $f(x_1,dots,x_k)$ and transit to a special state $STOP$. At each step of the computation, an automaton $a$ can ``see'' states of all automata colocated at the same node: the set of these states forms an input of $a$. Our main result shows that, for every primitive recursive function, there exists a finite team of automata that computes this function. We prove this by showing that basic primitive recursive functions can be computed by teams of automata, and that functions resulting from the operations of composition and of primitive recursion can be computed by teams of automata, provided that the ingredient functions of these operations can be computed by teams of automata. We also observe that cooperation between automata is necessary: even some very simple functions $f: mathbb{N}to mathbb{N}$ cannot be computed by a single automaton." @default.
- W4387322759 created "2023-10-04" @default.
- W4387322759 creator A5001475610 @default.
- W4387322759 creator A5005878475 @default.
- W4387322759 date "2023-10-02" @default.
- W4387322759 modified "2023-10-14" @default.
- W4387322759 title "Computing Functions by Teams of Deterministic Finite Automata" @default.
- W4387322759 doi "https://doi.org/10.48550/arxiv.2310.01151" @default.
- W4387322759 hasPublicationYear "2023" @default.
- W4387322759 type Work @default.
- W4387322759 citedByCount "0" @default.
- W4387322759 crossrefType "posted-content" @default.
- W4387322759 hasAuthorship W4387322759A5001475610 @default.
- W4387322759 hasAuthorship W4387322759A5005878475 @default.
- W4387322759 hasBestOaLocation W43873227591 @default.
- W4387322759 hasConcept C104091681 @default.
- W4387322759 hasConcept C112505250 @default.
- W4387322759 hasConcept C11413529 @default.
- W4387322759 hasConcept C114614502 @default.
- W4387322759 hasConcept C116248031 @default.
- W4387322759 hasConcept C118615104 @default.
- W4387322759 hasConcept C121332964 @default.
- W4387322759 hasConcept C134306372 @default.
- W4387322759 hasConcept C14036430 @default.
- W4387322759 hasConcept C158008952 @default.
- W4387322759 hasConcept C162392398 @default.
- W4387322759 hasConcept C167822520 @default.
- W4387322759 hasConcept C168773036 @default.
- W4387322759 hasConcept C174327141 @default.
- W4387322759 hasConcept C199360897 @default.
- W4387322759 hasConcept C24890656 @default.
- W4387322759 hasConcept C2775997480 @default.
- W4387322759 hasConcept C33923547 @default.
- W4387322759 hasConcept C41008148 @default.
- W4387322759 hasConcept C45374587 @default.
- W4387322759 hasConcept C62520636 @default.
- W4387322759 hasConcept C62611344 @default.
- W4387322759 hasConcept C78458016 @default.
- W4387322759 hasConcept C80444323 @default.
- W4387322759 hasConcept C86803240 @default.
- W4387322759 hasConcept C92710233 @default.
- W4387322759 hasConcept C97137487 @default.
- W4387322759 hasConceptScore W4387322759C104091681 @default.
- W4387322759 hasConceptScore W4387322759C112505250 @default.
- W4387322759 hasConceptScore W4387322759C11413529 @default.
- W4387322759 hasConceptScore W4387322759C114614502 @default.
- W4387322759 hasConceptScore W4387322759C116248031 @default.
- W4387322759 hasConceptScore W4387322759C118615104 @default.
- W4387322759 hasConceptScore W4387322759C121332964 @default.
- W4387322759 hasConceptScore W4387322759C134306372 @default.
- W4387322759 hasConceptScore W4387322759C14036430 @default.
- W4387322759 hasConceptScore W4387322759C158008952 @default.
- W4387322759 hasConceptScore W4387322759C162392398 @default.
- W4387322759 hasConceptScore W4387322759C167822520 @default.
- W4387322759 hasConceptScore W4387322759C168773036 @default.
- W4387322759 hasConceptScore W4387322759C174327141 @default.
- W4387322759 hasConceptScore W4387322759C199360897 @default.
- W4387322759 hasConceptScore W4387322759C24890656 @default.
- W4387322759 hasConceptScore W4387322759C2775997480 @default.
- W4387322759 hasConceptScore W4387322759C33923547 @default.
- W4387322759 hasConceptScore W4387322759C41008148 @default.
- W4387322759 hasConceptScore W4387322759C45374587 @default.
- W4387322759 hasConceptScore W4387322759C62520636 @default.
- W4387322759 hasConceptScore W4387322759C62611344 @default.
- W4387322759 hasConceptScore W4387322759C78458016 @default.
- W4387322759 hasConceptScore W4387322759C80444323 @default.
- W4387322759 hasConceptScore W4387322759C86803240 @default.
- W4387322759 hasConceptScore W4387322759C92710233 @default.
- W4387322759 hasConceptScore W4387322759C97137487 @default.
- W4387322759 hasLocation W43873227591 @default.
- W4387322759 hasOpenAccess W4387322759 @default.
- W4387322759 hasPrimaryLocation W43873227591 @default.
- W4387322759 hasRelatedWork W1494424737 @default.
- W4387322759 hasRelatedWork W1536117249 @default.
- W4387322759 hasRelatedWork W1982810737 @default.
- W4387322759 hasRelatedWork W1998666146 @default.
- W4387322759 hasRelatedWork W2060871291 @default.
- W4387322759 hasRelatedWork W2079577017 @default.
- W4387322759 hasRelatedWork W2082819959 @default.
- W4387322759 hasRelatedWork W2086344316 @default.
- W4387322759 hasRelatedWork W2482365960 @default.
- W4387322759 hasRelatedWork W2493055655 @default.
- W4387322759 isParatext "false" @default.
- W4387322759 isRetracted "false" @default.
- W4387322759 workType "article" @default.