Em uma linguagem de programação, quando um procedimento pode invocar a si mesmo caracteriza-se uma
segmentação.
reversibilidade.
modularização.
fragmentação.
recursividade.