Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
32
views
0
references
Top references
cited by
1
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,787
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Language and Automata Theory and Applications
other
Editor(s):
Adrian-Horia Dediu
,
Henning Fernau
,
Carlos Martín-Vide
Publication date
(Print):
2010
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Language change
Author and book information
Book
ISBN (Print):
978-3-642-13088-5
ISBN (Electronic):
978-3-642-13089-2
Publication date (Print):
2010
DOI:
10.1007/978-3-642-13089-2
SO-VID:
782d087c-8023-40cc-a4eb-6c81d4d81c0e
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Complexity in Convex Languages
pp. 16
Three Learnable Models for the Description of Language
pp. 32
Arbology: Trees and Pushdown Automata
pp. 50
Analysis of Communicating Automata
pp. 58
Complexity of the Satisfiability Problem for a Class of Propositional Schemata
pp. 70
A Simple n-Dimensional Intrinsically Universal Quantum Cellular Automaton
pp. 82
A Fast Longest Common Subsequence Algorithm for Similar Strings
pp. 94
Abelian Square-Free Partial Words
pp. 106
Avoidable Binary Patterns in Partial Words
pp. 118
Equivalence and Inclusion Problem for Strongly Unambiguous Büchi Automata
pp. 130
Pregroup Grammars with Letter Promotions
pp. 142
A Hierarchical Classification of First-Order Recurrent Neural Networks
pp. 154
Choosing Word Occurrences for the Smallest Grammar Problem
pp. 166
Agreement and Cliticization in Italian: A Pregroup Analysis
pp. 178
Geometricity of Binary Regular Languages
pp. 190
On the Expressive Power of FO[ + ]
pp. 202
Finding Consistent Categorial Grammars of Bounded Value: A Parameterized Approach
pp. 214
Operator Precedence and the Visibly Pushdown Property
pp. 227
On the Maximal Number of Cubic Runs in a String
pp. 239
On the Hamiltonian Operators for Adiabatic Quantum Reduction of SAT
pp. 249
Parametric Metric Interval Temporal Logic
pp. 261
Short Witnesses and Accepting Lassos in ω-Automata
pp. 273
Grammar-Based Compression in a Streaming Model
pp. 285
Simplifying Regular Expressions
pp. 297
A Programming Language Tailored to the Specification and Solution of Differential Equations Describing Processes on Networks
pp. 309
The Inclusion Problem for Regular Expressions
pp. 321
Learnability of Automatic Classes
pp. 333
Untestable Properties Expressible with Four First-Order Quantifiers
pp. 344
The Copying Power of Well-Nested Multiple Context-Free Grammars
pp. 356
Post Correspondence Problem with Partially Commutative Alphabets
pp. 368
Reversible Pushdown Automata
pp. 380
String Extension Learning Using Lattices
pp. 392
The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape
pp. 403
Primitive Words Are Unavoidable for Context-Free Languages
pp. 414
Modal Nonassociative Lambek Calculus with Assumptions: Complexity and Context-Freeness
pp. 426
Hard Counting Problems for Partial Words
pp. 439
Exact Analysis of Horspool’s and Sunday’s Pattern Matching Algorithms with Probabilistic Arithmetic Automata
pp. 451
SA-REPC – Sequence Alignment with Regular Expression Path Constraint
pp. 463
CD-Systems of Stateless Deterministic R(1)-Automata Accept All Rational Trace Languages
pp. 475
A Boundary between Universality and Non-universality in Extended Spiking Neural P Systems
pp. 488
Using Sums-of-Products for Non-standard Reasoning
pp. 500
Restarting Automata with Structured Output and Functional Generative Description
pp. 512
A Randomized Numerical Aligner (rNA)
pp. 524
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data
pp. 536
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)
pp. 549
Incremental Building in Peptide Computing to Solve Hamiltonian Path Problem
pp. 561
Variable Automata over Infinite Alphabets
pp. 573
Some Minimality Results on Biresidual and Biseparable Automata
pp. 585
Extending Stochastic Context-Free Grammars for an Application in Bioinformatics
pp. 596
Chomsky-Schützenberger-Type Characterization of Multiple Context-Free Languages
pp. 608
Complexity of Guided Insertion-Deletion in RNA-Editing
Similar content
4,787
Inference of Event-Recording Automata Using Timed Decision Trees
Authors:
Olga Grinchtein
,
Bengt. Jonsson
,
Paul Pettersson
Control of cellular automata
Authors:
Raul Rechtman
,
Franco Bagnoli
,
Samira El Yacoubi
On real-time cellular automata and trellis automata
Authors:
C. Choffrut
,
K. Čulík
See all similar
Cited by
1
Solving Stochastic B\"uchi Games on Infinite Arenas with a Finite Attractor
Authors:
,
See all cited by