Моя задача - доказать, что класс языков, распознаваемых Временными автоматами , закрыт при объединении и объединении. В статье в Википедии говорится, что они закрыты для объединения, но не упоминается конкатенация. Может ли кто-нибудь придумать доказательство этих двух свойств, чтобы оно было понято студентом магистратуры?