Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Regulated Rewriting in Formal Language Theory

Regulated Rewriting in Formal Language Theory

Dassow, Jürgen
Paun, Gheorghe

Paperback

Series: Monographs in Theoretical Computer Science. an Eatcs, Book 18

FictionGeneral Computers

ISBN10: 3642749348
ISBN13: 9783642749346
Publisher: Springer
Published: Dec 13 2011
Pages: 308
Weight: 1.10
Height: 0.65 Width: 6.69 Depth: 9.61
Language: English
To our families The formal language theory was born in the middle of our century as a tool for modelling and investigating the syntax of natural languages, and it has been developed mainly in connection with programming language handling. Of course, one cannot deny the impulses from neuronal net investigations, from logic, as well as the mathematical motivation of the early researches. The theory has rapidly become a mature one, with specific problems, techniques and results and with an internal self-motivated life. Abstract enough to deal with the essence of modelled phenomena, formal language theory has been applied during the last years to many further non-linguistical fields, sometimes surprisingly far from the previous areas of applications; such fields are developmental biology, economic modelling, semiotics of folklore, dramatic and musical works, cryptography, sociology, psychology, and so on. All these applications as well as the traditional ones to natural and programming languages revealed a rather common conclusion: very frequently, context-free gram- mars, the most developed and the most tractable type of Chomsky grammars, are not sufficient. The world is non-context-free (and we shall prove this statement in Section 0.4). On the other hand, the context-sensitive grammars are too powerful and definitely intractable (many problems are undecidable or are still open; there is no semantic interpretation of the nonterminals an so on). This is the reason to look for intermediate generative devices, conjoining the simpli- city and the beauty of context-free grammars with the power of context-sensitive ones.

Also in

Fiction

View All