User blog:Alemagno12/Weak BEAF


 * 1) is any valid expression

WEAK{#n,m#} = WEAK{#n+m#}

WEAK{#n(x)m#} WEAK{#n(x-1)n(x-1)n(x-1)...n(x-1)n(x-1)n(x-1)n#} with m n(x-1)n's

WEAK{#(1)#} = WEAK{#,#}

Rest of rules apply as normal BEAF.

FGH
-- UNDER CONSTRUCTION --