Você está na página 1de 1

Definições recursivas

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

Ex. S = ab S3 = ababab
.

Você também pode gostar