Login / Signup
A Unified Approach For Showing Language Containment And Equivalence Between Various Types Of Omega-Automata.
Edmund M. Clarke
Anca Browne
Robert P. Kurshan
Published in:
CAAP (1990)
Keyphrases
</>
cellular automata
programming language
natural language
data sets
query containment
formal language theory
neural network
query optimization
conjunctive queries
object oriented programming
transitive closure
pattern languages
finite automata
language constructs
probabilistic automata