图书标签: language 可计算理论 computation 形式科学 pl computable_language TCS
发表于2024-11-25
A Concise Introduction to Languages and Machines pdf epub mobi txt 电子书 下载 2024
This book focuses on key theoretical topics of computing, in particular formal languages and abstract machines. It is intended primarily to support the theoretical modules on a computer science or computing-related undergraduate degree scheme.
Though the book is primarily theoretical in nature, it attempts to avoid the overly mathematical approach of many books on the subject and for the most part focuses on encouraging the reader to gain an intuitive understanding. Proofs are often only sketched and, in many cases, supported by diagrams. Wherever possi- ble, the book links the theory to practical considerations, in particular the implications for programming, computation and problem solving.
For Students
I wrote this book partly because when I studied this material as part of my own Computing degree, I had to work really hard to understand the material, a situation which arose not because the material is too difficult, but because it was not well presented and the books seemed to assume I was a pure mathema- tician, which I am not.
This book is primarily for undergraduate students of computing, though it can also be used by students of computational linguistics and researchers, particularly those entering computer science from other disciplines, who find that they require a foundation or a refresher course in the theoretical aspects of computing.
Some aspects of the book are certainly clearer if the student has some experi- ence of programming, though such experience is not essential for understanding most of the book.
The reader is advised where especially demanding material can be omitted, though he or she is encouraged to appreciate the implications of that material, as such an appreciation may be assumed later in the book.
适合没有多少数学背景但想步入计算语言学的语言学僧学习计算理论。想以这本书作基本材料加上中文处理用Python语言为媒介向介绍形式语言学。 添加了目录,更新了内容简介。内容简介来自于作者的introduction。目前在《语言》小站添加了【面向语言学僧的Python入门】,而在《现代形式语法理论》将从理论角度系统介绍这本书的基本内容。Python语言介绍部分基本上按照这本书的结构介绍Python语言编程,亦即,用Python语言实践书中所介绍的理论。
评分适合没有多少数学背景但想步入计算语言学的语言学僧学习计算理论。想以这本书作基本材料加上中文处理用Python语言为媒介向介绍形式语言学。 添加了目录,更新了内容简介。内容简介来自于作者的introduction。目前在《语言》小站添加了【面向语言学僧的Python入门】,而在《现代形式语法理论》将从理论角度系统介绍这本书的基本内容。Python语言介绍部分基本上按照这本书的结构介绍Python语言编程,亦即,用Python语言实践书中所介绍的理论。
评分适合没有多少数学背景但想步入计算语言学的语言学僧学习计算理论。想以这本书作基本材料加上中文处理用Python语言为媒介向介绍形式语言学。 添加了目录,更新了内容简介。内容简介来自于作者的introduction。目前在《语言》小站添加了【面向语言学僧的Python入门】,而在《现代形式语法理论》将从理论角度系统介绍这本书的基本内容。Python语言介绍部分基本上按照这本书的结构介绍Python语言编程,亦即,用Python语言实践书中所介绍的理论。
评分适合没有多少数学背景但想步入计算语言学的语言学僧学习计算理论。想以这本书作基本材料加上中文处理用Python语言为媒介向介绍形式语言学。 添加了目录,更新了内容简介。内容简介来自于作者的introduction。目前在《语言》小站添加了【面向语言学僧的Python入门】,而在《现代形式语法理论》将从理论角度系统介绍这本书的基本内容。Python语言介绍部分基本上按照这本书的结构介绍Python语言编程,亦即,用Python语言实践书中所介绍的理论。
评分适合没有多少数学背景但想步入计算语言学的语言学僧学习计算理论。想以这本书作基本材料加上中文处理用Python语言为媒介向介绍形式语言学。 添加了目录,更新了内容简介。内容简介来自于作者的introduction。目前在《语言》小站添加了【面向语言学僧的Python入门】,而在《现代形式语法理论》将从理论角度系统介绍这本书的基本内容。Python语言介绍部分基本上按照这本书的结构介绍Python语言编程,亦即,用Python语言实践书中所介绍的理论。
评分
评分
评分
评分
A Concise Introduction to Languages and Machines pdf epub mobi txt 电子书 下载 2024