defiend language and product of a dfa