An algebraic characterization of some principal regulated rational cones
TLDR
The principal regulated rational cone of one-counter “languages” is considered and generalizing Wechler's pushdown automata and pushdown transition matrices yields a characterization of the A -semi-algebraic power series in terms of acceptance by pushdown automation.About:
This article is published in Journal of Computer and System Sciences.The article was published on 1982-12-01 and is currently open access. It has received 7 citations till now. The article focuses on the topics: Nested word & Pushdown automaton.read more
Citations
More filters
Book ChapterDOI
Algebraic Systems and Pushdown Automata
Ion Petre,Arto Salomaa +1 more
TL;DR: This chapter focuses on the core aspects of algebraic series, pushdown automata, and their relation to formal languages, and a presentation of their theory based on the concept of properness.
Journal ArticleDOI
Approximation de séries formelles par des séries rationnelles
TL;DR: Etant donnee une serie formelle en variables non commutatives sur un alphabet fini X, a coefficients dans un corps K, on proposes une construction de serie rationnelle approximante au sens de the valuation X-adique.
Journal ArticleDOI
Truncations of infinite matrices and algebraic series associated with some of grammars
TL;DR: It is proven that the eigenvalues of northwest corner truncations of A are dense in some algebraic curves and the radius of convergence of the function equals the least positive zero of the modified discriminant of the system.
Journal ArticleDOI
Matrix Systems and Principal Cones of Algebraic Power Series
TL;DR: Principal cones and full principal cones of algebraic power series are characterized by matrix systems, and theorems based on matrix systems show correspondence between principal cones and matrix systems.
Book ChapterDOI
Cones, Semi-AFPs, and AFPs of Algebraic Power Series
TL;DR: A complete characterization of cones, semi-AFPs and AFPs (abstract families of power series) of algebraic power series in terms ofgebraic systems is given.
References
More filters
Book
Introduction to formal language theory
TL;DR: This volume intended to serve as a text for upper undergraduate and graduate level students and special emphasis is given to the role of algebraic techniques in formal language theory through a chapter devoted to the fixed point approach to the analysis of context-free languages.
Book
Automata-theoretic aspects of formal power series
Arto Salomaa,Matti Soittola +1 more
TL;DR: The style has sometimes been characterized as austere or severe, but the author does expect the reader to be able to fill in the more obvious details and the author permits him to present the leading ideas in an uncluttered way.
Proceedings ArticleDOI
Simple deterministic languages
A. J. Korenjak,John E. Hopcroft +1 more
TL;DR: The s-languages are those languages recognized by a particular restricted form of deterministic pushdown automaton, called an s-machine, and it is shown that they have the prefix property, and that they include the regular sets with end-markers.