Regulated Rewriting in Formal Language Theory(Monographs in Theoretical Computer Science. An EATCS Series)

数理逻辑与数学基础

原   价:
1643.00
售   价:
1314.00
优惠
平台大促 低至8折优惠
发货周期:外国库房发货,通常付款后3-5周到货
作      者
出  版 社
出版时间
2011年12月13日
装      帧
ISBN
9783642749346
复制
页      码
308
开      本
9.61 x 6.69 x 0.65
语      种
英文
综合评分
暂无评分
我 要 买
- +
库存 50 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
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.
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个