Estos cuatro elementos completan la parte "sintáctica" de los sistemas formales.