[j] [?] [*] [/] [W] [;] [a] [!] [S] g::= [P] [8] [6] [3] [u] [!t] [w] [5] [t] [0] [;0] [7] [2] [1] [%] [4] [] [12] [~] [9] [1t]