مسیر رتبه‌برترشدن در کنکور ارشد مهندسی کامپیوتر و IT
ثبت‌نام رایگان
مدت زمان باقیمانده :
ثانیه -
دقیقه -
ساعت -
روز -
کنکور کامپیوتر
0
ورود | ثبت نام
کتاب نظریه زبان ها و ماشین ها پیتر لینز

کتاب نظریه زبان ها و ماشین ها پیتر لینز

نویسنده : Peter Linz
464 صفحه
دانلود کتاب (free download)
English Title : An Introduction to Formal Languages and Automata 6th Edition
عنوان فارسی : ویرایش ششم کتاب مقدمه ای بر زبان‌های صوری و ماشین‌های خودکار

Description

An Introduction to Formal Languages and Automata, Sixth Edition provides an accessible, student-friendly presentation of all material essential to an introductory Theory of Computation course. Written to address the fundamentals of formal languages, automata, and computability, the text is designed to familiarize students with the foundations and principles of computer science and to strengthen the students' ability to carry out formal and rigorous mathematical arguments. The author, Peter Linz, continues to offer a straightforward, uncomplicated treatment of formal languages and automata and avoids excessive mathematical detail allowing students to focus on and understand the key underlying principles. New & Key Features: • An accessible approach allows students to clearly understand key content while retaining the appropriate mathematical notations and theorems required for the course • New Chapter Synopsis, found at the end of each chapter, recap important concepts found in the text • Every major idea is preceded by a motivating example, drawn from applications, that introduces the concept and illustrates its usefulness • The exercise section has been restructured and improved with accessible exercises more closely tied to examples in the text • An enhanced Instructor's Manual includes more detailed solutions to problems found in the text

Table of contents

1 INTRODUCTION TO THE THEORY OF COMPUTATION
2 FINITE AUTOMATA
3 REGULAR LANGUAGES AND REGULAR GRAMMARS
4 PROPERTIES OF REGULAR LANGUAGES
5 CONTEXT-FREE LANGUAGES
6 SIMPLIFICATION OF CONTEXT-FREE GRAMMARS AND NORMAL FORMS
7 PUSHDOWN AUTOMATA
8 PROPERTIES OF CONTEXT-FREE LANGUAGES
9 TURING MACHINES
10 OTHER MODELS OF TURING MACHINES
11 A HIERARCHY OF FORMAL LANGUAGES AND AUTOMATA
12 LIMITS OF ALGORITHMIC COMPUTATION
13 OTHER MODELS OF COMPUTATION
14 AN OVERVIEW OF COMPUTATIONAL COMPLEXITY
APPENDIX A: FINITE-STATE TRANSDUCERS
APPENDIX B: JFLAP: A USEFUL TOOL
ANSWERS SOLUTIONS AND HINTS FOR SELECTED EXERCISES
 
امتیازدهی3.0833333333333 1 1 1 1 1 1 1 1 1 13.08 امتیاز (6 رای)

Peter Linz

Peter Linz, Professor Emeritus, University of California, DavisPeter Linz is Professor Emeritus in the Department of Computer Science at the University of California, Davis.Linz received his Ph.D. from the University of Wisconsin.Professor Linz's research emphasizes the development of a theory of numerical analysis that can be used in the construction of reliable numerical methods used in the design of problem-solving environments for scientific computing.Linz has released the seventh edition of An Introduction to Formal Languages and Automata, as well as Exploring Numerical Methods: An Introduction to Scientific Computing.
تلگرام اینستاگرام