Abstract:We introduce weighted one-deterministic-counter automata (ODCA). These are weighted one-counter automata (OCA) with the property of counter-determinacy, meaning that all paths labelled by a given word starting from the initial configuration have the same counter-effect. Weighted ODCAs are a strict extension of weighted visibly OCAs, which are weighted OCAs where the input alphabet determines the actions on the counter. We present a novel problem called the co-VS (complement to a vector space) reachability problem for weighted ODCAs over fields, which seeks to determine if there exists a run from a given configuration of a weighted ODCA to another configuration whose weight vector lies outside a given vector space. We establish two significant properties of witnesses for co-VS reachability: they satisfy a pseudo-pumping lemma, and the lexicographically minimal witness has a special form. It follows that the co-VS reachability problem is in P. These reachability problems help us to show that the equivalence problem of weighted ODCAs over fields is in P by adapting the equivalence proof of deterministic real-time OCAs by Böhm et al. This is a step towards resolving the open question of the equivalence problem of weighted OCAs. Furthermore, we demonstrate that the regularity problem, the problem of checking whether an input weighted ODCA over a field is equivalent to some weighted automaton, is in P. Finally, we show that the covering and coverable equivalence problems for uninitialised weighted ODCAs are decidable in polynomial time. We also consider boolean ODCAs and show that the equivalence problem for (non-deterministic) boolean ODCAs is in PSPACE, whereas it is undecidable for (non-deterministic) boolean OCAs.

Investigations on Variants of Weighted Automata

Notes on Equivalence and Minimization of Weighted Automata

An Automata Theoretic Characterization of Weighted First-Order Logic

Weighted Tree Automata -- May it be a little more?

Laws of Large Numbers for Weighted Sums of Random Variables and Random Elements

Deterministic Weighted Automata under Partial Observability

Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata

Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination

Nested Weighted Limit-Average Automata of Bounded Width

Central Limit Theorems for Weighted Quadratic Forms of Dependent Processes with Applications in Specification Testing

Weighted One-Deterministic-Counter Automata

Weighted Pseudo Almost Automorphic Functions and WPAA Solutions to Semilinear Evolution Equations

Generalized weight approximation by maximal families with applications

Equivalence of Deterministic Weighted Real-time One-Counter Automata

Feasability of Learning Weighted Automata on a Semiring

Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems

Probabilistic Automata for Computing with Words

Run supports and initial algebra supports of weighted automata

Featured Weighted Automata

Weight Assignment Logic

Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields