scientific article

Publication date: 17 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

bibliography decidability formal power series rational series summable families non- commutative rational power series recognizable formal languages semiring of formal series

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Valuations, completions, formal power series and related constructions (associative rings and algebras) (16W60) Algebraic theory of languages and automata (68Q70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Semirings (16Y60)

Related Items (only showing first 100 items - show all)

Crisp-determinization of weighted tree automata over strong bimonoids ⋮ Holonomic functions and their relation to linearly constrained languages ⋮ On Sequences Defined by D0L Power Series ⋮ Zeta Functions of Formal Languages ⋮ Glushkov Construction For Series: The Non Commutative Case ⋮ Unnamed Item ⋮ Matrix versions of aperiodic $K$-rational identities ⋮ Newton series, coinductively: a comparative study of composition ⋮ Weighted Automata and Weighted Logics ⋮ Enumerative sequences of leaves in rational trees ⋮ On recognizable and rational formal power series in partially commuting variables ⋮ On the factorization conjecture ⋮ On computational power of weighted finite automata ⋮ Characterizing regular languages with polynomial densities ⋮ The Realization Problem for some wild monoids and the Atiyah Problem ⋮ SISO Output Affine Feedback Transformation Group and Its Faà di Bruno Hopf Algebra ⋮ Rational transductions and complexity of counting problems ⋮ Ambiguity Hierarchies for Weighted Tree Automata ⋮ Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata ⋮ Abelian combinatorics on words: a survey ⋮ Formal power series approach to nonlinear systems with additive static feedback ⋮ The net automaton of a rational expression ⋮ A new algorithm for compression of partially commutative alphabets ⋮ Weights of formal languages based on geometric series with an application to automatic grading ⋮ Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata ⋮ A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices ⋮ Weighted Linear Dynamic Logic ⋮ Towards a theory of domains for harmonic functions and its symbolic counterpart ⋮ Local limit laws for symbol statistics in bicomponent rational models ⋮ Enhanced coalgebraic bisimulation ⋮ An iteration property of Lindenmayerian power series ⋮ Recognizability in residuated lattices ⋮ D0L sequence equivalence is inPfor fixed alphabets ⋮ Computing the Expected Edit Distance from a String to a Probabilistic Finite-State Automaton ⋮ On Generalizations of Weighted Finite Automata and Graphics Applications ⋮ Nonassociativity à la Kleene ⋮ Mathematical Renormalization in Quantum Electrodynamics via Noncommutative Generating Series ⋮ Unnamed Item ⋮ A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata ⋮ Iteration Semirings ⋮ The Synchronization Problem for Strongly Transitive Automata ⋮ Algebraic aspects of B-regular series ⋮ Valuations and unambiguity of languages, with applications to fractal geometry ⋮ On continuous functions computed by finite automata ⋮ Bijective sequential mappings of a free monoid onto another ⋮ Elements of Stream Calculus ⋮ A technology for reverse-engineering a combinatorial problem from a rational generating function ⋮ On positive matrices ⋮ Definability of Combinatorial Functions and Their Linear Recurrence Relations ⋮ Cobham’s theorem and its extensions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On infinite words generated by polynomial D0L systems ⋮ Analogies and differences between quantum and stochastic automata ⋮ Asymptotic behavior in a heap model with two pieces ⋮ Direct and dual laws for automata with multiplicities ⋮ Trace monoids with idempotent generators and measure-only quantum automata ⋮ The equality problem for rational series with multiplicities in the tropical semiring is undecidable ⋮ A Kleene-Schützenberger Theorem for Weighted Timed Automata ⋮ Myhill-Nerode Theorem for Recognizable Tree Series Revisited ⋮ Unnamed Item ⋮ Matrix Mortality and the Černý-Pin Conjecture ⋮ The Support of a Recognizable Series over a Zero-Sum Free, Commutative Semiring Is Recognizable ⋮ Compact Normal Form for Regular Languages as Xor Automata ⋮ Unnamed Item ⋮ On the Supports of Recognizable Timed Series ⋮ Weighted Operator Precedence Languages ⋮ Puissance extérieure d'un automate déterministe, application au calcul de la fonction zêta d'un système sofique ⋮ On morphically generated formal power series ⋮ Generating series for networks of Chen-Fliess series ⋮ Noncommutative minimization algorithms ⋮ On syntactic nuclei of rational languages ⋮ Clique polynomials have a unique root of smallest modulus ⋮ The sum of nil one-sided ideals of bounded index of a ring ⋮ Weighted automata and weighted logics with discounting ⋮ Supervisory control of $(\max,+)$ automata: a behavioral approach ⋮ Definable transductions and weighted logics for texts ⋮ Weighted automata and weighted logics on infinite words ⋮ Weighted finite automata over strong bimonoids ⋮ Representation of normal bands as semigroups of $k$-bi-ideals of a semiring ⋮ A rationality criterion coming from noncommutative geometry ⋮ Shuffle product formulas of multiple zeta values ⋮ Finite biprefix sets of paths in a graph ⋮ Skew and infinitary formal power series ⋮ Weighted tree automata and weighted logics ⋮ The regular algebra of a quiver. ⋮ Dirichlet functions of order $n$ and parameter $t$ ⋮ On a conjecture by Pierre Cartier about a group of associators ⋮ Weighted finite automata over hemirings ⋮ Nonnegative companion matrices and star-height of $\mathbb{N}$-rational series ⋮ On Lindenmayerian algebraic power series ⋮ On Lindenmayerian algebraic sequences ⋮ A generalized Goulden-Jackson cluster method and lattice path enumeration ⋮ Möbius inversion formula for monoids with zero. ⋮ Asymptotic expansions for linear homogeneous divide-and-conquer recurrences: algebraic and analytic approaches collated ⋮ Programming and automating mathematics in the Tarski-Kleene hierarchy ⋮ On images of D0L and DT0L power series. ⋮ On the number of occurrences of a symbol in words of regular languages. ⋮ Decidability results for Watson-Crick D0L systems with nonregular triggers. ⋮ On transformations of formal power series.

This page was built for publication: