Inden for datalogi er syntaks en beskrivelse af de formelle regler for strukturen af symbolfølger, der kan behandles af en computer. Inddata til ethvert program må have en bestemt og på forhånd fastlagt syntaktisk struktur for at kunne genkendes af programmet. Særlig vigtige er inddata til en oversætter, da sådanne data udgør et program skrevet i et programmeringssprog, et såkaldt kildeprogram. Også i programmeringssprog kan man skelne mellem, hvad der svarer til ord og syntagmer i verbalsprog, men i stedet anvendes henholdsvis terminale og nonterminale symboler. Syntaksanalyse udføres vha. en generativ grammatik med såkaldte produktioner, dvs. et sæt regler, der for hvert nonterminalt symbol beskriver, hvilke andre symboler det kan erstattes af. Det kan hermed automatisk afgøres, om et kildeprogram, som er en følge af terminale symboler, er formelt korrekt. Processen kaldes parsing, og et program, der udfører processen, kaldes en parser.