push acc/shift frame×candidate
shift candidate×frame
push acc/shift frame×candidate
unshift frame/append ret
shift candidate
shift acc
unshift frame
A→A
A→A
example state diagram
Box 1

candidate is a sequence?

S4

S1

candidate atomic?

non-empty?

candidate atomic?

candidate sequence?

S5

empty?

S3

S2

A

A