Skip to main content
. Author manuscript; available in PMC: 2019 Oct 23.
Published in final edited form as: Proc ACM SIGPLAN Conf Program Lang Des Implement. 2019 Jun;2019:670–685. doi: 10.1145/3314221.3314580
current item input history f output f¯ output
ε ε ε
3 3 3 3
1 3 1 ε 3
5 3 1 5 5 3 5
2 3 1 5 2 ε 3 5

Notice that f¯(3152)=f(ε)f(3)f(31)f(315)f(3152).