Limitedness theorem on finite automata with distance functions
From MaRDI portal
Publication:1050772
DOI10.1016/0022-0000(82)90051-4zbMath0513.68051MaRDI QIDQ1050772
Publication date: 1982
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-0000(82)90051-4
Related Items
On semigroups of matrices over the tropical semiring, The closure under division and a characterization of the recognizable $\mathcal {Z}$-subsets, Polynomial operations and hierarchies of concatenation, Algorithms for determining relative inclusion star height and inclusion star height, Rational relations and rational series, Some consequences of a Fatou property of the tropical semiring, A complete system of identities for one-letter rational expressions with multiplicities in the tropical semiring, Finite-valued distance automata, Exponential upper and lower bounds for the order of a regular language, New upper bounds to the limitedness of distance automata, On the Burnside problem for semigroups of matrices in the \((\max,+)\) algebra, Distance automata having large finite distance or finite ambiguity