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
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
