C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Approximation of CFL by Regular Languages for Concurrent Program Verification.
Sukhamay Kundu
Supratik Mukhopadhyay
Published in:
COMPSAC Workshops (2010)
Keyphrases
</>
regular languages
context free languages
grammatical inference
regular expressions
decision problems
finite automata
pac learning
context free grammars
pattern matching
positive data
hidden markov models
decision trees
inductive inference
finite state machines
context free
equivalence queries
state space