Разница между разрешимостью по Тьюрингу и разрешимостью совместно по Тьюрингу

Я действительно изо всех сил пытаюсь понять разницу между этими двумя языками. Из моего учебника это различие, по существу, описывает различие, говоря

что язык является распознаваемым по Тьюрингу, если он является дополнением к распознаваемому по Тьюрингу языку.

Я предполагаю, что часть этого определения, которую я не понимаю, заключается в следующем: что это значит, когда оно является дополнением языка, распознаваемого по Тьюрингу?

Как именно определить, является ли он дополнением к другому языку?