scientific article
From MaRDI portal
Publication:3804221
zbMath0656.68086MaRDI QIDQ3804221
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
decidabilitymultiplicitiesfinite automataformal languagesfree monoidlimitedness problemrecognizable subsetstropical semi-ringnon-deterministic complexityfinite power problem
Related Items (63)
Some consequences of a Fatou property of the tropical semiring ⋮ On tropical analysis ⋮ Equational theories of tropical semirings ⋮ The limitedness problem on distance automata: Hashiguchi's method revisited ⋮ A complete system of identities for one-letter rational expressions with multiplicities in the tropical semiring ⋮ Thermodynamics and tropical mathematics. Definition of quasistatistical processes ⋮ Idempotent and tropical mathematics; complexity of algorithms and interval analysis ⋮ Semigroup identities of tropical matrix semigroups of maximal rank ⋮ Thermodynamics, idempotent analysis, and tropical geometry as a return to primitivism ⋮ Semirings and pseudo MV algebras ⋮ Distance desert automata and the star height problem ⋮ CONSTRUCTION OF SOME SYMMETRIZED OMEGA ALGEBRAS ⋮ SYSTEMS OF ω-LINEAR BALANCES OVER SYMMETRIZED OMEGA ALGEBRA ⋮ On the Burnside problem for semigroups of matrices in the \((\max,+)\) algebra ⋮ Number of common roots and resultant of two tropical univariate polynomials ⋮ Termination of Cycle Rewriting by Transformation and Matrix Interpretation ⋮ A generalized number theory problem applied to ideal liquids and to terminological lexis ⋮ The max-plus algebra of exponent matrices of tiled orders ⋮ On finite automata with limited nondeterminism (extended abstract) ⋮ Universal algorithms for solving the matrix Bellman equations over semirings ⋮ Tropical linear representations of the Chinese monoid ⋮ Distance automata having large finite distance or finite ambiguity ⋮ Primitive matrices over polynomial semirings ⋮ Equivalence, Unambiguity, and Sequentiality of Finitely Ambiguous Max-Plus Tree Automata ⋮ Automata theory based on lattice-ordered semirings ⋮ Tropical Geometry ⋮ Towards a tropical automaton product minimizing global completion times ⋮ New algorithms for solving tropical linear systems ⋮ A Burnside Approach to the Termination of Mohri's Algorithm for Polynomially Ambiguous Min-Plus-Automata ⋮ Semigroup identities in the monoid of triangular tropical matrices. ⋮ An all-pairs shortest path algorithm for bipartite graphs ⋮ On aperiodic and star-free formal power series in partially commuting variables ⋮ Tropical plactic algebra, the cloaktic monoid, and semigroup representations ⋮ The per-character cost of repairing word languages ⋮ The product of rational languages ⋮ Tribute: The influence of Imre Simon's work in the theory of automata, languages and semigroups ⋮ Decidability problems for unary output sequential transducers ⋮ Symmetric polynomials in tropical algebra semirings ⋮ On semigroups of matrices over the tropical semiring ⋮ Antichain toggling and rowmotion ⋮ Resultants over commutative idempotent semirings. I: Algebraic aspect ⋮ The algebraic equivalent of AFL theory ⋮ The Cost of Traveling between Languages ⋮ Rational relations and rational series ⋮ On the relation between ambiguity and nondeterminism in finite automata ⋮ Semigroup identities in the monoid of two-by-two tropical matrices. ⋮ Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton ⋮ Unnamed Item ⋮ The equality problem for rational series with multiplicities in the tropical semiring is undecidable ⋮ A geometric method for model reduction of biochemical networks with polynomial rate functions ⋮ Submathematics and tropical mathematics ⋮ Series which are both max-plus and min-plus rational are unambiguous ⋮ Unnamed Item ⋮ Finite sequentiality of unambiguous max-plus tree automata ⋮ The closure under division and a characterization of the recognizable $\mathcal {Z}$-subsets ⋮ What's decidable about weighted automata? ⋮ Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring ⋮ Max-plus automata ⋮ The factorisation forest theorem ⋮ Disambiguation of weighted tree automata ⋮ Lefschetz properties for Artinian Gorenstein algebras presented by quadrics ⋮ The finite power property in free groups ⋮ Some properties of recognizable \(\mathcal Z\)-subsets
This page was built for publication:
