I have a function which defines a language, let\'s call L, this function gets a word and returns True or False.
I have also a deterministic finite autumata which supp
