Regels voor het schrijven van een programma. Is oorspronkelijk een wiskundig en taalkundig begrip.

Er zijn 2 definities.

Programma dat niet alleen de spelling, maar ook de grammatica van een tekst of programma controleert.