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.

Learning real-time one-counter automata using polynomially many queries

Learning Realtime One-Counter Automata

Equivalence of Deterministic Weighted Real-time One-Counter Automata

F L ] 2 3 O ct 2 01 9 Learning One-Clock Timed Automata

Learning Deterministic Multi-Clock Timed Automata

Weighted One-Deterministic-Counter Automata

Automata Learning from Preference and Equivalence Queries

Improved Parallel Derandomization via Finite Automata with Applications

Reversible Computations of One-Way Counter Automata

Human in the Loop: Interactive Passive Automata Learning via Evidence-Driven State-Merging Algorithms

Learning Optimal Decision Making for an Industrial Truck Unloading Robot using Minimal Simulator Runs

Complexity of Equivalence and Learning for Multiplicity Tree Automata

A Novel Estimator Based Learning Automata Algorithm

Review of Automaton Learning Algorithms with Polynomial Complexity -- Completely Solved Examples

Tractable Offline Learning of Regular Decision Processes

Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks

Small Test Suites for Active Automata Learning

Extended Distributed Learning Automata:A New Method for Solving Stochastic Graph Optimization Problems

On Few Shot Learning of Dynamical Systems: A Koopman Operator Theoretic Approach

Active learning of timed automata with unobservable resets

Database-assisted automata learning