Automaton Semigroups and Groups: on the Undecidability of Problems Related to Freeness and Finiteness.