Language and Automata Theory and Applications

Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings

AvAdrian Horia Dediu,Armand Mihai Ionescu

Häftad, Engelska, 2009

Del i serien Lecture Notes in Computer Science

1 136 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

572 kr

572 kr

555 kr

555 kr

555 kr

572 kr

572 kr

573 kr

572 kr

1 136 kr

Beskrivning

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.

Produktinformation

Utgivningsdatum:2009-03-09
Mått:155 x 235 x 42 mm
Vikt:1 147 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:754
Upplaga:2009
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642009815

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

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 andConcurrency 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.

Mer från samma författare

Del 15939

Ethical and Social Impacts of Information and Communication Technology

Isabel Alvarez, Mario Arias-Oliva, Adrian-Horia Dediu, Nuno Silva

Häftad, 2025

672 kr

Ethical and Social Impacts of Information and Communication Technology

Nuno Silva, Adrian-Horia Dediu, Mario Arias-Oliva, Isabel Alvarez

E-bok

2025

880 kr

Language and Automata Theory and Applications

Bianca Truthe, Jose-Luis Sierra-Rodriguez, Carlos Martin-Vide, Adrian-Horia Dediu

E-bok

2014

718 kr

Del 8542

Algorithms for Computational Biology

Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe

Häftad, 2014

533 kr

Algorithms for Computational Biology

Bianca Truthe, Carlos Martin-Vide, Adrian-Horia Dediu

E-bok

2014

638 kr

Del 8791

Statistical Language and Speech Processing

Laurent Besacier, Adrian-Horia Dediu, Carlos Martín-Vide

Häftad, 2014

549 kr

Statistical Language and Speech Processing

Carlos Martin-Vide, Adrian-Horia Dediu, Laurent Besacier

E-bok

2014

657 kr

Del 8890

Theory and Practice of Natural Computing

Adrian-Horia Dediu, Manuel Lozano, Carlos Martín-Vide

Häftad, 2014

549 kr

Theory and Practice of Natural Computing

Carlos Martin-Vide, Manuel Lozano, Adrian-Horia Dediu

E-bok

2014

657 kr

Language and Automata Theory and Applications

Bianca Truthe, Carlos Martin-Vide, Enrico Formenti, Adrian-Horia Dediu

E-bok

2015

712 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

Pokémon Pokémon Mega Evolution 05 - Pitch Black Booster

Pokémon

79 kr

Language and Automata Theory and Applications

Carlos Martin-Vide, Armand Mihai Ionescu, Adrian Horia Dediu

E-bok

2009

1 470 kr

Language and Automata Theory and Applications

Carlos Martin-Vide, Henning Fernau, Adrian Horia Dediu

Häftad, 2010

1 136 kr

Del 9618

Language and Automata Theory and Applications

Adrian-Horia Dediu, Jan Janoušek, Carlos Martín-Vide, Bianca Truthe

Häftad, 2016

572 kr

Language and Automata Theory and Applications

Adrian-Horia Dediu, Carlos Martín-Vide, Shunsuke Inenaga

Häftad, 2011

555 kr

Del 11417

Language and Automata Theory and Applications

Carlos Martín-Vide, Alexander Okhotin, Dana Shapira

Häftad, 2019

572 kr

Del 12638

Language and Automata Theory and Applications

Alberto Leporati, Carlos Martín-Vide, Dana Shapira, Claudio Zandron

Häftad, 2021

555 kr

Language and Automata Theory and Applications

Adrian-Horia Dediu, Carlos Martín-Vide

Häftad, 2012

555 kr

Del 10792

Language and Automata Theory and Applications

Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira

Häftad, 2018

573 kr

Language and Automata Theory and Applications

Carlos Martin-Vide, Friedrich Otto, Henning Fernau

Häftad, 2008

572 kr

Language and Automata Theory and Applications

Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings

AvAdrian Horia Dediu,Armand Mihai Ionescu

Häftad, Engelska, 2009

Del i serien Lecture Notes in Computer Science

1 136 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

572 kr

572 kr

555 kr

555 kr

555 kr

572 kr

572 kr

573 kr

572 kr

1 136 kr

Beskrivning

Produktinformation

Utgivningsdatum:2009-03-09
Mått:155 x 235 x 42 mm
Vikt:1 147 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:754
Upplaga:2009
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642009815

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

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 andConcurrency 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.

Mer från samma författare

Del 15939

Ethical and Social Impacts of Information and Communication Technology

Isabel Alvarez, Mario Arias-Oliva, Adrian-Horia Dediu, Nuno Silva

Häftad, 2025

672 kr

Ethical and Social Impacts of Information and Communication Technology

Nuno Silva, Adrian-Horia Dediu, Mario Arias-Oliva, Isabel Alvarez

E-bok

2025

880 kr

Language and Automata Theory and Applications

Bianca Truthe, Jose-Luis Sierra-Rodriguez, Carlos Martin-Vide, Adrian-Horia Dediu

E-bok

2014

718 kr

Del 8542

Algorithms for Computational Biology

Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe

Häftad, 2014

533 kr

Algorithms for Computational Biology

Bianca Truthe, Carlos Martin-Vide, Adrian-Horia Dediu

E-bok

2014

638 kr

Del 8791

Statistical Language and Speech Processing

Laurent Besacier, Adrian-Horia Dediu, Carlos Martín-Vide

Häftad, 2014

549 kr

Statistical Language and Speech Processing

Carlos Martin-Vide, Adrian-Horia Dediu, Laurent Besacier

E-bok

2014

657 kr

Del 8890

Theory and Practice of Natural Computing

Adrian-Horia Dediu, Manuel Lozano, Carlos Martín-Vide

Häftad, 2014

549 kr

Theory and Practice of Natural Computing

Carlos Martin-Vide, Manuel Lozano, Adrian-Horia Dediu

E-bok

2014

657 kr

Language and Automata Theory and Applications

Bianca Truthe, Carlos Martin-Vide, Enrico Formenti, Adrian-Horia Dediu

E-bok

2015

712 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

555 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

933 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr