Por uma formalização de estruturas de dados

Resumo

Apresentaremos uma formalização para algumas estruturas de dados utilizando a teoria ingênua dos conjuntos, grafos orientados, e álgebra para representar as estruturas e suas semânticas através de uma abordagem axiomática.