کتاب دانلود کتب لاتین علوم مهندسیرایانه، اینترنت و فناوری اطلاعات
پیچیدگی توصیفی سیستم های رسمی
پیچیدگی توصیفی سیستم های رسمی

Descriptional Complexity of Formal Systems - 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings
سال انتشار: 2019
تعداد صفحات: 309
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 7MB
رمز فایل: www.ketabdownload.com

دانلود رایگان

Publisher : Springer

ISBN-10 : 3030232468

ISBN-13 : 978-3030232467

ASIN : B07V1V74YJ

This book constitutes the proceedings of the 21st International Conference on Descriptional Complexity of Format Systems, DCFS 2019, held in Košice, Slovakia, in July 2019.

The 18 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The book also contains 4 invited talks. They deal with all aspects of descriptional complexity and costs of description of objects in various computational models, such as Turing machines, pushdown automata, finite automata, grammars, and others.