Language and Automata Theory and Applications : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010, Proceedings
by Dediu, Adrian-Horia; Femau, Henning; Martin-Vide, CarlosFormat: Paperback
Pub. Date: 2010-05-31
Publisher(s): Springer-Verlag New York Inc
Other versions by this Author
List Price: $182.58
Rent Textbook
Select for Price
New Textbook
We're Sorry
Sold Out
Used Textbook
We're Sorry
Sold Out
eTextbook
We're Sorry
Not Available
How Marketplace Works:
- This item is offered by an independent seller and not shipped from our warehouse
- Item details like edition and cover design may differ from our description; see seller's comments before ordering.
- Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
- Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
- Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.
Summary
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.
Table of Contents
| Invited Talks | |
| Complexity in Convex Languages | p. 1 |
| Three Learnable Models for the Description of Language | p. 16 |
| Arbology: Trees and Pushdown Automata | p. 32 |
| Analysis of Communicating Automata | p. 50 |
| Regular Papers | |
| Complexity of the Satisfiability Problem for a Class of Propositional Schemata | p. 58 |
| A Simple n-Dimensional Intrinsically Universal Quantum Cellular Automaton | p. 70 |
| A Fast Longest Common Subsequence Algorithm for Similar Strings | p. 82 |
| Abelian Square-Free Partial Words | p. 94 |
| Avoidable Binary Patterns in Partial Words | p. 106 |
| Equivalence and Inclusion Problem for Strongly Unambiguous Böchi Automata | p. 118 |
| Pregroup Grammars with Letter Promotions | p. 130 |
| A Hierarchical Classification of First-Order Recurrent Neural Networks | p. 142 |
| Choosing Word Occurrences for the Smallest Grammar Problem | p. 154 |
| Agreement and Cliticization in Italian: A Pregroup Analysis | p. 166 |
| Geometricity of Binary Regular Languages | p. 178 |
| On the Expressive Power of FO[+] | p. 190 |
| Finding Consistent Categorial Grammars of Bounded Value: A Parameterized Approach | p. 202 |
| Operator Precedence and the Visibly Pushdown Property | p. 214 |
| On the Maximal Number of Cubic Runs in a String | p. 227 |
| On the Hamiltonian Operators for Adiabatic Quantum Reduction of SAT | p. 239 |
| Parametric Metric Interval Temporal Logic | p. 249 |
| Short Witnesses and Accepting Lassos in ¿-Automata | p. 261 |
| Grammar-Based Compression in a Streaming Model | p. 273 |
| Simplifying Regular Expressions: A Quantitative Perspective | p. 285 |
| A Programming Language Tailored to the Specification and Solution of Differential Equations Describing Processes on Networks | p. 297 |
| The Inclusion Problem for Regular Expressions | p. 309 |
| Learnability of Automatic Classes | p. 321 |
| Untestable Properties Expressible with Four First-Order Quantifiers | p. 333 |
| The Copying Power of Well-Nested Multiple Context-Free Grammars | p. 344 |
| Post Correspondence Problem with Partially Commutative Alphalbets | p. 356 |
| Reversible Pushdown Automata | p. 368 |
| String Extension Learning Using Lattices | p. 380 |
| The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape | p. 392 |
| Primitive Words are Unavoidable for Coutext-Free Languages | p. 403 |
| Model Nonassociative Lambek Calculus with Assumptions: Complexity and Context-Freeness | p. 414 |
| Hard Counting Problems for Partial Words | p. 426 |
| Exact Analysis of Horspool's and Sunday's Pattern Matching Algorithms with Probabilistic Arithmetic Automata | p. 439 |
| SA-REPC - Sequence Alignment with Regular Expression Path Constraint | p. 451 |
| CD-Systems of Stateless Deterministic R(1)-Automata Accept All Rational Trace Languages | p. 463 |
| A Boundary between Universality and Non-universality in Extended Spiking Neural P Systems | p. 475 |
| Using Sums-of-Products for Non-standard Reasoning | p. 488 |
| Restarting Automata with Structured Output and Functional Generative Description | p. 500 |
| A Randomized Numerical Aligner (rNA) | p. 512 |
| Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data | p. 524 |
| Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R) | p. 536 |
| Incremental Building in Peptide Computing to Solve Hamiltonian Path Problem | p. 549 |
| Variable Automata over Infinite Alphabets | p. 561 |
| Some Minimality Results on Biresidual and Biseparable Automata | p. 573 |
| Extending Stochastic Context-Free Grammars for an Application in Bioinformatics | p. 585 |
| Chomsky-Schützenberger-Type Characterization of Multiple Context-Free Languages | p. 596 |
| Complexity of Guided Insertion-Deletion in RNA-Editing | p. 608 |
| Author Index | p. 621 |
| Table of Contents provided by Ingram. All Rights Reserved. |
An electronic version of this book is available through VitalSource.
This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.
By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.
Digital License
You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.
More details can be found here.
A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.
Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.
Please view the compatibility matrix prior to purchase.