Author: Publisher: Springer Nature
ISBN: 3031700945
Category :
Languages : en
Pages : 415
Book Description
Author: Publisher: Springer Nature
ISBN: 3031700945
Category :
Languages : en
Pages : 415
Book Description
Fundamentals of Computation Theory
Author: Erzsébet Csuhaj-VarjúPublisher: Springer
ISBN: 3540742409
Category : Computers
Languages : en
Pages : 519
Book Description
This book features the refereed proceedings of the 16th International Symposium on Fundamentals of Computation Theory. Thirty-nine full papers are presented along with four invited papers. The papers address all current topics in computation theory, including automata and formal languages, design and analysis of algorithms, computational and structural complexity, semantics, logic, circuits and networks, learning theory, and more.
Language and Automata Theory and Applications
Author: Carlos Martin-VidePublisher: Springer Science & Business Media
ISBN: 3642130887
Category : Computers
Languages : en
Pages : 633
Book Description
This book constitutes the proceedings of the 4th International Conference, LATA 2010, held in May 2010 in Trier, Germany. The 47 full papers presented were carefully selected from 115 submissions and focus on topics such as algebraic language theory , algorithmic learning, bioinformatics, computational biology, pattern recognition, program verification, term rewriting and tree machines.
Language and Automata Theory and Applications
Author: Adrian-Horia DediuPublisher: Springer
ISBN: 3642212549
Category : Computers
Languages : en
Pages : 524
Book Description
This book constitutes the refereed proceedings of the 5th International Conference on Language and Automata Theory and Applications, LATA 2011, held in Tarragona, Spain in May 2011. The 36 revised full papers presented together with four invited articles were carefully selected from 91 submissions. Among the topics covered are algebraic language theory, automata and logic, systems analysis, systems verifications, computational complexity, decidability, unification, graph transformations, language-based cryptography, and applications in data mining, computational learning, and pattern recognition.
Descriptional Complexity of Formal Systems
Author: Markus HolzerPublisher: Springer
ISBN: 3642226000
Category : Computers
Languages : en
Pages : 337
Book Description
This book constitutes the refereed proceedings of the 13th International Workshop of Descriptional Complexity of Formal Systems 2011, held in Limburg, Germany, in July 2011. The 21 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 54 submissions. The topics covered are automata, grammars, languages and related systems, various measures and modes of operations (e.g., determinism and nondeterminism); trade-offs between computational models and/or operations; succinctness of description of (finite) objects; state explosion-like phenomena; circuit complexity of Boolean functions and related measures; resource-bounded or structure-bounded environments; frontiers between decidability and undecidability; universality and reversibility; structural complexity; formal systems for applications (e.g., software reliability, software and hardware testing, modeling of natural languages); nature-motivated (bio-inspired) architectures and unconventional models of computing; Kolmogorov complexity.
SOFSEM 2010: Theory and Practice of Computer Science
Author: Jan van LeeuwenPublisher: Springer Science & Business Media
ISBN: 364211265X
Category : Computers
Languages : en
Pages : 795
Book Description
This book constitutes the refereed proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010, held in Špindleruv Mlýn, Czech Republic, in January 2009. The 53 revised full papers, presented together with 11 invited contributions, were carefully reviewed and selected from 134 submissions. SOFSEM 2010 was organized around the following four tracks: Foundations of computer science, principles of software construction, Data, knowledge, and intelligent systems and Web science.
Weighted Restarting Automata
Author: Qichao WangPublisher: kassel university press GmbH
ISBN: 3737604460
Category :
Languages : en
Pages : 159
Book Description
Implementation and Application of Automata
Author: Yo-Sub HanPublisher: Springer
ISBN: 3319409468
Category : Computers
Languages : en
Pages : 348
Book Description
This book constitutes the refereed proceedings of the 21st InternationalConference on Implementation and Application of Automata, CIAA 2016,held in Seoul, South Korea, in July 2016. The 26 revised full papers presented were carefully reviewed and selected from49 submissions. The papers cover a wide range of topics including characterizations of automata, computing distances between strings and languages, implementations ofautomata and experiments, enhanced regular expressions, and complexity analysis.
Implementation and Application of Automata
Author: Michael DomaratzkiPublisher: Springer Science & Business Media
ISBN: 3642180973
Category : Computers
Languages : en
Pages : 342
Book Description
This book constitutes the thoroughly refereed papers of the 15th International Conference on Implementation and Application of Automata, CIAA 2010, held in Manitoba, Winnipeg, Canada, in August 2010. The 26 revised full papers together with 6 short papers were carefully selected from 52 submissions. The papers cover various topics such as applications of automata in computer-aided verification; natural language processing; pattern matching, data storage and retrieval; bioinformatics; algebra; graph theory; and foundational work on automata theory.
Implementation and Application of Automata
Author: Benedek NagyPublisher: Springer Nature
ISBN: 3031402472
Category : Computers
Languages : en
Pages : 313
Book Description
This book constitutes the proceedings of the 27th International Conference on Implementation and Application of Automata, CIAA 2023, held in Famagusta, North Cyprus, during September 19–22, 2023. The 20 regular papers presented in this book together with invited talks were carefully reviewed and selected from 30 submissions. The topics of the papers cover various fields in the application, implementation, and theory of automata and related structures.
