Magnetic impurity

In formal language theory, a grammar is noncontracting (or monotonic) if all of its production rules are of the form

α → β where |α| ≤ |β|, where |α| denotes the length of α.

That is, none of the rules decreases the size of the string that is being rewritten.

It is essentially noncontracting if there may be one exception, namely, a rule

S → ε

where S is the start symbol and ε the empty string, and furthermore, S never occurs in the right-hand side of any rule.

Example

S → abc

S → aSBc

cB → Bc

bB → bb

This grammar generates the language $\{a^{n}b^{n}c^{n}:n\geq 1\}$, which is not context-free.

There is also a (much more complex) noncontracting grammar for the language $\{a^{n}b^{n}c^{n}d^{n}:n\geq 1\}$.

Equivalent types of grammars; expressive power

There is an easy procedure for bringing any noncontracting grammar into Kuroda normal form.

Procedures are known for transforming any noncontracting grammar into a context-sensitive grammar and vice versa.

Therefore, noncontracting grammars, grammars in Kuroda normal form, and context-sensitive grammars have the same expressive power.

To be precise, the noncontracting grammars describe exactly the context-sensitive languages that do not include the empty string, while the essentially noncontracting grammars describe exactly the set of context-sensitive languages.

See also

• Context-sensitive grammar
• Growing context-sensitive grammar
• Kuroda normal form

Notes

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

References

• Template:Cite doi
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534