Cart (Loading....) | Create Account
Close category search window

Decision Problems of Phrase-Structure Grammars

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Landweber, Peter S. ; Department of Mathematics, Harvard University, Cambridge, Mass.

Phrase-structure grammars were first introduced and studied by Chomsky as devices for generating the sentences of a language. By means of increasingly heavy restrictions on the productions (rewriting rules), four types of grammars were singled out by Chomsky: type 0 (unrestricted), type 1 (context-dependent), type 2 (context-free), and type 3 (finite state). In this paper, a number of decision problems are resolved for these classes of grammars and the languages they generate, largely in the negative. A table of decision problems for grammars of the four different types is presented. This table indicates the problems which have been found to be decidable or undecidable. The ambiguity problem for type 3 grammars and the emptiness and infiniteness problems for type 2 grammars are shown to be decidable. A known unsolvable problem, the Post correspondence problem, is the key to the undecidability proofs which are given. For type 2 grammars, the ambiguity and equivalence problems are proved undecidable; the emptiness and infiniteness problems for type 1 grammars are shown to be undecidable. There is no algorithm to decide whether a language of a given type can be generated by a grammar of a more restricted type. The results on type 2 grammars were first obtained by Bar-Hillel, Perles, and Shamir.

Published in:

Electronic Computers, IEEE Transactions on  (Volume:EC-13 ,  Issue: 4 )

Date of Publication:

Aug. 1964

Need Help?

IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.