Abstract:Quotient is a basic operation of formal languages, which plays a key role in the construction of minimal deterministic finite automata (DFA) and the universal automata. In this paper, we extend this operation to formal power series and systemically investigate its implications in the study of weighted automata. In particular, we define two quotient operations for formal power series that coincide when calculated by a word. We term the first operation as (left or right) \emph{quotient}, and the second as (left or right) \emph{residual}. To support the definitions of quotients and residuals, the underlying semiring is restricted to complete semirings or complete c-semirings. Algebraical properties that are similar to the classical case are obtained in the formal power series case. Moreover, we show closure properties, under quotients and residuals, of regular series and weighted context-free series are similar as in formal languages. Using these operations, we define for each formal power series $A$ two weighted automata ${\cal M}_A$ and ${\cal U}_A$. Both weighted automata accepts $A$, and ${\cal M}_A$ is the minimal deterministic weighted automaton of $A$. The universality of ${\cal U}_A$ is justified and, in particular, we show that ${\cal M}_A$ is a sub-automaton of ${\cal U}_A$. Last but not least, an effective method to construct the universal automaton is also presented in this paper.

A Characterization of Totally Compatible Automata

Counter Machines and Distributed Automata: A Story about Exchanging Space and Time

Completely Reachable Almost Group Automata

Primitive Automata that are Synchronizing

Deterministic automata simulation, universality and minimality

Power of Counting by Nonuniform Families of Polynomial-Size Finite Automata

A Formal Model of Computing with Words.

The Word Problem for Finitary Automaton Groups

Descriptional Complexity of Determinization and Complementation for Finite Automata

The Complexity of Simplifying $ω$-Automata through the Alternating Cycle Decomposition

Explorable Parity Automata

The Complexity of Satisfiability Checking for Symbolic Finite Automata

Finite Nondeterministic Automata: Simulation And Minimality

A Myhill-Nerode style Characterization for Timed Automata With Integer Resets

A Finite Exact Representation of Register Automata Configurations

On Shuffling and Splitting Automata

Effective Characterizations of Simple Fragments of Temporal Logic Using Carton--Michel Automata

Conway's cosmological theorem and automata theory

On Quotients of Formal Power Series

Finite automata over structures

More on the Descriptional Complexity of Products of Finite Automata