Practical Stutter-Invariance Checks for ω-Regular Languages.

Thibaud Michaud Alexandre Duret-Lutz

Published in: SPIN (2015)

Keyphrases

regular languages
grammatical inference
context free languages
regular expressions
finite automata
pac learning
context free grammars
learning algorithm
computational complexity
logic programs
decision problems
learning theory