توضیحات
This book constitutes the refereed proceedings of the 8th International Conference on Language and Automata Theory and Applications, LATA 2014, held in Madrid, Spain in March 2014.
The 45 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 116 submissions. The papers cover the following topics: algebraic language theory; algorithms on automata and words; automata and logic; automata for system analysis and program verification; automata, concurrency and Petri nets; automatic structures; combinatorics on words; computability; computational complexity; descriptional complexity; DNA and other models of bio-inspired computing; foundations of finite state technology; foundations of XML; grammars (Chomsky hierarchy, contextual, unification, categorial, etc.); grammatical inference and algorithmic learning; graphs and graph transformation; language varieties and semigroups; parsing; patterns; quantum, chemical and optical computing; semantics; string and combinatorial issues in computational biology and bioinformatics; string processing algorithms; symbolic dynamics; term rewriting; transducers; trees, tree languages and tree automata; weighted automata.
————————————————————–
ترجمه ماشینی :
این کتاب مجموعه مقالات داوری هشتمین کنفرانس بین المللی زبان و تئوری و کاربردهای خودکار، LATA 2014، که در مارس 2014 در مادرید، اسپانیا برگزار شد، تشکیل می شود.
45 مقاله کامل اصلاح شده ارائه شده به همراه 4 سخنرانی دعوت شده با دقت ارائه شده است. بررسی و انتخاب از 116 ارسالی. این مقالات موضوعات زیر را پوشش می دهد: نظریه زبان جبری. الگوریتم های خودکار و کلمات؛ خودکار و منطق؛ خودکار برای تجزیه و تحلیل سیستم و تأیید برنامه؛ اتومات، شبکه های همزمان و پتری؛ سازه های اتوماتیک؛ ترکیبیات در کلمات؛ قابلیت محاسبه؛ پیچیدگی محاسباتی؛ پیچیدگی توصیفی؛ DNA و سایر مدلهای محاسباتی با الهام از زیستی؛ مبانی فناوری حالت محدود؛ مبانی XML؛ گرامرها (سلسله مراتب چامسکی، متنی، وحدت، دسته بندی و غیره)؛ استنتاج دستوری و یادگیری الگوریتمی؛ نمودارها و تبدیل گراف؛ انواع زبان ها و نیمه گروه ها؛ تجزیه; الگوها؛ محاسبات کوانتومی، شیمیایی و نوری؛ مفاهیم؛ موضوعات رشته ای و ترکیبی در زیست شناسی محاسباتی و بیوانفورماتیک؛ الگوریتم های پردازش رشته ای؛ پویایی نمادین؛ بازنویسی اصطلاح؛ مبدل ها؛ درختان، زبان های درختی و اتوماتای درختی؛ خودکار وزنی.
tag : دانلود کتاب تئوری و کاربردهای زبان و اتوماتا: هشتمین کنفرانس بین المللی، LATA 2014، مادرید، اسپانیا، 10-14 مارس 2014. مجموعه مقالات , Download تئوری و کاربردهای زبان و اتوماتا: هشتمین کنفرانس بین المللی، LATA 2014، مادرید، اسپانیا، 10-14 مارس 2014. مجموعه مقالات , دانلود تئوری و کاربردهای زبان و اتوماتا: هشتمین کنفرانس بین المللی، LATA 2014، مادرید، اسپانیا، 10-14 مارس 2014. مجموعه مقالات , Download Language and Automata Theory and Applications: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings Book , تئوری و کاربردهای زبان و اتوماتا: هشتمین کنفرانس بین المللی، LATA 2014، مادرید، اسپانیا، 10-14 مارس 2014. مجموعه مقالات دانلود , buy تئوری و کاربردهای زبان و اتوماتا: هشتمین کنفرانس بین المللی، LATA 2014، مادرید، اسپانیا، 10-14 مارس 2014. مجموعه مقالات , خرید کتاب تئوری و کاربردهای زبان و اتوماتا: هشتمین کنفرانس بین المللی، LATA 2014، مادرید، اسپانیا، 10-14 مارس 2014. مجموعه مقالات , دانلود کتاب Language and Automata Theory and Applications: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings , کتاب Language and Automata Theory and Applications: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings , دانلود Language and Automata Theory and Applications: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings , خرید Language and Automata Theory and Applications: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings , خرید کتاب Language and Automata Theory and Applications: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.