Reasoning about Idealized ALGOL Using Regular Languages.

Dan R. Ghica Guy McCusker

Published in: ICALP (2000)

Keyphrases

regular languages
context free languages
grammatical inference
regular expressions
finite automata
decision problems
pac learning
context free grammars
pattern matching
context free
finite state machines
positive data
equivalence queries
inductive inference
statistical queries
efficient learning
decision rules