TY - GEN
T1 - Regular approximations to shuffle products of context-free languages, and convergence of their generating functions
AU - Maier, Robert S.
AU - Schott, René
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1993.
PY - 1993
Y1 - 1993
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85029471295&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85029471295&partnerID=8YFLogxK
U2 - 10.1007/3-540-57163-9_30
DO - 10.1007/3-540-57163-9_30
M3 - Conference contribution
AN - SCOPUS:85029471295
SN - 9783540571636
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 352
EP - 362
BT - Fundamentals of Computation Theory - 9th International Conference, FCT 1993, Proceedings
A2 - Esik, Zoltan
PB - Springer-Verlag
T2 - 9th International Conference on Fundamentals of Computation Theory, FCT 1993
Y2 - 23 August 1993 through 27 August 1993
ER -