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
128
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,503
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Language and Automata Theory and Applications
other
Editor(s):
Adrian-Horia Dediu
,
Enrico Formenti
,
Carlos Martín-Vide
,
Bianca Truthe
Publication date
(Print):
2015
Publisher:
Springer International Publishing
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-319-15578-4
ISBN (Electronic):
978-3-319-15579-1
Publication date (Print):
2015
DOI:
10.1007/978-3-319-15579-1
SO-VID:
7315b45d-e8ba-47fa-99b5-7bdf50937238
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications
pp. 25
Automated Program Verification
pp. 47
Hankel Matrices: From Words to Graphs (Extended Abstract)
pp. 56
Complexity Classes for Membrane Systems: A Survey
pp. 70
The Shuffle Product: New Research Directions
pp. 85
Average-Case Optimal Approximate Circular String Matching
pp. 97
An Efficient Best-Trees Algorithm for Weighted Tree Automata over the Tropical Semiring
pp. 109
Construction of a de Bruijn Graph for Assembly from a Truncated Suffix Tree
pp. 121
Frequent Pattern Mining with Non-overlapping Inversions
pp. 133
A Parallel Algorithm for Finding All Minimal Maximum Subsequences via Random Walk
pp. 145
Building Bridges Between Sets of Partial Orders
pp. 161
Complexity of Road Coloring with Prescribed Reset Words
pp. 175
Logics for Unordered Trees with Data Constraints on Siblings
pp. 188
Weak and Nested Class Memory Automata
pp. 200
Insertion Operations on Deterministic Reversal-Bounded Counter Machines
pp. 212
On the Synchronizing Probability Function and the Triple Rendezvous Time
pp. 224
On Robot Games of Degree Two
pp. 237
Time-Bounded Reachability Problem for Recursive Timed Automata is Undecidable
pp. 249
On Observability of Automata Networks via Computational Algebra
pp. 263
Reasoning on Schemas of Formulas: An Automata-Based Approach
pp. 275
Derivatives for Regular Shuffle Expressions
pp. 287
From $$\omega $$ -Regular Expressions to Büchi Automata via Partial Derivatives
pp. 299
Quotient of Acceptance Specifications Under Reachability Constraints
pp. 315
Structure and Measure of a Decidable Class of Two-dimensional Codes
pp. 328
On Torsion-Free Semigroups Generated by Invertible Reversible Mealy Automata
pp. 340
Coding Non-orientable Laminations
pp. 353
Preset Distinguishing Sequences and Diameter of Transformation Semigroups
pp. 365
Hierarchy and Expansiveness in 2D Subshifts of Finite Type
pp. 381
On the Number of Closed Factors in a Word
pp. 391
Online Computation of Abelian Runs
pp. 402
Coverability in Two Dimensions
pp. 414
Equation $$x^iy^jx^k=u^iv^ju^k$$ in Words
pp. 424
Square-Free Words over Partially Commutative Alphabets
pp. 436
On the Language of Primitive Partial Words
pp. 449
Complexity of Regular Functions
pp. 461
A Nonuniform Circuit Class with Multilayer of Threshold Gates Having Super Quasi Polynomial Size Lower Bounds Against NEXP
pp. 473
Finite Automata for the Sub- and Superword Closure of CFLs: Descriptional and Computational Complexity
pp. 486
A Game Characterisation of Tree-like Q-resolution Size
pp. 499
Recurrence Relations, Succession Rules, and the Positivity Problem
pp. 511
On the Complexity of Fragments of the Modal Logic of Allen’s Relations over Dense Structures
pp. 524
Parameterized Enumeration for Modification Problems
pp. 537
Preimage Problems for Reaction Systems
pp. 549
Parameterized Complexity of CTL
pp. 563
Single-Pass Testing Automata for LTL Model Checking
pp. 577
Compressed Data Structures for Range Searching
pp. 587
Average Linear Time and Compressed Space Construction of the Burrows-Wheeler Transform
pp. 599
Backward Linearised Tree Pattern Matching
pp. 611
BFS-Based Symmetry Breaking Predicates for DFA Identification
pp. 623
Learning Conjunctive Grammars and Contextual Binary Feature Grammars
pp. 639
Recognizable Series on Hypergraphs
pp. 652
Towards More Precise Rewriting Approximations
pp. 664
Sorting Networks: The End Game
pp. 676
Bounding Clique-Width via Perfect Graphs
pp. 689
Order Structures for Subclasses of Generalised Traces
pp. 703
A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic
pp. 716
Rational Selecting Relations and Selectors
pp. 727
A Hierarchy of Transducing Observer Systems
pp. 739
Sublinear DTD Validity
Similar content
4,503
The complementation problem for Büchi automata with applications to temporal logic
Authors:
A. Sistla
,
Moshe Vardi
,
Pierre Wolper
Good-for-MDPs Automata for Probabilistic Analysis and Reinforcement Learning
Authors:
Ernst Hahn
,
Mateo Perez
,
Sven Schewe
…
Optimal Control of Discrete Hybrid Stochastic Automata
Authors:
Alberto Bemporad
,
Stefano Di Cairano
See all similar
Cited by
1
Counting Complexity for Reasoning in Abstract Argumentation
Authors:
Johannes Fichte
,
Markus Hecher
,
Arne Meier
See all cited by