Abstract
We consider some decision problems on sparseness, degrees of ambiguity and multiple valuedness concerning finite-state and pushdown acceptors and transducers. A language L is sparse if there is a polynomial P such that the number of strings of length n in L is atmost P(n). A recognizer (transducer) is of polynomial ambiguity (valued) if there exists a polynomial P such that the number of derivations (outputs) for any input of length n is at most P(n). We relate these problems and show that they are decidable for finite-state devices. For cfl's, only the sparseness problem is decidable. We also study some properties of structure generating function defined as f L (z)=Σa n z n, where a n is the number of strings of length n in a language L. Our results are useful in proving the non-regularity/non-context-freeness of some languages.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Berman L. and J.Hartmanis, On isomorphism and density of NP and other complete sets, SIAM Journal of Computing(1977) 305–322.
Chan T. and O.H.Ibarra, On the finite-valuedness problem for sequential machines, Theoretical Computer Science(1983) 95–101.
Chomsky N. and M.P. Schutzenberger, The algebraic Theory of Context-free Languages, in ComputerProgramming and Formal Systems, North-Holland Publishing Company, Amsterdam,1963.
Flajolet P., Ambiguity and Transcendence, Proc. of Inter. Coll. on Automata,Lang. and Programming (1985)179–188.
Ginsburg S., Mathematical Theory of Context-free Languages, McGraw Hill Book Company, (1966).
Harrison M.A., Introduction to Formal Language Theory, Addison-Wesley Inc. (1978).
Hopcroft J. and J.D.Ullman, Introduction to Automata Theory, Formal languages and Computation, Addison-Wesley Inc.(1979).
Hopcroft J., On the equivalence and containment problems for context-free languages, Mathematical Systems Theory(1969)119–124.
Hunt H., D.J.Rosenkrantz and T.Szymanski, On the equivalence, containment and covering problems for the regular and context-free languages, Journal of Computer and System Sciences (1976) 222–268.
Ibarra O.H., Reversal bounded multicounter machines and their decision problems, Journal of Asso. Comp. Mach 25 (1978) 116–133.
Kuich W., On the entropy of Context-free languages, Information and Control(1970)173–200.
Salomaa A. and M.Soittola, Automata-theoretic Aspects of Formal Power Series, Springer-Berlin (1978).
Stearns R. J.Hartmanis and P.M.Lewis, Heirarchies of memory bounded computations, Conf. Record of Sixth Annual IEEE Symp. on Switching Theory and Logical Design (1965) 179–190.
Stearns R. and H.B. Hunt, On the equivalence and containment problem for unambiguous regular expressions, regular grammars and finite automata, Proc. 22nd IEEE Annual Symp. on Foundations of Comp. Sci. (1981) 74–81.
Ullian J.S., Partial algorithm problems for context-free languages, Information and Control (1967) 80–101.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
H.Ibarra, O., Ravikumar, B. (1985). On sparseness, ambiguity and other decision problems for acceptors and transducers. In: Monien, B., Vidal-Naquet, G. (eds) STACS 86. STACS 1986. Lecture Notes in Computer Science, vol 210. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16078-7_74
Download citation
DOI: https://doi.org/10.1007/3-540-16078-7_74
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16078-6
Online ISBN: 978-3-540-39758-8
eBook Packages: Springer Book Archive