Edoardo Carta-Gerardino

arXiv2010

The $z$-Transform and Automata-Recognizable Systems of Nonhomogeneous Linear Recurrence Equations over Semirings

A nonhomogeneous system of linear recurrence equations can be recognized by an automaton $\mathcal{A}$ over a one-letter alphabet $A = \{z\}$. Conversely, the automaton $\mathcal{A}$ generates precisely this nonhomogeneous system of linear recurrence equations. We present the solutions of these systems and apply the $z$-transform to these solutions to obtain their series representation. Finally, we show some results that simplify the series representation of the $z$-transform of these solutions. We consider single systems as well as the composition of two systems.

cs.SC↗

arXiv2010

Weighted Automata and Recurrence Equations for Regular Languages

Let $\mathcal{P}(Σ^*)$ be the semiring of languages, and consider its subset $\mathcal{P}(Σ)$. In this paper we define the language recognized by a weighted automaton over $\mathcal{P}(Σ)$ and a one-letter alphabet. Similarly, we introduce the notion of language recognition by linear recurrence equations with coefficients in $\mathcal{P}(Σ)$. As we will see, these two definitions coincide. We prove that the languages recognized by linear recurrence equations with coefficients in $\mathcal{P}(Σ)$ are precisely the regular languages, thus providing an alternative way to present these languages. A remarkable consequence of this kind of recognition is that it induces a partition of the language into its cross-sections, where the $n$th cross-section contains all the words of length $n$ in the language. Finally, we show how to use linear recurrence equations to calculate the density function of a regular language, which assigns to every $n$ the number of words of length $n$ in the language. We also show how to count the number of successful paths of a weighted automaton.

cs.FL↗