Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
Blog
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Publishing
DrugRxiv
Drug Repurposing
Network Medicine
About
REPO4EU
Meet the team
Drug Repurposing Research Collection
Conference
My ScienceOpen
Sign in
Register
Dashboard
Search
30
views
9
references
Top references
cited by
2
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,388
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Correctness Preservation and Complexity of Simple RL-Automata
other
Author(s):
H. Messerschmidt
,
F. Mráz
,
F. Otto
,
M. Plátek
Publication date
(Print):
2006
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
ScienceOpen Research
Most cited references
9
Record
: found
Abstract
: not found
Book
: not found
Marcus Contextual Grammars
Gheorghe Păun
(1997)
0
comments
Cited
8
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Restarting Automata and Their Relations to the Chomsky Hierarchy
Friedrich Otto
(2003)
0
comments
Cited
6
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Serial combination of rules and statistics: a case study in Czech tagging
Jan Hajič
,
Pavel Krbec
,
Pavel Květoň
…
(2001)
0
comments
Cited
6
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2006
Pages
: 162-172
DOI:
10.1007/11812128_16
SO-VID:
4c29ff19-6ac6-4807-9a5c-4b09707f96ab
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Information Distance and Its Applications
pp. 10
Theory Inspired by Gene Assembly in Ciliates
pp. 11
On the State Complexity of Combined Operations
pp. 23
Path-Equivalent Removals of ε-transitions in a Genomic Weighted Finite Automaton
pp. 34
Hybrid Extended Finite Automata
pp. 46
Refinement of Near Random Access Video Coding with Weighted Finite Automata
pp. 58
Borders and Finite Automata
pp. 69
Finding Common Motifs with Gaps Using Finite Automata
pp. 78
Factor Oracles
pp. 90
Reducing Simple Grammars: Exponential Against Highly-Polynomial Time in Practice
pp. 102
Tiburon: A Weighted Tree Automata Toolkit
pp. 114
Around Hopcroft’s Algorithm
pp. 126
Multi-tape Automata with Symbol Classes
pp. 137
On the Computation of Some Standard Distances Between Probabilistic Automata
pp. 150
Does o-Substitution Preserve Recognizability?
pp. 162
Correctness Preservation and Complexity of Simple RL-Automata
pp. 173
Bisimulation Minimization of Tree Automata
pp. 186
Forgetting Automata and Unary Languages
pp. 198
Structurally Unambiguous Finite Automata
pp. 208
Symbolic Implementation of Alternating Automata
pp. 219
On-the-Fly Branching Bisimulation Minimization for Compositional Analysis
pp. 230
Finite-State Temporal Projection
pp. 242
Compiling Linguistic Constraints into Finite State Automata
pp. 253
Shift-Resolve Parsing: Simple, Unbounded Lookahead, Linear Time
pp. 265
A Family of Algorithms for Non Deterministic Regular Languages Inference
pp. 275
XSLT Version 2.0 Is Turing-Complete: A Purely Transformation Based Proof
pp. 277
A Finite Union of DFAs in Symbolic Model Checking of Infinite Systems
pp. 279
Universality of Hybrid Quantum Gates and Synthesis Without Ancilla Qudits
pp. 281
Reachability Analysis of Procedural Programs with Affine Integer Arithmetic
pp. 283
Lexical Disambiguation with Polarities and Automata
pp. 285
Parsing Computer Languages with an Automaton Compiled from a Single Regular Expression
pp. 287
Tighter Packed Bit-Parallel NFA for Approximate String Matching
Similar content
2,388
RvS: What is Essential for Offline RL via Supervised Learning?
Authors:
Scott Emmons
,
Benjamin Eysenbach
,
Ilya Kostrikov
…
Scaling Offline Model-Based RL via Jointly-Optimized World-Action Model Pretraining
Authors:
Jie Cheng
,
Ruixi Qiao
,
Gang Xiong
…
Online Policies for Real-Time Control Using MRAC-RL
Authors:
Anubhav Guha
,
Anuradha M. Annaswamy
See all similar
Cited by
2
Correctness Preservation and Complexity of Simple RL-Automata
Authors:
H. Messerschmidt
,
F. Mráz
,
F Otto
…
Restarting Automata with Structured Output and Functional Generative Description
Authors:
Martin Plátek
,
František Mráz
,
Markéta Lopatková
See all cited by