A Constructive Theory of Regular Languages in Coq.

Christian Doczkal Jan-Oliver Kaiser Gert Smolka

Published in: CPP (2013)

Keyphrases

regular languages
finite automata
regular expressions
grammatical inference
context free languages
machine learning
semi supervised
learning theory