ビデオ検索 Prove that the following languages are decidable (give the deciders for each of the language): 1 = {