دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Adam Brooks Webber سری: ISBN (شابک) : 1590281977, 9781590281970 ناشر: Franklin, Beedle & Assoc., Inc سال نشر: 2008 تعداد صفحات: 400 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب زبان رسمی: مقدمه ای عملی: علوم کامپیوتر، هوش مصنوعی و یادگیری ماشین، بیوانفورماتیک، شبیه سازی کامپیوتر، سایبرنتیک، تعامل انسان و کامپیوتر، تئوری اطلاعات، رباتیک، تجزیه و تحلیل و طراحی سیستم ها، کامپیوتر و فناوری، برنامه نویسی، API ها و محیط های عملیاتی، الگوریتم ها، برنامه نویسی اپل، برنامه توسعه Cross ,کاربردی, برنامه نویسی بازی, گرافیک و چند رسانه ای, مقدماتی و ابتدایی, زبان ها و ابزارها, برنامه نویسی مایکروسافت, برنامه های موبایل, برنامه نویسی موازی, طراحی نرم افزار, تست و مهندسی, برنامه نویسی وب, کامپیوتر
در صورت تبدیل فایل کتاب Formal Language: A Practical Introduction به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان رسمی: مقدمه ای عملی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب دو هدف عمده دارد. اولین مورد این است که به شما کمک کند تا ایده های زیبا و ماندگار زبان رسمی را درک کرده و از آنها قدردانی کنید. این ایده ها حق مادری همه دانشمندان کامپیوتر است و عمیقاً طرز فکر شما را در مورد محاسبات تغییر خواهند داد. آنها نه تنها یکی از زیباترین، بلکه در میان مفیدترین ابزارها در علوم کامپیوتر هستند. آنها برای حل مسائل در طیف گسترده ای از کاربردهای عملی استفاده می شوند و به ویژه برای تعریف زبان های برنامه نویسی و ساخت سیستم های زبان مفید هستند. هدف دوم این کتاب کمک به شما برای توسعه یک تسهیلات با این ابزارهای مفید است. نمونه های کد ما در جاوا هستند، اما آنها به خصوص جاوا محور نیستند و باید برای هر برنامه نویسی قابل دسترسی باشند. همچنین دلیل اصلی سومی برای مطالعه زبان رسمی وجود دارد، دلیلی که تمرکز اصلی این کتاب نیست: یادگیری تکنیک های اثبات ریاضی. هنگامی که در حال یادگیری زبان رسمی هستید، می تواند زمان خوبی برای یادگیری تکنیک های اثبات نیز باشد، زیرا موضوع مملو از قضایا برای تمرین است. اما این کتاب سعی دارد ایده های زیبا و مفید برای زبان رسمی را برای دانش آموزان در تمام سطوح علاقه و توانایی ریاضی در دسترس قرار دهد. برای این منظور، اگرچه کتاب بسیاری از براهین ساده را ارائه و مورد بحث قرار می دهد، اما سعی در آموزش تکنیک های اثبات پیشرفته ندارد. تعداد نسبتا کمی از تمرین ها مشکلات اثبات چالش برانگیزی را ایجاد می کنند. به کسانی که قصد مطالعه در سطح فارغ التحصیل علوم کامپیوتر نظری را دارند، به خوبی توصیه می شود که برای این نوع آموزش منحصراً به این کتاب اعتماد نکنند.
This book has two major goals. The first is to help you understand and appreciate the beautiful and enduring ideas of formal language. These ideas are the birthright of all computer scientists, and they will profoundly change the way you think about computation. They are not only among the most beautiful, but also among the most useful tools in computer science. They are used to solve problems in a wide variety of practical applications, and they are especially useful for defining programming languages and for building language systems. The second purpose of this book is to help you develop a facility with these useful tools. Our code examples are in Java, but they are not particularly Java-centric and should be accessible to any programmer. There is also a third major reason to study formal language, one that is not a primary focus of this book: to learn the techniques of mathematical proof. When you are learning about formal language, it can also be a good time to learn proof techniques, because the subject is full of theorems to practice on. But this book tries to make the beautiful and useful ideas for formal language accessible to students at all levels of mathematical interest and ability. To that end, although the book presents and discusses many simple proofs, it does not try to teach advanced proof techniques. Relatively few of the exercises pose challenging proof problems. Those planning graduate-level study of theoretical computer science would be well advised not to rely exclusively on this book for that kind of training.
* Introduction and Chapter 1: Fundamentals * Chapter 2: Finite Automata * Chapter 3: Closure Properties for Regular Languages * Chapter 4: DFA Applications * Chapter 5: Nondeterministic Finite Automata * Chapter 6: NFA Applications * Chapter 7: Regular Expressions * Chapter 8: Regular Expression Applications * Chapter 9: Advanced Topics in Regular Languages * Chapter 10: Grammars * Chapter 11: Non-Regular Languages * Chapter 12: Context-Free Languages * Chapter 13: Stack Machines * Chapter 14: The Context-Free Frontier * Chapter 15: Stack Machine Applications * Chapter 16: Turing Machines * Chapter 17: Computability * Chapter 18: Uncomputability * Chapter 19: Cost Models