Combinatorial Algorithms on Words

الگوریتم‌های ترکیبی روی کلمات به مجموعه‌ای از دستکاری رشته‌های نمادها (کلمات) - نه لزوماً از یک الفبای محدود - اشاره دارد که از ویژگی‌های ترکیبی آرایش ورودی منطقی/فیزیکی برای دستیابی به عملکرد محاسباتی کارآمد استفاده می‌کنند. مدل محاسبات ممکن است هر یک از پارادایم‌های سریال تثبیت‌شده (مانند RAM، ماشین‌های تورینگ)، یا یکی از مدل‌های موازی در حال ظهور (مانند PRAM، WRAM، آرایه‌های سیستولیک، CCC) باشد. این کتاب بر برخی از دستاوردهای سال‌های اخیر در زمینه‌های متفاوتی مانند تطبیق الگو، فشرده‌سازی داده‌ها، گروه‌های آزاد، نظریه کدگذاری، محاسبات موازی و VLSI، و دینامیک نمادین تمرکز دارد. اینها طعم مشترکی دارند، اما ltave در گذشته با هم مورد بررسی قرار نگرفته است. این مطالعات علاوه بر جذابیت نظری، کاربردهای قابل توجهی نیز داشته است. اتفاق می‌افتد که این آثار اغلب به‌صورت مجزا انجام شده‌اند، با مشارکت‌هایی که به موضوعات مشابهی می‌پردازند که در بدنه نسبتاً متنوعی از ادبیات پراکنده شده‌اند. ما احساس کردیم که جمع‌آوری این اثر در یک مرجع برای محققین فعلی و آینده مفید خواهد بود. باید واضح باشد که تأکید کتاب بر جنبه‌های ترکیبی و پیچیدگی است تا منطق، مبانی و تصمیم‌پذیری. با توجه به حجم وسیع تحقیقات و میزان وحدتی که قبلاً توسط مطالعات در تئوری خودکار ماتا و زبان‌های رسمی به دست آمده است، فضای بسیار کمی را به آنها اختصاص داده‌ایم.

Combinatorial Algorithms on Words refers to the collection of manipulations of strings of symbols (words) - not necessarily from a finite alphabet - that exploit the combinatorial properties of the logical/physical input arrangement to achieve efficient computational performances. The model of computation may be any of the established serial paradigms (e.g. RAM's, Turing Machines), or one of the emerging parallel models (e.g. PRAM ,WRAM, Systolic Arrays, CCC). This book focuses on some of the accomplishments of recent years in such disparate areas as pattern matching, data compression, free groups, coding theory, parallel and VLSI computation, and symbolic dynamics; these share a common flavor, yet ltave not been examined together in the past. In addition to being theoretically interest­ ing, these studies have had significant applications. It happens that these works have all too frequently been carried out in isolation, with contributions addressing similar issues scattered throughout a rather diverse body of literature. We felt that it would be advantageous to both current and future researchers to collect this work in a sin­ gle reference. It should be clear that the book's emphasis is on aspects of combinatorics and com­ plexity rather than logic, foundations, and decidability. In view of the large body of research and the degree of unity already achieved by studies in the theory of auto­ mata and formal languages, we have allocated very little space to them.