Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8370)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): LATA: International Conference on Language and Automata Theory and Applications
Conference proceedings info: LATA 2014.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (49 papers)
-
Front Matter
-
Regular Papers
About this book
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.
Keywords
- algebraic complexity theory
- algebraic language theory
- combinatorics on words
- computational complexity
- concurrency
- data structures design and analysis
- formal languages and automata theory
- grammars and context-free languages
- graph algorithms
- logic
- parsers
- rewrite systems
- symbolic and algebraic algorithms
- symbolic and algebraic manipulation
- tree languages
- algorithm analysis and problem complexity
Editors and Affiliations
-
Research Group on Mathematical Linguistics, Rovira i Virgili University, Tarragona, Spain
Adrian-Horia Dediu, Carlos Martín-Vide
-
School of Computer Science, Department of Software Engineering and Artificial Intelligence, Complutense University of Madrid, Madrid, Spain
José-Luis Sierra-Rodríguez
-
Fakultät für Informatik, Institut für Wissens- und Sprachverarbeitung, Otto-von-Guericke-Universität Magdeburg, Magdeburg, Germany
Bianca Truthe
Bibliographic Information
Book Title: Language and Automata Theory and Applications
Book Subtitle: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014, Proceedings
Editors: Adrian-Horia Dediu, Carlos Martín-Vide, José-Luis Sierra-Rodríguez, Bianca Truthe
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-04921-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2014
Softcover ISBN: 978-3-319-04920-5Published: 03 March 2014
eBook ISBN: 978-3-319-04921-2Published: 05 February 2014
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 614
Number of Illustrations: 108 b/w illustrations
Topics: Computation by Abstract Devices, Symbolic and Algebraic Manipulation, Discrete Mathematics in Computer Science, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Artificial Intelligence
Industry Sectors: Aerospace, Consumer Packaged Goods, Electronics, Energy, Utilities & Environment, Engineering, Finance, Business & Banking, IT & Software, Law, Materials & Steel, Oil, Gas & Geosciences, Pharma, Telecommunications