There are algorithms that should work, they're just galactic[0] or are otherwise expected to use far too much space and time to be practical.
Edit: actually I'm not sure if AIXItl is technically galactic or just terribly inefficient, but there's been trouble making it faster and more compact.