Developments in Language Theory, Masami Ito; Masafumi Toyama

Автор: Brlek
Название: Developments in Language Theory
ISBN: 3662531313 ISBN-13(EAN): 9783662531310
Издательство: Springer
Рейтинг:
Цена: 9224.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 20th International Conference on Developments in Language Theory, DLT 2016, held in Montreal, QC, Canada, in July 2016. The 32 full papers and 4 abstracts of invited papers presented were carefully reviewed and selected from 48 submissions.

Автор: Igor Potapov
Название: Developments in Language Theory
ISBN: 3319214993 ISBN-13(EAN): 9783319214993
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Recognisable Languages over Monads.- Garside and quadratic normalisation: a survey.- Grammar-Based Tree Compression.- On decidability of intermediate levels of concatenation hierarchies.- Ergodic in Finite permutations of minimal complexity.- Diverse Palindromic Factorization is NP-Complete.- Factorization in Formal Languages.- Consensus Game Acceptors.- On the Size of Two-Way Reasonable Automata for the Liveness Problem.- Squareable Words.- Complexity Analysis: Transformation Monoids of Finite Automata.- Palindromic complexity of trees.- Deciding proper conjugacy of classes of one-sided Finite-type-Dyck shifts.- Transfinite Lyndon words.- Unary patterns under permutations.- Finite Automata Over In Finite Alphabets: Two Models with Transitions for Local Change.- Enumeration formulin neutral sets.- On the Density of Context-Free and Counter Languages.- Star-Continuous Kleene Omega-Algebras.- Unary probabilistic and quantum automata on promise problems.- Generalizations of Code Languages with Marginal Errors.- Minimal Reversible Deterministic Finite Automata.- Multi-Sequential Word Relations.- The Boundary of Prefix-Free Languages.- A connected 3-state reversible Mealy automaton cannot generate an infinite Burnside group.- Path Checking for MTL and TPTL over Data Words.- On Distinguishing NC1 and NL.- Sur minimisation of automata.- On the Complexity of k-Piecewise Testability and the Depth of Automata.- Interval Exchange Words and the Question of Hof, Knill, and Simon.- State Complexity of Neighbourhoods and Approximate Pattern Matching.- Deterministic ordered restarting automata that compute functions.- Weight Assignment Logic.- Complexity Bounds of Constant-Space Quantum Computation.

Автор: Werner Kuich; Grzegorz Rozenberg; Arto Salomaa
Название: Developments in Language Theory
ISBN: 3540434534 ISBN-13(EAN): 9783540434535
Издательство: Springer
Рейтинг:
Цена: 11179.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed post-proceedings of the 5th International Conference on Developments in Language Theory held in Austria in 2001. The 24 full papers cover grammars and acceptors, efficient algorithms for languages, combinatorial and algebraic properties, decision problems and more.

Автор: Cristian S. Calude; Elena Calude; Michael J. Dinne
Название: Developments in Language Theory
ISBN: 3540240144 ISBN-13(EAN): 9783540240143
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Steven Roman
Название: An Introduction to the Language of Category Theory
ISBN: 3319419161 ISBN-13(EAN): 9783319419169
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Поставка под заказ.

Описание: The first chapter of the book introduces the definitions of category and functor and discusses diagrams,duality, initial and terminal objects, special types of morphisms, and some special types of categories,particularly comma categories and hom-set categories.

Автор: Carlos Martin-Vide; Friedrich Otto; Henning Fernau
Название: Language and Automata Theory and Applications
ISBN: 3540882812 ISBN-13(EAN): 9783540882817
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and Applications, LATA 2008, held in Tarragona, Spain, in March 2008. This book presents 40 revised papers that are reviewed and selected from 134 submissions and deal with the various issues related to automata theory and formal languages.

Автор: Adrian Horia Dediu; Armand Mihai Ionescu; Carlos M
Название: Language and Automata Theory and Applications
ISBN: 3642009816 ISBN-13(EAN): 9783642009815
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the Third International Conference on Language and Automata Theory and Applications, LATA 2009, held in Tarragona, Spain, in April 2009. This work contains papers that address the various issues related to automata theory and formal languages.

Название: Visual language theory
ISBN: 1461272408 ISBN-13(EAN): 9781461272403
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A broad-ranging survey of our current understanding of visual languages and their theoretical foundations. Its main focus is the definition, specification, and structural analysis of visual languages by grammars, logic, and algebraic methods and the use of these techniques in visual language implementation.

Автор: Frank Drewes; Carlos Mart?n-Vide; Bianca Truthe
Название: Language and Automata Theory and Applications
ISBN: 3319537326 ISBN-13(EAN): 9783319537320
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 11th International Conference on Language and Automata Theory and Applications, LATA 2017, held in Umea, Sweden, in March 2017. The 31 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 73 submissions.

Автор: Adrian-Horia Dediu; Carlos Mart?n-Vide; Jos?-Luis
Название: Language and Automata Theory and Applications
ISBN: 3319049208 ISBN-13(EAN): 9783319049205
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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. trees, tree languages and tree automata;