Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
25
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
988
similar
All similar
Record
: found
Abstract
: not found
Book
: not found
Implementation and Application of Automata : 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings
other
Editor(s):
Yo-Sub Han
,
Kai Salomaa
Publication date
(Print):
2016
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
Perspectives in Scholarly Publishing
Author and book information
Book
ISBN (Print):
978-3-319-40945-0
ISBN (Electronic):
978-3-319-40946-7
Publication date (Print):
2016
DOI:
10.1007/978-3-319-40946-7
SO-VID:
e366e768-6799-47f3-88ff-fb3979602e2d
License:
http://www.springer.com/tdm
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 3
Decision Problems for Finite Automata over Infinite Algebraic Structures
pp. 15
The Degree of Irreversibility in Deterministic Finite Automata
pp. 27
Deterministic Stack Transducers
pp. 39
Computing the Expected Edit Distance from a String to a PFA
pp. 51
Derived-Term Automata of Multitape Rational Expressions
pp. 64
Solving Parity Games Using an Automata-Based Algorithm
pp. 77
Ternary Equational Languages
pp. 89
Problems on Finite Automata and the Exponential Time Hypothesis
pp. 101
A Practical Algorithm for the Uniform Membership Problem of Labeled Multidigraphs of Tree-Width 2 for Spanning Tree Automata
pp. 113
A Practical Simulation Result for Two-Way Pushdown Automata
pp. 125
Nondeterministic Complexity of Operations on Closed and Ideal Languages
pp. 138
On Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L
pp. 150
Kuratowski Algebras Generated by Prefix-Free Languages
pp. 163
A Logical Characterization of Small 2NFAs
pp. 176
Experiments with Synchronizing Automata
pp. 189
Implementation of Code Properties via Transducers
pp. 202
On Synchronizing Automata and Uniform Distribution
pp. 213
Looking for Pairs that Hard to Separate: A Quantum Approach
pp. 224
Prefix Distance Between Regular Languages
pp. 236
Complexity of Sets of Two-Dimensional Patterns
pp. 248
The Complexity of Fixed-Height Patterned Tile Self-assembly
pp. 260
Derivative-Based Diagnosis of Regular Expression Ambiguity
pp. 273
Regular Approximation of Weighted Linear Nondeleting Context-Free Tree Languages
pp. 285
Derivatives for Enhanced Regular Expressions
pp. 298
Weighted Restarting Automata as Language Acceptors
pp. 310
Enhancing Practical TAG Parsing Efficiency by Capturing Redundancy
pp. 322
Analyzing Matching Time Behavior of Backtracking Regular Expression Matchers by Using Ambiguity of NFA
Similar content
988
Work values of the next generation of business leaders in Shanghai, Tokyo, and Seoul
Authors:
Fabian Jintae Froese
Machine-learning-based prediction of land prices in Seoul, South Korea
Authors:
Transit-oriented development in a high-density city: Identifying its association with transit ridership in Seoul, Korea
Authors:
Hyungun Sung
,
Ju-Taek Oh
See all similar
Cited by
1
A Comparison of BDD-Based Parity Game Solvers
Authors:
Lisette Sanchez
,
Wieger Wesselink
,
Tim A. C. Willemse
See all cited by