Uma definição recursiva consiste numa regra base e numa regra recursiva.
A regra base descreve os elementos definidos directamente. Os outros elementos são definidos por aplicação sucessiva da regra de recursão a partir dos elementos definidos pela regra base.
Ex1. { ( ) Ex2. {
Árvores binárias
Seja C um conjunto. Define-se recursivamente uma árvore binária sobre C por:
A árvore vazia é uma árvore binária representada por: ( )
Se A e B são árvores binárias e α ∈ C, então (A,α,B) é uma árvore binária. Subárvore esquerda Subárvore direita
Ex. Árvore binária, ((( ) ( )) (() ( ))) Obs. 1: Representação gráfica da árvore binária T
b é pai de a f Subárvore esquerda Raiz Subárvore direita a é filho de b Vértices b g Arcos Obs. 2: Na árvore binária, cada vértice tem no máximo 2 filhos; a c h Obs. 3: (( ) ( )) ( )
Listas Obs. 1: Uma lista é uma sequência de 0 (zero) ou Seja A um conjunto. Define-se recursivamente uma lista sobre A por: + (mais) elementos;
A lista vazia é uma lista representada por: [ ] Obs. 2: 5 3, - , 53 -
Se α ∈ A e B é uma lista sobre A, então [α|B] é uma lista. Cabeça Cauda ,𝑎|, - ,𝑎-
Strings
Seja A um conjunto. Uma string sobre A é uma sequência de 0 (zero) ou + (mais) elementos de A, colocados uns a seguir aos outros por justaposição. A string vazia representa-se por: Λ A* representa o conjunto de todas as strings sobre A.
Ex. * + S1=bacc ∈ A* S2=aaa ∈ A*
Comprimento da string S é o número de caracteres de S que se representam por: |S|
Concatenação de string consiste na justaposição de S1 e S2 que se representa por: S1. S2 Ponto = Concatenação Ex. S1. S2 = baccaaa Teorema: a) a concatenação de strings é associativa: (S1 . S2). S3 = S1 .( S2. S3) b) a string vazia é o elemento neutro da concatenação: S . Λ = Λ . S = S
Seja A um conjunto. Define-se recursivamente uma string sobre A por:
Obs. : Sejam n ∈ ℕ e S uma string. A string vazia é uma string; SM= S . S. … . S Se α ∈ A e S é uma string, então α. S é uma string. n vezes
