Anagram decidability