https://radames.manosso.nom.br/linguagem/gramatica/sintaxe/notacao-formal/