Language and Automata Theory and Applications: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings (Lecture Notes in Computer Science)
暫譯: 語言與自動機理論及其應用:第十二屆國際會議 LATA 2018,2018年4月9-11日,以色列拉馬特甘,會議錄(計算機科學講義)

  • 出版商: Springer
  • 出版日期: 2018-03-08
  • 售價: $2,420
  • 貴賓價: 9.5$2,299
  • 語言: 英文
  • 頁數: 332
  • 裝訂: Paperback
  • ISBN: 3319773127
  • ISBN-13: 9783319773124
  • 相關分類: Computer-Science
  • 海外代購書籍(需單獨結帳)

商品描述

This book constitutes the refereed proceedings of the 12th International Conference on Language and Automata Theory and Applications, LATA 2018, held in Ramat Gan, Israel, in April 2018.
The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 58 submissions. The papers cover fields like algebraic language theory, algorithms for semi-structured data mining, algorithms on automata and words, automata and logic, automata for system analysis and programme verification, automata networks, automatic structures, codes, combinatorics on words, computational complexity, concurrency and Petri nets, data and image compression, descriptional complexity, 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, language-based cryptography, mathematical and logical foundations of programming methodologies, parallel and regulated rewriting, parsing, patterns, power series, string processing algorithms, symbolic dynamics, term rewriting, transducers, trees, tree languages and tree automata, and weighted automata.

商品描述(中文翻譯)

本書為第十二屆國際語言與自動機理論及應用會議(LATA 2018)的經過審核的會議論文集,該會議於2018年4月在以色列拉馬特甘舉行。

本書收錄了20篇經過修訂的完整論文及3篇邀請論文,這些論文是從58篇投稿中仔細審核和選出的。這些論文涵蓋的領域包括代數語言理論、半結構化數據挖掘的演算法、自動機與字串的演算法、自動機與邏輯、系統分析與程式驗證的自動機、自動機網絡、自動結構、編碼、字串組合學、計算複雜度、並行性與佩特里網、數據與影像壓縮、描述複雜度、有限狀態技術的基礎、XML的基礎、文法(喬姆斯基層級、上下文、統一、類別等)、文法推斷與演算法學習、圖形與圖形轉換、語言變體與半群、基於語言的密碼學、程式方法論的數學與邏輯基礎、平行與規範重寫、解析、模式、冪級數、字串處理演算法、符號動力學、項重寫、轉換器、樹、樹語言與樹自動機,以及加權自動機。

類似商品