1 | ![]() ![]() |
2 | ![]() |
3 | 1. V: Type{i} 2. T: Type{i} 3. G: Grammar(V;T) 4. l: (V+T)* 5. m: (V+T)* 6. n: (V+T)* 7. a1: ((V+T)*)* 8. ||a1|| > 0 9. l = a1[0] 10. ![]() ![]() ![]() ![]() 11. a1[(||a1||-1)] = m 12. a: ((V+T)*)* 13. ||a|| > 0 14. m = a[0] 15. ![]() ![]() ![]() ![]() 16. a[(||a||-1)] = n 17. l1: ((V+T)*)* ![]() ![]() |
About:
![]() | ![]() | ![]() | ![]() | ![]() |
![]() | ![]() | ![]() | ![]() |