scientific article
From MaRDI portal
Publication:3056218
zbMath1250.68007MaRDI QIDQ3056218
Christophe Reutenauer, Jean Berstel
Publication date: 11 November 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
minimizationpolynomialformal power seriesautomatic sequencerational seriesrational expressionmatrix semigroupvariable-length codenon-commutative rational seriesrecognizable formal language
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) Linear transformations, semilinear transformations (15A04) Semifields (12K10) Semirings (16Y60) Rate of growth of functions, orders of infinity, slowly varying functions (26A12) Prefix, length-variable, comma-free codes (94A45) Research exposition (monographs, survey articles) pertaining to linear algebra (15-02)
Related Items
Towards a theory of domains for harmonic functions and its symbolic counterpart ⋮ Bideterministic weighted automata ⋮ A height gap theorem for coefficients of Mahler functions ⋮ Rational Cuntz states peak on the free disk algebra ⋮ Abelian-square-rich words ⋮ Null- and positivstellensätze for rationally resolvable ideals ⋮ \(L^2\)-Betti numbers arising from the lamplighter group ⋮ Finite solvable groups with a rational skew-field of noncommutative real rational invariants ⋮ Growth degree classification for finitely generated semigroups of integer matrices ⋮ Unnamed Item ⋮ The Rational Interpolation Problem: Grassmannian and Loewner-Matrix Approaches ⋮ Mechanical Proofs of Properties of the Tribonacci Word ⋮ Geometry of free loci and factorization of noncommutative polynomials ⋮ Linearizing the word problem in (some) free fields ⋮ Approximating the group algebra of the lamplighter by infinite matrix products ⋮ The quaternionic weighted zeta function of a graph ⋮ A characterization of rationality in free semicircular operators ⋮ Composition of quasi-polynomial maps ⋮ Asymptotic analysis of \(q\)-recursive sequences ⋮ Plurisubharmonic noncommutative rational functions ⋮ Rational elements of summation semirings ⋮ Birecurrent sets ⋮ On quotients of formal power series ⋮ Farey boat: continued fractions and triangulations, modular group and polygon dissections ⋮ Polynomially ambiguous unary weighted automata over fields ⋮ Noncommutative rational Clark measures ⋮ D-finite multivariate series with arithmetic restrictions on their coefficients ⋮ On the factorization of non-commutative polynomials (in free associative algebras) ⋮ Shadows of rationals and irrationals: supersymmetric continued fractions and the super modular group ⋮ Bideterministic weighted automata ⋮ Free iterative and iteration \(K\)-semialgebras ⋮ Singular value automata and approximate minimization ⋮ Proving results about OEIS sequences with \texttt{Walnut} ⋮ Magic Numbers in Periodic Sequences ⋮ Dyck Words, Pattern Avoidance, and Automatic Sequences ⋮ Rudin-Shapiro Sums via Automata Theory and Logic ⋮ A note on the relation between recognisable series and regular sequences, and their minimal linear representations ⋮ Proving properties of some greedily-defined Integer recurrences via automata theory ⋮ Periodic automorphisms of free groups are diagonalisable in free skew fields ⋮ The carry propagation of the successor function ⋮ On the supports of recognizable series over a field and a single letter alphabet ⋮ Formulae and Asymptotics for Coefficients of Algebraic Functions ⋮ Matrix coefficient realization theory of noncommutative rational functions ⋮ Multipartite rational functions ⋮ Generalization bounds for learning weighted automata ⋮ Linear recurrence relations for cluster variables of affine quivers. ⋮ Unnamed Item ⋮ Mutating seeds: types \(\mathbb{A}\) and \(\tilde{\mathbb{A}}\) ⋮ General Framework ⋮ First-Order Logic and Numeration Systems ⋮ Some Applications of Algebra to Automatic Sequences ⋮ Adding pebbles to weighted automata: easy specification \& efficient evaluation ⋮ The Generalized Rank of Trace Languages ⋮ The Coxeter relations and KP map for non-commuting symbols ⋮ On Hadamard Series and Rotating Q-Automata ⋮ Unnamed Item ⋮ Evaluating Generating Functions for Periodic Multiple Polylogarithms via Rational Chen–Fliess Series ⋮ Quasi-universal \(k\)-regular sequences ⋮ ENUMERATION AND DECIDABLE PROPERTIES OF AUTOMATIC SEQUENCES ⋮ The quaternionic second weighted zeta function of a graph and the Study determinant ⋮ Relations on words ⋮ Extension of the Bessmertnyĭ realization theorem for rational functions of several complex variables ⋮ Cayley graphs and automatic sequences ⋮ Counting the number of non-zero coefficients in rows of generalized Pascal triangles ⋮ Free loci of matrix pencils and domains of noncommutative rational functions ⋮ Pebble Weighted Automata and Weighted Logics ⋮ A Final Coalgebra for k-regular Sequences ⋮ A new approach to the 2-regularity of the \(\ell\)-abelian complexity of 2-automatic sequences ⋮ Stable Noncommutative Polynomials and Their Determinantal Representations ⋮ Absolute convergence of rational series is semi-decidable ⋮ An automated approach to the Collatz conjecture ⋮ Robustness of Pisot-regular sequences ⋮ The set of realizations of a max-plus linear sequence is semi-polyhedral ⋮ Noncommutative polynomials describing convex sets ⋮ A Factorization Theory for some Free Fields ⋮ A note on the factorization conjecture ⋮ Hopf algebra structure of generalized quasi-symmetric functions in partially commutative variables ⋮ On domains of noncommutative rational functions ⋮ Noncommutative rational Pólya series ⋮ Absolute Convergence of Rational Series Is Semi-decidable ⋮ Unnamed Item ⋮ -DEFORMED RATIONALS AND -CONTINUED FRACTIONS ⋮ A standard form in (some) free fields: how to construct minimal linear representations ⋮ Bianalytic free maps between spectrahedra and spectraballs ⋮ Determinisability of unary weighted automata over the rational numbers ⋮ Local laws for polynomials of Wigner matrices ⋮ A Special Case of Rational Identity Testing and the Brešar-Klep Theorem. ⋮ Partial Conway and Iteration Semiring-Semimodule Pairs ⋮ Regular sequences and synchronized sequences in abstract numeration systems ⋮ Scattering in quantum dots via noncommutative rational functions ⋮ On the Rademacher Complexity of Weighted Automata ⋮ Decidability and \(k\)-regular sequences ⋮ Noncommutative rational functions invariant under the action of a finite solvable group ⋮ COMPLETELY REDUCIBLE SETS ⋮ The finiteness problem for monoids of morphisms ⋮ The cyclicity problem for the images of Q-rational series ⋮ On some decidability questions concerning supports of rational series ⋮ Finite ambiguity and finite sequentiality in weighted automata over fields ⋮ Free (rational) derivation ⋮ Context-free coalgebras ⋮ Character theory of monoids over an arbitrary field. ⋮ Conway and iteration hemirings Part 1 ⋮ The inversion height of the free field is infinite.
