Language and Automata Theory and Applications: Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings / Edition 1

Paperback (Print)
Buy New
Buy New from
Used and New from Other Sellers
Used and New from Other Sellers
from $116.73
Usually ships in 1-2 business days
(Save 34%)
Other sellers (Paperback)
  • All (7) from $116.73   
  • New (5) from $116.73   
  • Used (2) from $116.73   

More About This Textbook


This book 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.

The 58 revised full papers presented together with 3 invited lectures and two tutorials were carefully reviewed and selected from 121 submissions. The papers address all the various issues related to automata theory and formal languages.

Read More Show Less

Product Details

Table of Contents

Invited Talks.- Recent Developments in Algorithmic Teaching.- Monadic Second-Order Logic for Graphs: Algorithmic and Language Theoretical Applications.- Descriptional and Computational Complexity of Finite Automata.- Hypothesis Spaces for Learning.- State Complexity of Nested Word Automata.- Regular Papers.- A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations.- Minimal Union-Free Decompositions of Regular Languages.- Commutative Regular Shuffle Closed Languages, Noetherian Property, and Learning Theory.- Matching Trace Patterns with Regular Policies.- Absolute Convergence of Rational Series Is Semi-decidable.- Non-solvable Groups Are Not in FO+MOD+MÂJ2[REG].- Reoptimization of Traveling Salesperson Problems: Changing Single Edge-Weights.- Refinement and Consistency of Timed Modal Specifications.- Nondeterministic Instance Complexity and Proof Systems with Advice.- How Many Holes Can an Unbordered Partial Word Contain?.- An Answer to a Conjecture on Overlaps in Partial Words Using Periodicity Algorithms.- Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization.- Larger Lower Bounds on the OBDD Complexity of Integer Multiplication.- Picture Languages Generated by Assembling Tiles.- Undecidability of Operation Problems for T0L Languages and Subclasses.- Decision Problems for Convex Languages.- On a Family of Morphic Images of Arnoux-Rauzy Words.- Monadic Datalog Tree Transducers.- On Extended Regular Expressions.- Multi-tilde Operators and Their Glushkov Automata.- Non-uniform Cellular Automata.- A Cryptosystem Based on the Composition of Reversible Cellular Automata.- Grammars Controlled by Special Petri Nets.- Nested Counters in Bit-Parallel String Matching.- Bounded Delay and Concurrency for Earliest Query Answering.- Learning by Erasing in Dynamic Epistemic Logic.- The Fault Tolerance of NP-Hard Problems.- Termination of Priority Rewriting.- State Complexity of Combined Operations for Prefix-Free Regular Languages.- Towards a Taxonomy for ECFG and RRPG Parsing.- Counting Parameterized Border Arrays for a Binary Alphabet.- Bounded Hairpin Completion.- Rigid Tree Automata.- Converting Self-verifying Automata into Deterministic Automata.- Two Equivalent Regularizations for Tree Adjoining Grammars.- Self-overlapping Occurrences and Knuth-Morris-Pratt Algorithm for Weighted Matching.- Membership Testing: Removing Extra Stacks from Multi-stack Pushdown Automata.- Automata on Gauss Words.- Analysing Complexity in Classes of Unary Automatic Structures.- An Application of Generalized Complexity Spaces to Denotational Semantics via the Domain of Words.- Segmentation Charts for Czech – Relations among Segments in Complex Sentences.- A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions.- Efficiency of the Symmetry Bias in Grammar Acquisition.- A Series of Run-Rich Strings.- On Accepting Networks of Evolutionary Processors with at Most Two Types of Nodes.- The Halting Problem and Undecidability of Document Generation under Access Control for Tree Updates.- Prediction of Creole Emergence in Spatial Language Dynamics.- On the Average Size of Glushkov’s Automata.- Tiling the Plane with a Fixed Number of Polyominoes.- New Morphic Characterizations of Languages in Chomsky Hierarchy Using Insertion and Locality.- On Parallel Communicating Grammar Systems and Correctness Preserving Restarting Automata.- Finitely Generated Synchronizing Automata.- Genetic Algorithm for Synchronization.- Constructing Infinite Words of Intermediate Arithmetical Complexity.- From Gene Trees to Species Trees through a Supertree Approach.- A Kleene Theorem for Forest Languages.- Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions.- One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit.

Read More Show Less

Customer Reviews

Be the first to write a review
( 0 )
Rating Distribution

5 Star


4 Star


3 Star


2 Star


1 Star


Your Rating:

Your Name: Create a Pen Name or

Barnes & Review Rules

Our reader reviews allow you to share your comments on titles you liked, or didn't, with others. By submitting an online review, you are representing to Barnes & that all information contained in your review is original and accurate in all respects, and that the submission of such content by you and the posting of such content by Barnes & does not and will not violate the rights of any third party. Please follow the rules below to help ensure that your review can be posted.

Reviews by Our Customers Under the Age of 13

We highly value and respect everyone's opinion concerning the titles we offer. However, we cannot allow persons under the age of 13 to have accounts at or to post customer reviews. Please see our Terms of Use for more details.

What to exclude from your review:

Please do not write about reviews, commentary, or information posted on the product page. If you see any errors in the information on the product page, please send us an email.

Reviews should not contain any of the following:

  • - HTML tags, profanity, obscenities, vulgarities, or comments that defame anyone
  • - Time-sensitive information such as tour dates, signings, lectures, etc.
  • - Single-word reviews. Other people will read your review to discover why you liked or didn't like the title. Be descriptive.
  • - Comments focusing on the author or that may ruin the ending for others
  • - Phone numbers, addresses, URLs
  • - Pricing and availability information or alternative ordering information
  • - Advertisements or commercial solicitation


  • - By submitting a review, you grant to Barnes & and its sublicensees the royalty-free, perpetual, irrevocable right and license to use the review in accordance with the Barnes & Terms of Use.
  • - Barnes & reserves the right not to post any review -- particularly those that do not follow the terms and conditions of these Rules. Barnes & also reserves the right to remove any review at any time without notice.
  • - See Terms of Use for other conditions and disclaimers.
Search for Products You'd Like to Recommend

Recommend other products that relate to your review. Just search for them below and share!

Create a Pen Name

Your Pen Name is your unique identity on It will appear on the reviews you write and other website activities. Your Pen Name cannot be edited, changed or deleted once submitted.

Your Pen Name can be any combination of alphanumeric characters (plus - and _), and must be at least two characters long.

Continue Anonymously

    If you find inappropriate content, please report it to Barnes & Noble
    Why is this product inappropriate?
    Comments (optional)