2026-07-22T07:15:44Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:20277 2024-07-02T07:52:55Z ddc:004 open_access

Functional Closure Properties of Finite ℕ-Weighted Automata Dörfler, Julian Ikenmeyer, Christian Finite automata weighted automata counting closure properties algebraic varieties We determine all functional closure properties of finite ℕ-weighted automata, even all multivariate ones, and in particular all multivariate polynomials. We also determine all univariate closure properties in the promise setting, and all multivariate closure properties under certain assumptions on the promise, in particular we determine all multivariate closure properties where the output vector lies on a monotone algebraic graph variety. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Julian Dörfler and Christian Ikenmeyer 2024 Is Part Of LIPIcs, Volume 297, 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ICALP.2024.134 urn:nbn:de:0030-drops-202777 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2024.134 eng https://creativecommons.org/licenses/by/4.0/legalcode