struggling on the def of similarity
Merge branch 'imp'
Merge branch 'automata'
Merge branch 'automata'
Merge branch 'automata'
Merge branch 'automata'
Merge branch 'automata'
CFG
coq for automata