Automata, Languages and Programming
19th International Colloquium Wien, Austria, July 13–17, 1992 Proceedings
Article
We consider algebras of rational power series over a finite alphabet Σ with coefficients in a commutative semiring K and characterize them as the free algebras in various classes of algebraic structures.
Article
Conway semiring-module pairs and iteration semiring-semimodule pairs were shown to provide an axiomatic basis to automata on ω -words in [Bloom, Esik: Iteration Theories, Springer, 1993]. In this paper, we sho...
Article
We call a semiring S locally closed if for all a ∈ S there is some integer k such that 1 + a + ⋯ + a k =1 + a + ⋯ + a k + 1 . In any locally...
Book and Conference Proceedings
19th International Colloquium Wien, Austria, July 13–17, 1992 Proceedings
Chapter and Conference Paper
Principal cones and full principal cones of algebraic power series are characterized by matrix systems.
Article
This paper deals with algebraic power series over a commutative semiringA. A characteristization result states that a power series is algebraic if and only if it is the behavior of a proper pushdown automaton.
Article
Article
Article
Article
Article
Article
Article