Error: 1weuseabstractsyntaxintheoreticalresultsandconcretesyntaxinexamples.3 C Wtcsi Contcsi E Csi Atm 1 Done Aexeccs Done 1 Done S Seqc1c2 Wtc1si C2;if Nishedc1seq(contc1i)c2;otherwise E C1si Chchc1c2 Cvalc - PowerPoint Presentations and PDF Documents