受け入れるようにTMを構築するにはどうすればよいですか（説明のみを与えてください）：
a + b = c
。b = c
入力は a#b#c の形式です。
a,b および c は {0,1}* に属し、正の 2 進符号なし整数です。
入力が単項表現の場合はTMを構築できることは知っていますが、バイナリ表現の場合はどうすれば解決できますか?
受け入れるようにTMを構築するにはどうすればよいですか（説明のみを与えてください）：
a + b = c
。b = c
入力は a#b#c の形式です。
a,b および c は {0,1}* に属し、正の 2 進符号なし整数です。
入力が単項表現の場合はTMを構築できることは知っていますが、バイナリ表現の場合はどうすれば解決できますか?