[%] 형님들 저 알고리듬 반례 부탁드립니다.

[기괴공학도(mecheng98)]

일단, 4의 배수이면서 6의 배수인 수들의 점화식을 구해낼 수 있습니다.
공리(코드):
/ Four( 'z' ).
/ Six( 'z' ).
Four( x ) / Four( 'ssss' x ).
Six( x ) / Six( 'ssssss' x ).
Four( x ), Six( x ) / Twelve( x ).
질의:
☜ Twelve( a )?
응답(정답 트리):
☞ a → 'z'.
☞ a → 'ssss' Nat1.
☞☞ Nat1 → 'ss' Nat2.
☞☞☞ Nat2 → 'ss' Nat3.
☞☞☞☞ Nat3 → 'ssss' Nat4.
☞☞☞☞☞ Nat4 = a.

- 희망의 등불