Comment by jcelerier

Syntax is being able to say whether this is a sequence of textual tokens such that we can prove that this a C program that compiles.

   int c = 042;
   printf("%d", c);

Semantics is what makes it print 34.