Abstract
We approximate certain languages, obtained as shuffle products of Dyck languages, by regular languages. These regular approximants are obtained by restricting the automaton accepting the original language to a finite maximum amount of storage, N. We study the dominant singularities of the multivariate generating functions of the approximants. By using formal asymptotic methods drawn from applied probability to work out the N → ∞ asymptotics of these singularities, we quantify the rate at which the approximants approach the original languages.
Supported in part by the U.S. National Science Foundation under grant NCR-9016211.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
J. Berstel and C. Reutenauer. Rational Series and Their Languages. Springer-Verlag, 1988.
P. Flajolet. The evolution of two stacks in bounded space and random walks in a triangle. In Proceedings of MFCS '86, LNCS #244. Springer-Verlag, 1986.
P. Flajolet. Analytic models and ambiguity of context-free languages. Theoret. Comput. Sci. 49 (1987), 283–309.
M. Fliess. Sur divers produits de séries formelles. Bull. Soc. Math. France 102 (1974), 181–191.
D. Geniet, R. Schott, and L. Thimonier. A Markovian concurrency measure. In Proceedings of CAAP '90, LNCS #431. Springer-Verlag, 1990.
C. Knessl, B. J. Matkowsky, Z. Schuss, and C. Tier. An asymptotic theory of large deviations for Markov jump processes. SIAM J. Appl. Math. 46 (1985), 1006–1028.
G. Louchard and R. Schott. Probabilistic analysis of some distributed algorithms. Random Structures and Algorithms 2 (1991), 151–186. A preliminary version appeared in Proceedings of CAAP '90, LNCS #431. Springer-Verlag, 1990.
R. S. Maier. Colliding stacks: a large deviations analysis. Random Structures and Algorithms 2 (1991), 379–420.
R. S. Maier. Communications networks as stochastically perturbed nonlinear systems: A cautionary note. In Proceedings of the 30th Allerton Conference on Communication, Control and Computing (Monticello, Illinois, 1992), pp. 674–681.
R. S. Maier and C. A. O'Cinneide. A closure characterization of phase-type distributions. J. Appl. Probab. 29 (1992), 92–103.
T. Naeh, M. M. Klosek, B. J. Matkowsky, and Z. Schuss. A direct approach to the exit problem. SIAM J. Appl. Math. 50 (1990), 595–627.
A. Salomaa and M. Soittola. Automata-Theoretic Aspects of Formal Power Series. Springer-Verlag, 1978.
E. Seneta. Non-negative Matrices and Markov Chains. Springer-Verlag, second edition, 1981.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Maier, R.S., Schott, R. (1993). Regular approximations to shuffle products of context-free languages, and convergence of their generating functions. In: Ésik, Z. (eds) Fundamentals of Computation Theory. FCT 1993. Lecture Notes in Computer Science, vol 710. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57163-9_30
Download citation
DOI: https://doi.org/10.1007/3-540-57163-9_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57163-6
Online ISBN: 978-3-540-47923-9
eBook Packages: Springer Book Archive