Skip to main content
5 of 5
typo
David Richerby
  • 82.6k
  • 26
  • 146
  • 240

Closure of Turing-recognizable languages under homomorphism

I've proven that the Turing-recognizable languages are closed under concatenation and I need to show that they are closed under homomorphism.

But what's really the difference? Doesn't closure under concatenation imply homomorphism as well? Or perhaps I misunderstand what homomorphism means when talking about Turing-Recognizable languges?

Joezer
  • 279
  • 3
  • 14