Se definen con la siguiente gramática sencilla: