scientific article; zbMATH DE number 3588051
From MaRDI portal
Publication:4155837
zbMATH Open0377.68039MaRDI QIDQ4155837FDOQ4155837
Authors: Matti Soittola, Arto Salomaa
Publication date: 1978
Title of this publication is not available (Why is that?)
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Power series (including lacunary series) in one complex variable (30B10) Integral domains (associative rings and algebras) (16U10)
Cited In (only showing first 100 items - show all)
- A note on the equivalence problem of rational formal power series
- On equality of multiplicity sets of regular languages
- Enumeration d'arbres et formules d'inversion de séries formelles
- Asymptotic approximation by regular languages
- A technology for reverse-engineering a combinatorial problem from a rational generating function
- Characteristic polynomials of nonnegative real square matrices and generalized clique polynomials
- Skew and infinitary formal power series
- On a generalization of the Dyck-language over a two letter alphabet
- \(\mathbb Z\)-rationality of a certain class of formal series
- Definable transductions and weighted logics for texts
- Carathéodory extensions of subclasses of regular languages
- Programmable finite automata for VLSI†
- On the spectral and combinatorial structure of 2D positive systems
- The design principles of a weighted finite-state transducer library
- On transformations of formal power series.
- Sublogarithmic ambiguity
- Semi-synchronous transductions
- Rational bijection of rational sets
- Multiplicities: A deterministic view of nondeterminism
- A note on commutative multivariate rational series
- Homomorphism equivalence on etol languages†
- Weighted asynchronous cellular automata
- On recognizable and rational formal power series in partially commuting variables
- Another proof of Soittola's theorem
- Splicing in abstract families of languages
- On some transducer equivalence problems for families of languages
- The Cohn localization of the free group ring
- Title not available (Why is that?)
- Title not available (Why is that?)
- An \(n^2\)-bound for the ultimate equivalence problem of certain D0L systems over an \(n\)-letter alphabet
- Counting problems and algebraic formal power series in noncommuting variables
- A model for developmental systems. I: Generating word without any operating system
- New techniques for proving the decidability of equivalence problem
- Parallel complexity of the regular code problem
- A formal power series approach to the construction of minimal fuzzy automata
- Series which are both max-plus and min-plus rational are unambiguous
- A note on terminal balancing of algebraic systems
- Cyclic derivation of noncommutative algebraic power series
- Polynomials associated with the characters of SU(n)
- Perron-Frobenius theory of some algebraic equations associated with context free grammars
- Truncations of infinite matrices and algebraic series associated with some CF grammars
- An L-system approach to nonnegative matrices for the spectral analysis of discrete growth functions of populations
- Properties of structure generating functions of automata and their applications for linear systems
- A unifying approach to algebraic systems over semirings
- On cancellation properties of languages which are supports of rational power series
- Sub-regular grammar forms
- Some remarks on recognizable treeseries
- Characterizations of recognizable picture series
- R-fuzzy computation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Characterization of circular D0L-systems
- On generators and generative capacity of EOL forms
- Recurrent words and simultaneous growth in T0L systems
- Weighted tree automata and weighted logics
- The freeness problem over matrix semigroups and bounded languages
- Regular languages and their generating functions: The inverse problem
- Weighted automata with discounting
- Unbounded-error quantum computation with small space bounds
- Weighted automata and weighted MSO logics for average and long-time behaviors
- On morphically generated formal power series
- Rational languages and the Burnside problem
- A Kleene-Schützenberger theorem for weighted timed automata
- Asymptotic properties of free monoid morphisms
- A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata
- An algorithm to decide whether a rational subset of \({\mathbb{N}}^ k\) is recognizable
- Analytic models and ambiguity of context-free languages
- Weighted finite transducers in image processing
- Direct and dual laws for automata with multiplicities
- On Lindenmayerian algebraic power series
- Weighted automata and weighted logics
- Weighted automata and weighted logics
- The number of convex permutominoes
- Marked D0L systems and the \(2n\)-conjecture
- Subword occurrences, weighted automata and iterated morphisms, especially the Fibonacci morphism
- The growth function of \(S\)-recognizable sets
- A unifying Kleene theorem for weighted finite automata
- OpenFst: A General and Efficient Weighted Finite-State Transducer Library
- The ring of \(k\)-regular sequences
- Exactly solved models
- Integral Representation and Algorithms for Closed Form Summation
- Algebraic languages and polyominoes enumeration
- Uni-transitional Watson-Crick D0L systems
- The equational logic of fixed points
- Title not available (Why is that?)
- Clique polynomials have a unique root of smallest modulus
- Weighted finite automata over strong bimonoids
- A coalgebraic perspective on linear weighted automata
- Weighted logics for unranked tree automata
- Fuzzy relation equations and reduction of fuzzy automata
- Determinization of weighted finite automata over strong bimonoids
- The monadic theory of morphic infinite words and generalizations
- A survey of computational complexity results in systems and control
- The equivalence problem of multitape finite automata
- Sur les séries associees à certains systèmes de Lindenmayer
- Dynamic algebras: Examples, constructions, applications
- Explicit test sets for iterated morphisms in free monoids and metabelian groups
- Intuitionistic fuzzy left \(k\)-ideals of semirings.
- On rational series and rational languages
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4155837)