دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1
نویسندگان: Michel Rigo
سری: ISTE
ISBN (شابک) : 1848216157, 9781848216150
ناشر: Wiley-ISTE
سال نشر: 2014
تعداد صفحات: 338
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 3 مگابایت
در صورت تبدیل فایل کتاب Formal Languages, Automata and Numeration Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبانهای رسمی ، اتوماتا و سیستم های عددی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
زبانهای رسمی، خودکار و سیستمهای اعداد مروری بر تحقیقات مربوط
به تئوری زبان رسمی، ترکیبیات روی کلمات یا سیستمهای عددی، مانند
Words، DLT (توسعهها در تئوری زبان)، ICALP، MFCS (بنیاد ریاضی
علوم کامپیوتر)، Mons Theoretical Computer Science Days,
Numeration, CANT (Combinatorics, Automata and Number
Theory).
ترکیب در کلمات به مسائلی می پردازد که می توان آنها را در یک
مونوئید غیر جابجایی بیان کرد، مانند پیچیدگی کلمات فرعی کلمات
متناهی یا نامتناهی، ساخت و ساز و ویژگی های کلمات نامتناهی،
قوانین یا الگوهای اجتناب ناپذیر. هنگام در نظر گرفتن برخی از
سیستم های عددی، هر عدد صحیح را می توان به عنوان یک کلمه متناهی
بر روی یک الفبای ارقام نشان داد. این مشاهده ساده منجر به مطالعه
رابطه بین خصوصیات حسابی اعداد صحیح و ویژگی های نحوی نمایش های
مربوطه می شود. یکی از عمیق ترین نتایج در این جهت توسط قضیه
مشهور Cobham ارائه شده است. با کمال تعجب، گسترش اخیر این نتیجه
به اعداد مختلط منجر به حدس معروف چهار نمایی شد. این فقط یک
نمونه از رابطه پربار بین نظریه زبان رسمی (شامل نظریه خودکار) و
نظریه اعداد است.
محتوای شامل: • ساختارهای جبری، هممورفیسم ها، روابط، مونوئید
آزاد • کلمات محدود، پیشوندها، پسوندها، فاکتورها، پالیندروم
ها
• تناوب و قضیه فاین-ویلف
• کلمات نامتناهی دنباله هایی روی یک الفبای متناهی هستند
• ویژگی های فاصله اولترا متریک، مثالی از هنجار p-adic< br
/>• توپولوژی مجموعه کلمات نامتناهی
• دنباله های همگرای کلمات نامتناهی و متناهی، استدلال
فشردگی
• ریخت شناسی تکراری، کدگذاری، کلمات جانشین یا شکلی
• مثال معمولی کلمه Thue–Morse
• کلمه فیبوناچی، عملگر Mex، کلمات n-bonacci
• واژه های حاصل از نظریه اعداد (بسط های پایه، کسرهای ادامه
دار،...) • طبقه بندی سیستم های Lindenmayer
• S- دنبالههای آدیک، کلمه کولاکوسکی
• تکرار در کلمات، اجتناب از تکرار، آستانه تکرار
• نمودارهای برویین (کامل)
• مفاهیمی از نظریه محاسبهپذیری و مسائل تصمیمپذیری
• مشکل ارسال مطابقت و کاربرد برای مرگ و میر ماتریس ها
• ریشه های ترکیبیات روی کلمات
• یادداشت های کتابشناختی
• زبان های کلمات محدود، زبان های منظم
• زبان های بسته فاکتوریل، پیشوند/پسوند، درختان و کدها
• اتوماتای بدون ابهام و قطعی، قضیه کلین
• تابع رشد زبانهای منظم
• اتوماتای غیر قطعی و تعین
• ترتیب ریشه، کلمه اول هر طول و کاهش یک زبان منظم
• نظریه اتوماتای حداقلی
• مقدمه ای بر نظریه اتوماتای جبری، مونوئید نحوی و
پیچیدگی نحوی
• زبان های بدون ستاره و قضیه ای از Schu ̈tzenberger
• سری رسمی منطقی و اتوماتای وزن دار
• زبان های بدون متن، خودکارهای فشاری و دستور زبان ها
• تابع رشد زبان های بدون بافت، قضیه پریخ
• برخی از تصمیم گیری ها و مسائل غیرقابل تصمیم در نظریه زبان
رسمی
• یادداشت های کتابشناختی
• پیچیدگی عاملی، قضیه مورس-هدلاند
• پیچیدگی حسابی، قضیه Van Der Waerden، پیچیدگی الگوی • عود، عود
یکنواخت، کلمات بازگشتی
• کلمات استورمین، کدگذاری چرخش ها، قضیه کرونکر
• بسامدهای حروف، عوامل و مورفیسم اولیه
• شار بحرانی
• پیچیدگی عاملی توالی های خودکار
• پیچیدگی عاملی توالیهای صرفاً شکلی
• واژههای ابتدایی، صرف، واژه لیندون
• آبلیسازی و پیچیدگی آبلی
• یادداشتهای کتابشناختی
• توالیهای خودکار، تعاریف معادل
• قضیهای از کوبهم ، هم ارزی توالی های خودکار با
توالی های مورفیک با طول ثابت
• چند نمونه از توالی های خودکار معروف
• در مورد قضیه درکسن
• برخی از دنباله های مورفیک خودکار نیستند
• سیستم شماره گذاری انتزاعی و توالی های خودکار S
• k − ∞-توالی های خودکار
• یادداشت های کتابشناختی
• سیستم های شماره گذاری، الگوریتم حریصانه
• سیستم های شماره گذاری موقعیتی، مجموعه های قابل تشخیص اعداد
صحیح
• معیار تقسیم پذیری و قابل تشخیص بودن N
• ویژگی های k-مجموعه های اعداد صحیح قابل تشخیص، نسبت و اختلاف
عناصر متوالی-
: همسانی
• پایه اعداد صحیح و قضیه کوبهام بر اساس وابستگی پایه
تشخیص-
نیزپذیری
• سیستم های عددی غیر استاندارد مبتنی بر دنباله اعداد صحیح
• دنباله های بازگشتی خطی، نتایج لورو و هلندر
• نتیجه نرمال سازی فروگنی و جمع
• سیستم های عددی مورفیک/مجموعه ای از اعداد صحیح که دنباله مشخصه
آنها
شکلی است
• به سمت تعمیم قضیه کوبهام
• چند کلمه در مورد نمایش اعداد حقیقی، β- اعداد صحیح، محدود
بودن
خواص
• اتومات های مرتبط با اعداد و سیستم های عددی Parry
• یادداشت های کتابشناختی
منطق مرتبه اول
• محاسبات پرزبرگر و نظریه قابل تصمیم گیری
• توصیف موچنیک از مجموعههای نیمه خطی
• قضیه بو چی: مجموعههای قابل تشخیص k قابل تعریف هستند • بسط
سیستمهای عددی پیزوت
• گسترش به اعداد واقعی
• مسائل تصمیمپذیری برای سیستمهای عددی< br />• کاربردها
در ترکیبات روی کلمات
Formal Languages, Automaton and Numeration Systems presents
readers with a review of research related to formal language
theory, combinatorics on words or numeration systems, such as
Words, DLT (Developments in Language Theory), ICALP, MFCS
(Mathematical Foundation of Computer Science), Mons Theoretical
Computer Science Days, Numeration, CANT (Combinatorics,
Automata and Number Theory).
Combinatorics on words deals with problems that can be stated
in a non-commutative monoid, such as subword complexity of
finite or infinite words, construction and properties of
infinite words, unavoidable regularities or patterns.
When considering some numeration systems, any integer can be
represented as a finite word over an alphabet of digits. This
simple observation leads to the study of the relationship
between the arithmetical properties of the integers and the
syntactical properties of the corresponding representations.
One of the most profound results in this direction is given by
the celebrated theorem by Cobham. Surprisingly, a recent
extension of this result to complex numbers led to the famous
Four Exponentials Conjecture. This is just one example of the
fruitful relationship between formal language theory (including
the theory of automata) and number theory.
Contents to include: • algebraic structures, homomorphisms,
relations, free monoid • finite words, prefixes, suffixes,
factors, palindromes
• periodicity and Fine–Wilf theorem
• infinite words are sequences over a finite alphabet
• properties of an ultrametric distance, example of the p-adic
norm
• topology of the set of infinite words
• converging sequences of infinite and finite words,
compactness argument
• iterated morphism, coding, substitutive or morphic
words
• the typical example of the Thue–Morse word
• the Fibonacci word, the Mex operator, the n-bonacci
words
•
wordscomingfromnumbertheory(baseexpansions,continuedfractions,...)
• the taxonomy of Lindenmayer systems
• S-adic sequences, Kolakoski word
• repetition in words, avoiding repetition, repetition
threshold
• (complete) de Bruijn graphs
• concepts from computability theory and decidability
issues
• Post correspondence problem and application to mortality of
matrices
• origins of combinatorics on words
• bibliographic notes
• languages of finite words, regular languages
• factorial, prefix/suffix closed languages, trees and
codes
• unambiguous and deterministic automata, Kleene’s
theorem
• growth function of regular languages
• non-deterministic automata and determinization
• radix order, first word of each length and decimation of a
regular language
• the theory of the minimal automata
• an introduction to algebraic automata theory, the syntactic
monoid and the
syntactic complexity
• star-free languages and a theorem of Schu ̈tzenberger
• rational formal series and weighted automata
• context-free languages, pushdown automata and grammars
• growth function of context-free languages, Parikh’s
theorem
• some decidable and undecidable problems in formal language
theory
• bibliographic notes
• factor complexity, Morse–Hedlund theorem
• arithmetic complexity, Van Der Waerden theorem, pattern
complexity • recurrence, uniform recurrence, return words
• Sturmian words, coding of rotations, Kronecker’s
theorem
• frequencies of letters, factors and primitive morphism
• critical exponent
• factor complexity of automatic sequences
• factor complexity of purely morphic sequences
• primitive words, conjugacy, Lyndon word
• abelianisation and abelian complexity
• bibliographic notes
• automatic sequences, equivalent definitions
• a theorem of Cobham, equivalence of automatic sequences with
constant
length morphic sequences
• a few examples of well-known automatic sequences
• about Derksen’s theorem
• some morphic sequences are not automatic
• abstract numeration system and S-automatic sequences
• k − ∞-automatic sequences
• bibliographic notes
• numeration systems, greedy algorithm
• positional numeration systems, recognizable sets of
integers
• divisibility criterion and recognizability of N
• properties of k-recognizable sets of integers, ratio and
difference of consec-
utive elements: syndeticity
• integer base and Cobham’s theorem on the base dependence of
the recog-
nizability
• non-standard numeration systems based on sequence of
integers
• linear recurrent sequences, Loraud and Hollander
results
• Frougny’s normalization result and addition
• morphic numeration systems/sets of integers whose
characteristic sequence
is morphic
• towards a generalization of Cobham’s theorem
• a few words on the representation of real numbers,
β-integers, finiteness
properties
• automata associated with Parry numbers and numeration
systems
• bibliographic notes
First order logic
• Presburger arithmetic and decidable theory
• Muchnik’s characterization of semi-linear sets
• Bu ̈chi’s theorem: k-recognizable sets are k-definable •
extension to Pisot numeration systems
• extension to real numbers
• decidability issues for numeration systems
• applications in combinatorics on words