The solution requires infinite memory (not just arbitrary finite memory, but an actual, non-compressible infinite value) which is of course impossible in realit

The solution requires infinite memory (not just arbitrary finite memory, but an actual, non-compressible infinite value) which is of course impossible in reality. Usually problems on "countable" structures need only finite memory (to process infinite streaming input), so this problem is rather misleading.