Talk:Formal language

From Wikipedia, the free encyclopedia

I would have liked an exposition of the prefix theorem as well as definitioins of all the terms.Also some words on the grammars.

I would particularly like clarification of this paragraph:

A typical language over that alphabet, containing that string, would be the set of all strings which contain the same number of symbols a and b.

Does this mean that exact string? Or, any string composed of the same number of positions with those positions filled by either a or b? So, would aaaaaa be a word? Would aaa not be a word? Or, would only string comprised of 3 b's and 3 a's be words?

Contents

[edit] Technical attention flag

It would help a lot if this article gave an example of some formal languages. It's also important to explain whether or not natural languages are included in the scientific definition of "formal language".

I was hoping to find some technical references (papers/books) but found none...

[edit] I'd Like More References

In many other articles in Wikipedia, there are external links, which are linking to useful websites or pages. I hope there will be some useful links in this item, too.

[edit] Where are the practical examples?

Exemple: the power of two macro languages (a very practical exemple) may differ... The C preprocessor is not a "Recursively enumerable" language, the M4 is.

[edit] Lead section deterioration

The lead section of this article is starting to deteriorate (at least in terms of aesthetic appearance). Anyone care to chime in before remedial counter-measures are taken? dr.ef.tymac 14:24, 30 January 2007 (UTC)