Useless rules

Useless rules

In formal grammar, useless rules are rules of symbol production which are unreachable or unproductive, that is, they are rules of production which can never be applied.

Cleaning Useless Rules

Examples

S o Bb | Cc

B o Bb | b

C o Cc | c

D o Bd | Cd

D is unreachable.


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Rules of Go — This is an in depth discussion of the rules of go. There has been a certain amount of variation in the rules of go over time, and from place to place. This article discusses those sets of rules broadly similar to the ones currently in use in East …   Wikipedia

  • Origins of Australian rules football — See also: Marn Grook and List of Australian rules football clubs by date of establishment A statue next to the Melbourne Cricket Ground on the approximate site of the 1858 foot ball match between Melbourne Grammar and Scotch College. Tom… …   Wikipedia

  • Simple precedence grammar — A simple precedence grammar is a context free formal grammar that can be parsed with a simple precedence parser. TOC =Formal definition=G = ( N , Sigma;, P , S ) is a simple precedence grammar if all the production rules in P comply with the… …   Wikipedia

  • Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… …   Wikipedia

  • Let it Burn — Infobox Album | Name = Let It Burn Type = album Artist = The Ataris/Useless ID Recorded = Various Artists Released = April 11, 2000 Length = 24:27 Genre = Pop punk Label = Kung Fu Producer = Various Chronology = The Ataris Last album = Blue Skies …   Wikipedia

  • The Idler (1758–1760) — This article is about the 18th century series of essays. For other publications called The Idler, see The Idler (disambiguation). The Idler was a series of 103 essays, all but twelve of them by Samuel Johnson, published in the London weekly the… …   Wikipedia

  • List of defunct United States congressional committees — The United States Congress has operated with more than 1500 standing, special, select, or joint committees over the years.[1][2][3] Many committees of these committees are now defunct. In some cases, their responsibilities were merged with other… …   Wikipedia

  • biblical literature — Introduction       four bodies of written works: the Old Testament writings according to the Hebrew canon; intertestamental works, including the Old Testament Apocrypha; the New Testament writings; and the New Testament Apocrypha.       The Old… …   Universalium

  • logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

  • literature — /lit euhr euh cheuhr, choor , li treuh /, n. 1. writings in which expression and form, in connection with ideas of permanent and universal interest, are characteristic or essential features, as poetry, novels, history, biography, and essays. 2.… …   Universalium

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”