عنوان
پدید آورنده
موضوع
رده
QA76.9.M35 B946 1994
QA76
.
9
.
M35
B946
1994
کتابخانه
محل استقرار
شابک
شابک
1461202892
شابک
9781461202899
شماره کتابشناسی ملی
شماره
b546205
عنوان و نام پديدآور
عنوان اصلي
Finite Automata, Formal Logic, and Circuit Complexity
نام عام مواد
[Book]
نام نخستين پديدآور
by Howard Straubing.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Boston, MA
نام ناشر، پخش کننده و غيره
Birkhäuser Boston : Imprint : Birkhäuser
تاریخ نشرو بخش و غیره
1994
مشخصات ظاهری
نام خاص و کميت اثر
(xii, 227 pages)
فروست
عنوان فروست
Progress in theoretical computer science.
یادداشتهای مربوط به مندرجات
متن يادداشت
I Mathematical Preliminaries --;I.1 Words and Languages --;I.2 Automata and Regular Languages --;I.3 Semigroups and Homomorphisms --;II Formal Languages and Formal Logic --;II. 1 Examples --;II. 2 Definitions --;III Finite Automata --;III. 1 Monadic Second-Order Sentences and Regular Languages --;III. 2 Regular Numerical Predicates --;III. 3 Infinite Words and Decidable Theories --;IV Model-Theoretic Games --;IV. 1 The Ehrenfeucht-Fraïssé Game --;IV. 2 Application to FO].
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
One of these, explored by McNaughton and Papert in their 1971 monograph Counter-free Automata, was the characterization of automata that admit first-order behavioral descriptions, in terms of the semigroup- theoretic approach to automata that had recently been developed in the work of Krohn and Rhodes and of Schiitzenberger.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Logic, Symbolic and mathematical.
موضوع مستند نشده
Mathematics.
رده بندی کنگره
شماره رده
QA76
.
9
.
M35
نشانه اثر
B946
1994
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
by Howard Straubing.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Howard Straubing
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
