دانلود کتاب String-Rewriting Systems – سیستم های بازنویسی رشته ای

توضیحات

The book represents an attempt by the authors to gather together the most fundamental results on string-rewriting systems. The goal is to explain these results in such a way that they can be understood and used in studies relating to more general rewriting, automated deduction, and algorithmic problems of algebraic structures. The authors have concentrated on presenting basic material that ought to be a prerequisite for understanding more specialized material. The monograph opens with the preliminaries of string-rewriting systems followed by length as the basis for reduction. Monadic string-rewriting systems is covered as well as length-reducing non-monadic string-writing systems. The book closes with the subjects of algebraic protocols and algebraic properties. When the reader has mastered the material in the core of the book (Chapters 1-4), then that person should be equipped to explore the ever-growing body of literature in the field of string-rewriting systems. Both authors have been active in the field of string-rewriting systems and have lectured on the subject in several universities. Lecture notes have been produced and distributed. This monograph is a result of revising and rewriting those notes. This monograph is written for independent study by researchers in theoretical computer science or in the foundation of artificial intelligence. This book is not intended as a textbook, but it certainly could be used as a textbook in computer science. It could be used for a course entitled ‘Rewriting Systems,’ or ‘String Rewriting,’ or ‘Foundations of Artificial Intelligence.’

————————————————————–

ترجمه ماشینی :

این کتاب نشان دهنده تلاش نویسندگان برای جمع آوری اساسی ترین نتایج در مورد سیستم های بازنویسی رشته است. هدف این است که این نتایج را به گونه ای توضیح دهیم که بتوان آنها را درک کرد و در مطالعات مربوط به بازنویسی عمومی تر، استنتاج خودکار و مسائل الگوریتمی ساختارهای جبری استفاده کرد. نویسندگان بر ارائه مطالب اساسی تمرکز کرده اند که باید پیش نیازی برای درک مطالب تخصصی تر باشد. مونوگراف با مقدمات سیستم‌های بازنویسی رشته‌ای و به دنبال آن طول به‌عنوان مبنای کاهش آغاز می‌شود. سیستم‌های بازنویسی رشته‌های مونادیک و همچنین سیستم‌های رشته‌نویسی غیرمونادیک کاهش‌دهنده طول پوشش داده می‌شوند. کتاب با موضوعات پروتکل های جبری و ویژگی های جبری پایان می یابد. هنگامی که خواننده بر مطالب هسته اصلی کتاب تسلط پیدا کرد (فصل 1-4)، آن شخص باید برای کشف مجموعه ادبیات رو به رشد در زمینه سیستم های بازنویسی زهی مجهز شود. هر دو نویسنده در زمینه سیستم های بازنویسی رشته فعال بوده اند و در چندین دانشگاه در این زمینه سخنرانی کرده اند. یادداشت های سخنرانی تولید و توزیع شده است. این تک نگاری حاصل بازنگری و بازنویسی آن یادداشت هاست. این تک نگاری برای مطالعه مستقل توسط محققان در علوم کامپیوتر نظری یا در پایه هوش مصنوعی نوشته شده است. این کتاب به عنوان یک کتاب درسی در نظر گرفته نشده است، اما م

tag : دانلود کتاب سیستم های بازنویسی رشته ای , Download سیستم های بازنویسی رشته ای , دانلود سیستم های بازنویسی رشته ای , Download String-Rewriting Systems Book , سیستم های بازنویسی رشته ای دانلود , buy سیستم های بازنویسی رشته ای , خرید کتاب سیستم های بازنویسی رشته ای , دانلود کتاب String-Rewriting Systems , کتاب String-Rewriting Systems , دانلود String-Rewriting Systems , خرید String-Rewriting Systems , خرید کتاب String-Rewriting Systems ,