Conjuntos denidos indutivamente

Inducao Estrutural

Recursao Estrutural

Lic. Engenharia Informatica LOGICA 1. Inducao e recursao estruturais

Lus Pinto
Dep. Matematica e Aplicacoes Universidade do Minho

2010/2011

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Exemplo inicial

Inducao Estrutural

Recursao Estrutural

Seja A3 um subconjunto de R tal que:

1 2 3

3 A3 ; se k A3 , entao n k A3 , para qualquer n N; os elementos de A3 sao obtidos por aplicacao das regras 1 e 2, um numero nito de vezes. A3 = { ? }

Sera que existe um conjunto de regras que permite denir o conjunto N0 de forma analoga?

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Exemplo inicial

Inducao Estrutural

Recursao Estrutural

Seja A3 um subconjunto de R tal que:

1 2 3

3 A3 ; se k A3 , entao n k A3 , para qualquer n N; os elementos de A3 sao obtidos por aplicacao das regras 1 e 2, um numero nito de vezes. A3 = { ? }

Sera que existe um conjunto de regras que permite denir o conjunto N0 de forma analoga?

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Exemplo inicial

Inducao Estrutural

Recursao Estrutural

Seja A3 um subconjunto de R tal que:

1 2 3

3 A3 ; se k A3 , entao n k A3 , para qualquer n N; os elementos de A3 sao obtidos por aplicacao das regras 1 e 2, um numero nito de vezes. A3 = { ? }

Sera que existe um conjunto de regras que permite denir o conjunto N0 de forma analoga?

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Exemplo inicial

Inducao Estrutural

Recursao Estrutural

Seja A3 um subconjunto de R tal que:

1 2 3

3 A3 ; se k A3 , entao n k A3 , para qualquer n N; os elementos de A3 sao obtidos por aplicacao das regras 1 e 2, um numero nito de vezes. A3 = { ? }

Sera que existe um conjunto de regras que permite denir o conjunto N0 de forma analoga?

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Exemplo inicial

Inducao Estrutural

Recursao Estrutural

Seja A3 um subconjunto de R tal que:

1 2 3

3 A3 ; se k A3 , entao n k A3 , para qualquer n N; os elementos de A3 sao obtidos por aplicacao das regras 1 e 2, um numero nito de vezes. A3 = { ? }

Sera que existe um conjunto de regras que permite denir o conjunto N0 de forma analoga?

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Exemplo inicial

Inducao Estrutural

Recursao Estrutural

Seja A3 um subconjunto de R tal que:

1 2 3

3 A3 ; se k A3 , entao n k A3 , para qualquer n N; os elementos de A3 sao obtidos por aplicacao das regras 1 e 2, um numero nito de vezes. A3 = { ? }

Sera que existe um conjunto de regras que permite denir o conjunto N0 de forma analoga?

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Alfabetos, Palavras e Linguagens

Inducao Estrutural

Recursao Estrutural

Denicoes Chamaremos alfabeto a um conjunto de smbolos e letras aos seus elementos. Dado um alfabeto A, chamaremos palavra sobre A a uma sequencia nita de letras: representa a palavra de comprimento zero (sequencia vazia de letras) e e chamada a palavra vazia; e e1 e2 en representa uma palavra de comprimento n N, para letras e1 , e2 , . . . , en A. O conjunto de todas as palavras sobre A representa-se por A . u e v sao palavras iguais se tiverem o mesmo comprimento e coincidirem letra a letra. Se u1 , u2 , ..., un sao palavras, u1 u2 ...un e a sequencia resultante da concatenacao das n sequencias u1 , u2 , ... un . Um subconjunto de A diz-se uma linguagem em A.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Alfabetos, Palavras e Linguagens

Inducao Estrutural

Recursao Estrutural

Denicoes Chamaremos alfabeto a um conjunto de smbolos e letras aos seus elementos. Dado um alfabeto A, chamaremos palavra sobre A a uma sequencia nita de letras: representa a palavra de comprimento zero (sequencia vazia de letras) e e chamada a palavra vazia; e e1 e2 en representa uma palavra de comprimento n N, para letras e1 , e2 , . . . , en A. O conjunto de todas as palavras sobre A representa-se por A . u e v sao palavras iguais se tiverem o mesmo comprimento e coincidirem letra a letra. Se u1 , u2 , ..., un sao palavras, u1 u2 ...un e a sequencia resultante da concatenacao das n sequencias u1 , u2 , ... un . Um subconjunto de A diz-se uma linguagem em A.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Alfabetos, Palavras e Linguagens

Inducao Estrutural

Recursao Estrutural

Denicoes Chamaremos alfabeto a um conjunto de smbolos e letras aos seus elementos. Dado um alfabeto A, chamaremos palavra sobre A a uma sequencia nita de letras: representa a palavra de comprimento zero (sequencia vazia de letras) e e chamada a palavra vazia; e e1 e2 en representa uma palavra de comprimento n N, para letras e1 , e2 , . . . , en A. O conjunto de todas as palavras sobre A representa-se por A . u e v sao palavras iguais se tiverem o mesmo comprimento e coincidirem letra a letra. Se u1 , u2 , ..., un sao palavras, u1 u2 ...un e a sequencia resultante da concatenacao das n sequencias u1 , u2 , ... un . Um subconjunto de A diz-se uma linguagem em A.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Alfabetos, Palavras e Linguagens

Inducao Estrutural

Recursao Estrutural

Denicoes Chamaremos alfabeto a um conjunto de smbolos e letras aos seus elementos. Dado um alfabeto A, chamaremos palavra sobre A a uma sequencia nita de letras: representa a palavra de comprimento zero (sequencia vazia de letras) e e chamada a palavra vazia; e e1 e2 en representa uma palavra de comprimento n N, para letras e1 , e2 , . . . , en A. O conjunto de todas as palavras sobre A representa-se por A . u e v sao palavras iguais se tiverem o mesmo comprimento e coincidirem letra a letra. Se u1 , u2 , ..., un sao palavras, u1 u2 ...un e a sequencia resultante da concatenacao das n sequencias u1 , u2 , ... un . Um subconjunto de A diz-se uma linguagem em A.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Alfabetos, Palavras e Linguagens

Inducao Estrutural

Recursao Estrutural

Denicoes Chamaremos alfabeto a um conjunto de smbolos e letras aos seus elementos. Dado um alfabeto A, chamaremos palavra sobre A a uma sequencia nita de letras: representa a palavra de comprimento zero (sequencia vazia de letras) e e chamada a palavra vazia; e e1 e2 en representa uma palavra de comprimento n N, para letras e1 , e2 , . . . , en A. O conjunto de todas as palavras sobre A representa-se por A . u e v sao palavras iguais se tiverem o mesmo comprimento e coincidirem letra a letra. Se u1 , u2 , ..., un sao palavras, u1 u2 ...un e a sequencia resultante da concatenacao das n sequencias u1 , u2 , ... un . Um subconjunto de A diz-se uma linguagem em A.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Alfabetos, Palavras e Linguagens

Inducao Estrutural

Recursao Estrutural

Denicoes Chamaremos alfabeto a um conjunto de smbolos e letras aos seus elementos. Dado um alfabeto A, chamaremos palavra sobre A a uma sequencia nita de letras: representa a palavra de comprimento zero (sequencia vazia de letras) e e chamada a palavra vazia; e e1 e2 en representa uma palavra de comprimento n N, para letras e1 , e2 , . . . , en A. O conjunto de todas as palavras sobre A representa-se por A . u e v sao palavras iguais se tiverem o mesmo comprimento e coincidirem letra a letra. Se u1 , u2 , ..., un sao palavras, u1 u2 ...un e a sequencia resultante da concatenacao das n sequencias u1 , u2 , ... un . Um subconjunto de A diz-se uma linguagem em A.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Alfabetos, Palavras e Linguagens

Inducao Estrutural

Recursao Estrutural

Denicoes Chamaremos alfabeto a um conjunto de smbolos e letras aos seus elementos. Dado um alfabeto A, chamaremos palavra sobre A a uma sequencia nita de letras: representa a palavra de comprimento zero (sequencia vazia de letras) e e chamada a palavra vazia; e e1 e2 en representa uma palavra de comprimento n N, para letras e1 , e2 , . . . , en A. O conjunto de todas as palavras sobre A representa-se por A . u e v sao palavras iguais se tiverem o mesmo comprimento e coincidirem letra a letra. Se u1 , u2 , ..., un sao palavras, u1 u2 ...un e a sequencia resultante da concatenacao das n sequencias u1 , u2 , ... un . Um subconjunto de A diz-se uma linguagem em A.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Alfabetos, Palavras e Linguagens

Inducao Estrutural

Recursao Estrutural

Denicoes Chamaremos alfabeto a um conjunto de smbolos e letras aos seus elementos. Dado um alfabeto A, chamaremos palavra sobre A a uma sequencia nita de letras: representa a palavra de comprimento zero (sequencia vazia de letras) e e chamada a palavra vazia; e e1 e2 en representa uma palavra de comprimento n N, para letras e1 , e2 , . . . , en A. O conjunto de todas as palavras sobre A representa-se por A . u e v sao palavras iguais se tiverem o mesmo comprimento e coincidirem letra a letra. Se u1 , u2 , ..., un sao palavras, u1 u2 ...un e a sequencia resultante da concatenacao das n sequencias u1 , u2 , ... un . Um subconjunto de A diz-se uma linguagem em A.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Alfabetos, Palavras e Linguagens

Inducao Estrutural

Recursao Estrutural

Denicoes Chamaremos alfabeto a um conjunto de smbolos e letras aos seus elementos. Dado um alfabeto A, chamaremos palavra sobre A a uma sequencia nita de letras: representa a palavra de comprimento zero (sequencia vazia de letras) e e chamada a palavra vazia; e e1 e2 en representa uma palavra de comprimento n N, para letras e1 , e2 , . . . , en A. O conjunto de todas as palavras sobre A representa-se por A . u e v sao palavras iguais se tiverem o mesmo comprimento e coincidirem letra a letra. Se u1 , u2 , ..., un sao palavras, u1 u2 ...un e a sequencia resultante da concatenacao das n sequencias u1 , u2 , ... un . Um subconjunto de A diz-se uma linguagem em A.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Alfabetos, Palavras e Linguagens

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto de A tal que: 1 a L e b L; 2 se u, v L, entao uv L; 3 os elementos de L sao obtidos por aplicacao das regras 1 e 2, um numero nito de vezes. L={ ? } Seja A = {a, b} e L o subconjunto de A tal que: 1 L; 2 se u L, entao aua L; 3 se u L, entao bub L; 4 os elementos de L sao obtidos por aplicacao das regras 1, 2 e 3, um numero nito de vezes. L={ ? }

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Alfabetos, Palavras e Linguagens

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto de A tal que: 1 a L e b L; 2 se u, v L, entao uv L; 3 os elementos de L sao obtidos por aplicacao das regras 1 e 2, um numero nito de vezes. L={ ? } Seja A = {a, b} e L o subconjunto de A tal que: 1 L; 2 se u L, entao aua L; 3 se u L, entao bub L; 4 os elementos de L sao obtidos por aplicacao das regras 1, 2 e 3, um numero nito de vezes. L={ ? }

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Alfabetos, Palavras e Linguagens

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto de A tal que: 1 a L e b L; 2 se u, v L, entao uv L; 3 os elementos de L sao obtidos por aplicacao das regras 1 e 2, um numero nito de vezes. L={ ? } Seja A = {a, b} e L o subconjunto de A tal que: 1 L; 2 se u L, entao aua L; 3 se u L, entao bub L; 4 os elementos de L sao obtidos por aplicacao das regras 1, 2 e 3, um numero nito de vezes. L={ ? }

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Alfabetos, Palavras e Linguagens

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto de A tal que: 1 a L e b L; 2 se u, v L, entao uv L; 3 os elementos de L sao obtidos por aplicacao das regras 1 e 2, um numero nito de vezes. L={ ? } Seja A = {a, b} e L o subconjunto de A tal que: 1 L; 2 se u L, entao aua L; 3 se u L, entao bub L; 4 os elementos de L sao obtidos por aplicacao das regras 1, 2 e 3, um numero nito de vezes. L={ ? }

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Alfabetos, Palavras e Linguagens

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto de A tal que: 1 a L e b L; 2 se u, v L, entao uv L; 3 os elementos de L sao obtidos por aplicacao das regras 1 e 2, um numero nito de vezes. L={ ? } Seja A = {a, b} e L o subconjunto de A tal que: 1 L; 2 se u L, entao aua L; 3 se u L, entao bub L; 4 os elementos de L sao obtidos por aplicacao das regras 1, 2 e 3, um numero nito de vezes. L={ ? }

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Alfabetos, Palavras e Linguagens

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto de A tal que: 1 a L e b L; 2 se u, v L, entao uv L; 3 os elementos de L sao obtidos por aplicacao das regras 1 e 2, um numero nito de vezes. L={ ? } Seja A = {a, b} e L o subconjunto de A tal que: 1 L; 2 se u L, entao aua L; 3 se u L, entao bub L; 4 os elementos de L sao obtidos por aplicacao das regras 1, 2 e 3, um numero nito de vezes. L={ ? }

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Alfabetos, Palavras e Linguagens

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto de A tal que: 1 a L e b L; 2 se u, v L, entao uv L; 3 os elementos de L sao obtidos por aplicacao das regras 1 e 2, um numero nito de vezes. L={ ? } Seja A = {a, b} e L o subconjunto de A tal que: 1 L; 2 se u L, entao aua L; 3 se u L, entao bub L; 4 os elementos de L sao obtidos por aplicacao das regras 1, 2 e 3, um numero nito de vezes. L={ ? }

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Alfabetos, Palavras e Linguagens

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto de A tal que: 1 a L e b L; 2 se u, v L, entao uv L; 3 os elementos de L sao obtidos por aplicacao das regras 1 e 2, um numero nito de vezes. L={ ? } Seja A = {a, b} e L o subconjunto de A tal que: 1 L; 2 se u L, entao aua L; 3 se u L, entao bub L; 4 os elementos de L sao obtidos por aplicacao das regras 1, 2 e 3, um numero nito de vezes. L={ ? }

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Alfabetos, Palavras e Linguagens

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto de A tal que: 1 a L e b L; 2 se u, v L, entao uv L; 3 os elementos de L sao obtidos por aplicacao das regras 1 e 2, um numero nito de vezes. L={ ? } Seja A = {a, b} e L o subconjunto de A tal que: 1 L; 2 se u L, entao aua L; 3 se u L, entao bub L; 4 os elementos de L sao obtidos por aplicacao das regras 1, 2 e 3, um numero nito de vezes. L={ ? }

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Alfabetos, Palavras e Linguagens

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto de A tal que: 1 a L e b L; 2 se u, v L, entao uv L; 3 os elementos de L sao obtidos por aplicacao das regras 1 e 2, um numero nito de vezes. L={ ? } Seja A = {a, b} e L o subconjunto de A tal que: 1 L; 2 se u L, entao aua L; 3 se u L, entao bub L; 4 os elementos de L sao obtidos por aplicacao das regras 1, 2 e 3, um numero nito de vezes. L={ ? }

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Alfabetos, Palavras e Linguagens

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto de A tal que: 1 a L e b L; 2 se u, v L, entao uv L; 3 os elementos de L sao obtidos por aplicacao das regras 1 e 2, um numero nito de vezes. L={ ? } Seja A = {a, b} e L o subconjunto de A tal que: 1 L; 2 se u L, entao aua L; 3 se u L, entao bub L; 4 os elementos de L sao obtidos por aplicacao das regras 1, 2 e 3, um numero nito de vezes. L={ ? }

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva de um conjunto

Inducao Estrutural

Recursao Estrutural

Por denicao indutiva de um conjunto I entende-se uma colec cao de regras que permite descrever I, indicando um processo de construir os seus elementos. As regras podem ser de varios tipos: regras basicas, que indicam que certos objectos pertencem ao conjunto; regras indutivas, que permitem construir elementos de I a partir de outros elementos de I ja conhecidos; regra de fecho, regra unica em cada denicao, que estabe lece que os elementos de I sao os construdos a partir da utilizacao das regras basicas e das indutivas um numero nito de vezes e que muitas vezes nao e explicitada. regra basica

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva de um conjunto

Inducao Estrutural

Recursao Estrutural

Por denicao indutiva de um conjunto I entende-se uma colec cao de regras que permite descrever I, indicando um processo de construir os seus elementos. As regras podem ser de varios tipos: regras basicas, que indicam que certos objectos pertencem ao conjunto; regras indutivas, que permitem construir elementos de I a partir de outros elementos de I ja conhecidos; regra de fecho, regra unica em cada denicao, que estabe lece que os elementos de I sao os construdos a partir da utilizacao das regras basicas e das indutivas um numero nito de vezes e que muitas vezes nao e explicitada. regra basica

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva de um conjunto

Inducao Estrutural

Recursao Estrutural

Por denicao indutiva de um conjunto I entende-se uma colec cao de regras que permite descrever I, indicando um processo de construir os seus elementos. As regras podem ser de varios tipos: regras basicas, que indicam que certos objectos pertencem ao conjunto; regras indutivas, que permitem construir elementos de I a partir de outros elementos de I ja conhecidos; regra de fecho, regra unica em cada denicao, que estabe lece que os elementos de I sao os construdos a partir da utilizacao das regras basicas e das indutivas um numero nito de vezes e que muitas vezes nao e explicitada. regra basica

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva de um conjunto

Inducao Estrutural

Recursao Estrutural

Por denicao indutiva de um conjunto I entende-se uma colec cao de regras que permite descrever I, indicando um processo de construir os seus elementos. As regras podem ser de varios tipos: regras basicas, que indicam que certos objectos pertencem ao conjunto; regras indutivas, que permitem construir elementos de I a partir de outros elementos de I ja conhecidos; regra de fecho, regra unica em cada denicao, que estabe lece que os elementos de I sao os construdos a partir da utilizacao das regras basicas e das indutivas um numero nito de vezes e que muitas vezes nao e explicitada. regra basica

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva de um conjunto

Inducao Estrutural

Recursao Estrutural

Por denicao indutiva de um conjunto I entende-se uma colec cao de regras que permite descrever I, indicando um processo de construir os seus elementos. As regras podem ser de varios tipos: regras basicas, que indicam que certos objectos pertencem ao conjunto; regras indutivas, que permitem construir elementos de I a partir de outros elementos de I ja conhecidos; regra de fecho, regra unica em cada denicao, que estabe lece que os elementos de I sao os construdos a partir da utilizacao das regras basicas e das indutivas um numero nito de vezes e que muitas vezes nao e explicitada. regra basica

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva de um conjunto

Inducao Estrutural

Recursao Estrutural

Por denicao indutiva de um conjunto I entende-se uma colec cao de regras que permite descrever I, indicando um processo de construir os seus elementos. As regras podem ser de varios tipos: regras basicas, que indicam que certos objectos pertencem ao conjunto; regras indutivas, que permitem construir elementos de I a partir de outros elementos de I ja conhecidos; regra de fecho, regra unica em cada denicao, que estabe lece que os elementos de I sao os construdos a partir da utilizacao das regras basicas e das indutivas um numero nito de vezes e que muitas vezes nao e explicitada. regra basica sI
conclusao

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva de um conjunto

Inducao Estrutural

Recursao Estrutural

Por denicao indutiva de um conjunto I entende-se uma colec cao de regras que permite descrever I, indicando um processo de construir os seus elementos. As regras podem ser de varios tipos: regras basicas, que indicam que certos objectos pertencem ao conjunto; regras indutivas, que permitem construir elementos de I a partir de outros elementos de I ja conhecidos; regra de fecho, regra unica em cada denicao, que estabe lece que os elementos de I sao os construdos a partir da utilizacao das regras basicas e das indutivas um numero nito de vezes e que muitas vezes nao e explicitada. regra basica sI
b } id. da regra

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva de um conjunto

Inducao Estrutural

Recursao Estrutural

Por denicao indutiva de um conjunto I entende-se uma colec cao de regras que permite descrever I, indicando um processo de construir os seus elementos. As regras podem ser de varios tipos: regras basicas, que indicam que certos objectos pertencem ao conjunto; regras indutivas, que permitem construir elementos de I a partir de outros elementos de I ja conhecidos; regra de fecho, regra unica em cada denicao, que estabe lece que os elementos de I sao os construdos a partir da utilizacao das regras basicas e das indutivas um numero nito de vezes e que muitas vezes nao e explicitada. regra basica s I regra indutiva se s1 , . . . , sn I, entao
premissas
Turno TP2 LOGICA

b } id. da regra

sI
conclusao

Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva de um conjunto

Inducao Estrutural

Recursao Estrutural

Por denicao indutiva de um conjunto I entende-se uma colec cao de regras que permite descrever I, indicando um processo de construir os seus elementos. As regras podem ser de varios tipos: regras basicas, que indicam que certos objectos pertencem ao conjunto; regras indutivas, que permitem construir elementos de I a partir de outros elementos de I ja conhecidos; regra de fecho, regra unica em cada denicao, que estabe lece que os elementos de I sao os construdos a partir da utilizacao das regras basicas e das indutivas um numero nito de vezes e que muitas vezes nao e explicitada. regra basica sI s1 I sn I sI
Turno TP2 LOGICA

b } id. da regra

regra indutiva

i } id. da regra
Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva de um conjunto

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto das palavras sobre A denido indutivamente por: 1 a sequencia vazia e um elemento de L; 2 se w L, entao awb L; 3 se w L, entao bwa L; 4 se u, w L, entao uw L. A esta denicao corresponde o seguinte conjunto de regras:
1 2

L w L awb L w L
i1

bwa L 2 uL w L uw L
i3
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva de um conjunto

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto das palavras sobre A denido indutivamente por: 1 a sequencia vazia e um elemento de L; 2 se w L, entao awb L; 3 se w L, entao bwa L; 4 se u, w L, entao uw L. A esta denicao corresponde o seguinte conjunto de regras:
1 2

L w L awb L w L
i1

bwa L 2 uL w L uw L
i3
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva de um conjunto

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto das palavras sobre A denido indutivamente por: 1 a sequencia vazia e um elemento de L; 2 se w L, entao awb L; 3 se w L, entao bwa L; 4 se u, w L, entao uw L. A esta denicao corresponde o seguinte conjunto de regras:
1 2

L w L awb L w L
i1

bwa L 2 uL w L uw L
i3
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva de um conjunto

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto das palavras sobre A denido indutivamente por: 1 a sequencia vazia e um elemento de L; 2 se w L, entao awb L; 3 se w L, entao bwa L; 4 se u, w L, entao uw L. A esta denicao corresponde o seguinte conjunto de regras:
1 2

L w L awb L w L
i1

bwa L 2 uL w L uw L
i3
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva de um conjunto

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto das palavras sobre A denido indutivamente por: 1 a sequencia vazia e um elemento de L; 2 se w L, entao awb L; 3 se w L, entao bwa L; 4 se u, w L, entao uw L. A esta denicao corresponde o seguinte conjunto de regras:
1 2

L w L awb L w L
i1

bwa L 2 uL w L uw L
i3
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva de um conjunto

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto das palavras sobre A denido indutivamente por: 1 a sequencia vazia e um elemento de L; 2 se w L, entao awb L; 3 se w L, entao bwa L; 4 se u, w L, entao uw L. A esta denicao corresponde o seguinte conjunto de regras:
1 2

L w L awb L w L
i1

bwa L 2 uL w L uw L
i3
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva de um conjunto

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto das palavras sobre A denido indutivamente por: 1 a sequencia vazia e um elemento de L; 2 se w L, entao awb L; 3 se w L, entao bwa L; 4 se u, w L, entao uw L. A esta denicao corresponde o seguinte conjunto de regras:
1 2

L w L awb L w L
i1

bwa L 2 uL w L uw L
i3
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva de um conjunto

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto das palavras sobre A denido indutivamente por: 1 a sequencia vazia e um elemento de L; 2 se w L, entao awb L; 3 se w L, entao bwa L; 4 se u, w L, entao uw L. A esta denicao corresponde o seguinte conjunto de regras:
1 2

L w L awb L w L
i1

bwa L 2 uL w L uw L
i3
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva de um conjunto

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto das palavras sobre A denido indutivamente por: 1 a sequencia vazia e um elemento de L; 2 se w L, entao awb L; 3 se w L, entao bwa L; 4 se u, w L, entao uw L. A esta denicao corresponde o seguinte conjunto de regras:
1 2

L w L awb L w L
i1

bwa L 2 uL w L uw L
i3
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva de um conjunto

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto das palavras sobre A denido indutivamente por: 1 a sequencia vazia e um elemento de L; 2 se w L, entao awb L; 3 se w L, entao bwa L; 4 se u, w L, entao uw L. A esta denicao corresponde o seguinte conjunto de regras:
1

L w L awb L w L
i1

um conjunto base B = {}

bwa L 2 uL w L uw L
i3
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva de um conjunto

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto das palavras sobre A denido indutivamente por: 1 a sequencia vazia e um elemento de L; 2 se w L, entao awb L; 3 se w L, entao bwa L; 4 se u, w L, entao uw L. A esta denicao corresponde o seguinte conjunto de regras:
1

L w L awb L w L
i1

um conjunto base B = {} f1 : A A w awb

bwa L 2 uL w L uw L
i3
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva de um conjunto

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto das palavras sobre A denido indutivamente por: 1 a sequencia vazia e um elemento de L; 2 se w L, entao awb L; 3 se w L, entao bwa L; 4 se u, w L, entao uw L. A esta denicao corresponde o seguinte conjunto de regras:
1

L w L awb L w L
i1

um conjunto base B = {} f1 : A A w awb f2 : A A w bwa

i3
Turno TP2 LOGICA Lic. Eng. Informatica

bwa L uL w L uw L

i2

Conjuntos denidos indutivamente Denicao indutiva de um conjunto

Inducao Estrutural

Recursao Estrutural

Seja A = {a, b} e L o subconjunto das palavras sobre A denido indutivamente por: 1 a sequencia vazia e um elemento de L; 2 se w L, entao awb L; 3 se w L, entao bwa L; 4 se u, w L, entao uw L. A esta denicao corresponde o seguinte conjunto de regras:
1

L w L awb L w L
i1

um conjunto base B = {} f1 : A A w awb f2 : A A w bwa

i3
Turno TP2

bwa L uL w L uw L

i2

f3 : A A A (u, w) uw
LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Conjunto indutivo

Inducao Estrutural

Recursao Estrutural

Denicao Sejam X um conjunto, = B X e O um conjunto de operacoes em X . Um subconjunto I de X diz-se indutivo sobre X de base B e conjunto de operacoes O se
1 2

B I, I e fechado para as operacoes de O, i.e., se f : X n X e uma operacao de O e x1 , ..., xn I, entao f (x1 , ..., xn ) I.

Denicao Sejam X um conjunto, = B X e O um conjunto de operacoes em X . O menor conjunto indutivo sobre X de base B e conjunto de operacoes O diz-se o conjunto denido induti vamente por O, de base B. O par (B, O) designa-se uma denicao indutiva sobre o con junto suporte X .
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Conjunto indutivo

Inducao Estrutural

Recursao Estrutural

Denicao Sejam X um conjunto, = B X e O um conjunto de operacoes em X . Um subconjunto I de X diz-se indutivo sobre X de base B e conjunto de operacoes O se
1 2

B I, I e fechado para as operacoes de O, i.e., se f : X n X e uma operacao de O e x1 , ..., xn I, entao f (x1 , ..., xn ) I.

Denicao Sejam X um conjunto, = B X e O um conjunto de operacoes em X . O menor conjunto indutivo sobre X de base B e conjunto de operacoes O diz-se o conjunto denido induti vamente por O, de base B. O par (B, O) designa-se uma denicao indutiva sobre o con junto suporte X .
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Conjunto indutivo

Inducao Estrutural

Recursao Estrutural

Denicao Sejam X um conjunto, = B X e O um conjunto de operacoes em X . Um subconjunto I de X diz-se indutivo sobre X de base B e conjunto de operacoes O se
1 2

B I, I e fechado para as operacoes de O, i.e., se f : X n X e uma operacao de O e x1 , ..., xn I, entao f (x1 , ..., xn ) I.

Denicao Sejam X um conjunto, = B X e O um conjunto de operacoes em X . O menor conjunto indutivo sobre X de base B e conjunto de operacoes O diz-se o conjunto denido induti vamente por O, de base B. O par (B, O) designa-se uma denicao indutiva sobre o con junto suporte X .
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Conjunto indutivo

Inducao Estrutural

Recursao Estrutural

Denicao Sejam X um conjunto, = B X e O um conjunto de operacoes em X . Um subconjunto I de X diz-se indutivo sobre X de base B e conjunto de operacoes O se
1 2

B I, I e fechado para as operacoes de O, i.e., se f : X n X e uma operacao de O e x1 , ..., xn I, entao f (x1 , ..., xn ) I.

Denicao Sejam X um conjunto, = B X e O um conjunto de operacoes em X . O menor conjunto indutivo sobre X de base B e conjunto de operacoes O diz-se o conjunto denido induti vamente por O, de base B. O par (B, O) designa-se uma denicao indutiva sobre o con junto suporte X .
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Conjunto indutivo

Inducao Estrutural

Recursao Estrutural

Denicao Sejam X um conjunto, = B X e O um conjunto de operacoes em X . Um subconjunto I de X diz-se indutivo sobre X de base B e conjunto de operacoes O se
1 2

B I, I e fechado para as operacoes de O, i.e., se f : X n X e uma operacao de O e x1 , ..., xn I, entao f (x1 , ..., xn ) I.

Denicao Sejam X um conjunto, = B X e O um conjunto de operacoes em X . O menor conjunto indutivo sobre X de base B e conjunto de operacoes O diz-se o conjunto denido induti vamente por O, de base B. O par (B, O) designa-se uma denicao indutiva sobre o con junto suporte X .
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Conjunto indutivo

Inducao Estrutural

Recursao Estrutural

Denicao Sejam X um conjunto, = B X e O um conjunto de operacoes em X . Um subconjunto I de X diz-se indutivo sobre X de base B e conjunto de operacoes O se
1 2

B I, I e fechado para as operacoes de O, i.e., se f : X n X e uma operacao de O e x1 , ..., xn I, entao f (x1 , ..., xn ) I.

Denicao Sejam X um conjunto, = B X e O um conjunto de operacoes em X . O menor conjunto indutivo sobre X de base B e conjunto de operacoes O diz-se o conjunto denido induti vamente por O, de base B. O par (B, O) designa-se uma denicao indutiva sobre o con junto suporte X .
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Conjunto indutivo

Inducao Estrutural

Recursao Estrutural

Denicao Sejam X um conjunto, = B X e O um conjunto de operacoes em X . Um subconjunto I de X diz-se indutivo sobre X de base B e conjunto de operacoes O se
1 2

B I, I e fechado para as operacoes de O, i.e., se f : X n X e uma operacao de O e x1 , ..., xn I, entao f (x1 , ..., xn ) I.

Denicao Sejam X um conjunto, = B X e O um conjunto de operacoes em X . O menor conjunto indutivo sobre X de base B e conjunto de operacoes O diz-se o conjunto denido induti vamente por O, de base B. O par (B, O) designa-se uma denicao indutiva sobre o con junto suporte X .
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Conjunto indutivo

Inducao Estrutural

Recursao Estrutural

Denicao Sejam X um conjunto, = B X e O um conjunto de operacoes em X . Um subconjunto I de X diz-se indutivo sobre X de base B e conjunto de operacoes O se
1 2

B I, I e fechado para as operacoes de O, i.e., se f : X n X e uma operacao de O e x1 , ..., xn I, entao f (x1 , ..., xn ) I.

Denicao Sejam X um conjunto, = B X e O um conjunto de operacoes em X . O menor conjunto indutivo sobre X de base B e conjunto de operacoes O diz-se o conjunto denido induti vamente por O, de base B. O par (B, O) designa-se uma denicao indutiva sobre o con junto suporte X .
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Conjunto indutivo

Inducao Estrutural

Recursao Estrutural

Recorde-se o exemplo anterior. O conjunto L e denido , com A = {a, b}: indutivamente sobre A
1 2 3 4

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Conjunto indutivo

Inducao Estrutural

Recursao Estrutural

Recorde-se o exemplo anterior. O conjunto L e denido , com A = {a, b}: indutivamente sobre A
1 2 3 4

B = {} O = {, , }

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Conjunto indutivo

Inducao Estrutural

Recursao Estrutural

Recorde-se o exemplo anterior. O conjunto L e denido , com A = {a, b}: indutivamente sobre A
1 2 3 4

um conjunto base B = {}

B = {} O = {, , }

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Conjunto indutivo

Inducao Estrutural

Recursao Estrutural

Recorde-se o exemplo anterior. O conjunto L e denido , com A = {a, b}: indutivamente sobre A
1

L w L awb L
i1

um conjunto base B = {}

3 4

B = {} O = {, , }

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Conjunto indutivo

Inducao Estrutural

Recursao Estrutural

Recorde-se o exemplo anterior. O conjunto L e denido , com A = {a, b}: indutivamente sobre A
1

L w L awb L
i1

um conjunto base B = {} f1 : A A w awb

3 4

B = {} O = {f1 , , }

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Conjunto indutivo

Inducao Estrutural

Recursao Estrutural

Recorde-se o exemplo anterior. O conjunto L e denido , com A = {a, b}: indutivamente sobre A
1

L w L awb L w L bwa L
i1

um conjunto base B = {} f1 : A A w awb

i2

B = {} O = {f1 , , }

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Conjunto indutivo

Inducao Estrutural

Recursao Estrutural

Recorde-se o exemplo anterior. O conjunto L e denido , com A = {a, b}: indutivamente sobre A
1

L w L awb L w L bwa L
i1

um conjunto base B = {} f1 : A A w awb f2 : A A w bwa

i2

B = {} O = {f1 , f2 , }

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Conjunto indutivo

Inducao Estrutural

Recursao Estrutural

Recorde-se o exemplo anterior. O conjunto L e denido , com A = {a, b}: indutivamente sobre A
1

L w L awb L w L
i1

um conjunto base B = {} f1 : A A w awb f2 : A A w bwa

i3

bwa L uL w L uw L

i2

B = {} O = {f1 , f2 , }

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Conjunto indutivo

Inducao Estrutural

Recursao Estrutural

Recorde-se o exemplo anterior. O conjunto L e denido , com A = {a, b}: indutivamente sobre A
1

L w L awb L w L
i1

um conjunto base B = {} f1 : A A w awb f2 : A A w bwa

i3

bwa L uL w L uw L

i2

f3 : A A L (u, w) uw B = {} O = {f1 , f2 , f3 }

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Conjunto indutivo

Inducao Estrutural

Recursao Estrutural

Genericamente, a uma denicao indutiva (B, O) de um conjun to I sobre um conjunto suporte X associa-se um conjunto de regras:
1

x I , para cada x B; w1 I wn I f (w1 , . . . , wn ) I

f

, para cada f O de aridade n.

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Conjunto indutivo

Inducao Estrutural

Recursao Estrutural

Genericamente, a uma denicao indutiva (B, O) de um conjun to I sobre um conjunto suporte X associa-se um conjunto de regras:
1

x I , para cada x B; w1 I wn I f (w1 , . . . , wn ) I

f

, para cada f O de aridade n.

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Conjunto indutivo

Inducao Estrutural

Recursao Estrutural

Genericamente, a uma denicao indutiva (B, O) de um conjun to I sobre um conjunto suporte X associa-se um conjunto de regras:
1

x I , para cada x B; w1 I wn I f (w1 , . . . , wn ) I

f

, para cada f O de aridade n.

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L i. L
i2 (por b)

uL

w L
i3

uw L

Como conclusao nal obtem-se que b2 aba2 L. A sequencia (, ab, baba, b2 aba2 ) diz-se uma sequencia de formacao de b2 aba2 L. Alternativamente, podemos elaborar a seguinte arvore: L
b i1 i2 i2
Lic. Eng. Informatica

ab L baba L
Turno TP2

bbabaa L

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L i. L
i2 (por b)

uL

w L
i3

uw L

Como conclusao nal obtem-se que b2 aba2 L. A sequencia (, ab, baba, b2 aba2 ) diz-se uma sequencia de formacao de b2 aba2 L. Alternativamente, podemos elaborar a seguinte arvore: L
b i1 i2 i2
Lic. Eng. Informatica

ab L baba L
Turno TP2

bbabaa L

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. L ii. ab L

(por i. e i1 , ou seja, ab = f1 ())

Como conclusao nal obtem-se que b2 aba2 L. A sequencia (, ab, baba, b2 aba2 ) diz-se uma sequencia de formacao de b2 aba2 L. Alternativamente, podemos elaborar a seguinte arvore: L
b i1 i2 i2
Lic. Eng. Informatica

ab L baba L
Turno TP2

bbabaa L

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. L ii. ab L iii. baba L

(por i. e i1 , ou seja, ab = f1 ()) (por ii. e i2 , ou seja, baba = f2 (ab))

Como conclusao nal obtem-se que b2 aba2 L. A sequencia (, ab, baba, b2 aba2 ) diz-se uma sequencia de formacao de b2 aba2 L. Alternativamente, podemos elaborar a seguinte arvore: L
b i1 i2 i2
Lic. Eng. Informatica

ab L baba L
Turno TP2

bbabaa L

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ab L baba L b2 aba2 L

(por i. e i1 , ou seja, ab = f1 ()) (por ii. e i2 , ou seja, baba = f2 (ab)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

Como conclusao nal obtem-se que b2 aba2 L. A sequencia (, ab, baba, b2 aba2 ) diz-se uma sequencia de formacao de b2 aba2 L. Alternativamente, podemos elaborar a seguinte arvore: L
b i1 i2 i2
Lic. Eng. Informatica

ab L baba L
Turno TP2

bbabaa L

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ab L baba L b2 aba2 L

(por i. e i1 , ou seja, ab = f1 ()) (por ii. e i2 , ou seja, baba = f2 (ab)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

Como conclusao nal obtem-se que b2 aba2 L. A sequencia (, ab, baba, b2 aba2 ) diz-se uma sequencia de formacao de b2 aba2 L. Alternativamente, podemos elaborar a seguinte arvore: L
b i1 i2 i2
Lic. Eng. Informatica

ab L baba L
Turno TP2

bbabaa L

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ab L baba L b2 aba2 L

(por i. e i1 , ou seja, ab = f1 ()) (por ii. e i2 , ou seja, baba = f2 (ab)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

Como conclusao nal obtem-se que b2 aba2 L. A sequencia (, ab, baba, b2 aba2 ) diz-se uma sequencia de formacao de b2 aba2 L. Alternativamente, podemos elaborar a seguinte arvore: L
b i1 i2 i2
Lic. Eng. Informatica

ab L baba L
Turno TP2

bbabaa L

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ab L baba L b2 aba2 L

(por i. e i1 , ou seja, ab = f1 ()) (por ii. e i2 , ou seja, baba = f2 (ab)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

Como conclusao nal obtem-se que b2 aba2 L. A sequencia (, ab, baba, b2 aba2 ) diz-se uma sequencia de formacao de b2 aba2 L. Alternativamente, podemos elaborar a seguinte arvore: L
b i1 i2 i2
Lic. Eng. Informatica

ab L baba L
Turno TP2

bbabaa L

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ab L baba L b2 aba2 L

(por i. e i1 , ou seja, ab = f1 ()) (por ii. e i2 , ou seja, baba = f2 (ab)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

Como conclusao nal obtem-se que b2 aba2 L. A sequencia (, ab, baba, b2 aba2 ) diz-se uma sequencia de formacao de b2 aba2 L. Alternativamente, podemos elaborar a seguinte arvore: L
b i1 i2 i2
Lic. Eng. Informatica

ab L baba L
Turno TP2

bbabaa L

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ab L baba L b2 aba2 L

(por i. e i1 , ou seja, ab = f1 ()) (por ii. e i2 , ou seja, baba = f2 (ab)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

Como conclusao nal obtem-se que b2 aba2 L. A sequencia (, ab, baba, b2 aba2 ) diz-se uma sequencia de formacao de b2 aba2 L. Alternativamente, podemos elaborar a seguinte arvore: L
b i1 i2 i2
Lic. Eng. Informatica

ab L baba L
Turno TP2

bbabaa L

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ab L baba L b2 aba2 L

(por i. e i1 , ou seja, ab = f1 ()) (por ii. e i2 , ou seja, baba = f2 (ab)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

Como conclusao nal obtem-se que b2 aba2 L. A sequencia (, ab, baba, b2 aba2 ) diz-se uma sequencia de formacao de b2 aba2 L. Alternativamente, podemos elaborar a seguinte arvore: L
b i1 i2 i2
Lic. Eng. Informatica

ab L baba L
Turno TP2

bbabaa L

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ab L baba L b2 aba2 L

(por i. e i1 , ou seja, ab = f1 ()) (por ii. e i2 , ou seja, baba = f2 (ab)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

Como conclusao nal obtem-se que b2 aba2 L. A sequencia (, ab, baba, b2 aba2 ) diz-se uma sequencia de formacao de b2 aba2 L. Alternativamente, podemos elaborar a seguinte arvore: L
b i1 i2 i2
Lic. Eng. Informatica

ab L baba L
Turno TP2

bbabaa L

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ab L baba L b2 aba2 L

(por i. e i1 , ou seja, ab = f1 ()) (por ii. e i2 , ou seja, baba = f2 (ab)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

Como conclusao nal obtem-se que b2 aba2 L. A sequencia (, ab, baba, b2 aba2 ) diz-se uma sequencia de formacao de b2 aba2 L. Alternativamente, podemos elaborar a seguinte arvore: L
b i1 i2 i2
Lic. Eng. Informatica

ab L baba L
Turno TP2

bbabaa L

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ab L baba L b2 aba2 L

(por i. e i1 , ou seja, ab = f1 ()) (por ii. e i2 , ou seja, baba = f2 (ab)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

Como conclusao nal obtem-se que b2 aba2 L. A sequencia (, ab, baba, b2 aba2 ) diz-se uma sequencia de formacao de b2 aba2 L. Alternativamente, podemos elaborar a seguinte arvore: L
b i1 i2 i2
Lic. Eng. Informatica

ab L baba L
Turno TP2

bbabaa L

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ab L baba L b2 aba2 L

(por i. e i1 , ou seja, ab = f1 ()) (por ii. e i2 , ou seja, baba = f2 (ab)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

Como conclusao nal obtem-se que b2 aba2 L. A sequencia (, ab, baba, b2 aba2 ) diz-se uma sequencia de formacao de b2 aba2 L. Alternativamente, podemos elaborar a seguinte arvore: L
b i1 i2 i2
Lic. Eng. Informatica

ab L baba L
Turno TP2

bbabaa L

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L i. L
i2 (por b)

uL

w L
i3

uw L

A conclusao nal e novamente que b2 aba2 L, e a sequencia (, ba, baba, b2 aba2 ) e tambem uma sequencia e formacao 2 aba2 L. de b A arvore correspondente e: L ba L
b i2 i3 i2
Lic. Eng. Informatica

baba L bbabaa L
Turno TP2

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L i. L
i2 (por b)

uL

w L
i3

uw L

A conclusao nal e novamente que b2 aba2 L, e a sequencia (, ba, baba, b2 aba2 ) e tambem uma sequencia e formacao 2 aba2 L. de b A arvore correspondente e: L ba L
b i2 i3 i2
Lic. Eng. Informatica

baba L bbabaa L
Turno TP2

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. L ii. ba L

(por i. e i2 , ou seja, ba = f2 ())

A conclusao nal e novamente que b2 aba2 L, e a sequencia (, ba, baba, b2 aba2 ) e tambem uma sequencia e formacao 2 aba2 L. de b A arvore correspondente e: L ba L
b i2 i3 i2
Lic. Eng. Informatica

baba L bbabaa L
Turno TP2

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. L ii. ba L iii. baba L

(por i. e i2 , ou seja, ba = f2 ()) (por ii. e i3 , ou seja, baba = f3 (ba, ba))

A conclusao nal e novamente que b2 aba2 L, e a sequencia (, ba, baba, b2 aba2 ) e tambem uma sequencia e formacao 2 aba2 L. de b A arvore correspondente e: L ba L
b i2 i3 i2
Lic. Eng. Informatica

baba L bbabaa L
Turno TP2

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ba L baba L b2 aba2 L

(por i. e i2 , ou seja, ba = f2 ()) (por ii. e i3 , ou seja, baba = f3 (ba, ba)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

A conclusao nal e novamente que b2 aba2 L, e a sequencia (, ba, baba, b2 aba2 ) e tambem uma sequencia e formacao 2 aba2 L. de b A arvore correspondente e: L ba L
b i2 i3 i2
Lic. Eng. Informatica

baba L bbabaa L
Turno TP2

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ba L baba L b2 aba2 L

(por i. e i2 , ou seja, ba = f2 ()) (por ii. e i3 , ou seja, baba = f3 (ba, ba)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

A conclusao nal e novamente que b2 aba2 L, e a sequencia (, ba, baba, b2 aba2 ) e tambem uma sequencia e formacao 2 aba2 L. de b A arvore correspondente e: L ba L
b i2 i3 i2
Lic. Eng. Informatica

baba L bbabaa L
Turno TP2

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ba L baba L b2 aba2 L

(por i. e i2 , ou seja, ba = f2 ()) (por ii. e i3 , ou seja, baba = f3 (ba, ba)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

A conclusao nal e novamente que b2 aba2 L, e a sequencia (, ba, baba, b2 aba2 ) e tambem uma sequencia e formacao 2 aba2 L. de b A arvore correspondente e: L ba L
b i2 i3 i2
Lic. Eng. Informatica

baba L bbabaa L
Turno TP2

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ba L baba L b2 aba2 L

(por i. e i2 , ou seja, ba = f2 ()) (por ii. e i3 , ou seja, baba = f3 (ba, ba)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

A conclusao nal e novamente que b2 aba2 L, e a sequencia (, ba, baba, b2 aba2 ) e tambem uma sequencia e formacao 2 aba2 L. de b A arvore correspondente e: L ba L
b i2 i3 i2
Lic. Eng. Informatica

baba L bbabaa L
Turno TP2

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ba L baba L b2 aba2 L

(por i. e i2 , ou seja, ba = f2 ()) (por ii. e i3 , ou seja, baba = f3 (ba, ba)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

A conclusao nal e novamente que b2 aba2 L, e a sequencia (, ba, baba, b2 aba2 ) e tambem uma sequencia e formacao 2 aba2 L. de b A arvore correspondente e: L ba L
b i2 i3 i2
Lic. Eng. Informatica

baba L bbabaa L
Turno TP2

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ba L baba L b2 aba2 L

(por i. e i2 , ou seja, ba = f2 ()) (por ii. e i3 , ou seja, baba = f3 (ba, ba)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

A conclusao nal e novamente que b2 aba2 L, e a sequencia (, ba, baba, b2 aba2 ) e tambem uma sequencia e formacao 2 aba2 L. de b A arvore correspondente e: L ba L
b i2 i3 i2
Lic. Eng. Informatica

baba L bbabaa L
Turno TP2

LOGICA

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ba L baba L b2 aba2 L

(por i. e i2 , ou seja, ba = f2 ()) (por ii. e i3 , ou seja, baba = f3 (ba, ba)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

A conclusao nal e novamente que b2 aba2 L, e a sequencia (, ba, baba, b2 aba2 ) e tambem uma sequencia e formacao 2 aba2 L. de b A arvore correspondente e: L ba L
b i2

L ba L
i2

b i2 i3

baba L bbabaa L
Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ba L baba L b2 aba2 L

(por i. e i2 , ou seja, ba = f2 ()) (por ii. e i3 , ou seja, baba = f3 (ba, ba)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

A conclusao nal e novamente que b2 aba2 L, e a sequencia (, ba, baba, b2 aba2 ) e tambem uma sequencia e formacao 2 aba2 L. de b A arvore correspondente e: L ba L
b i2

L ba L
i2

b i2 i3

baba L bbabaa L
Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ba L baba L b2 aba2 L

(por i. e i2 , ou seja, ba = f2 ()) (por ii. e i3 , ou seja, baba = f3 (ba, ba)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

A conclusao nal e novamente que b2 aba2 L, e a sequencia (, ba, baba, b2 aba2 ) e tambem uma sequencia e formacao 2 aba2 L. de b A arvore correspondente e: L ba L
b i2

L ba L
i2

b i2 i3

baba L bbabaa L
Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ba L baba L b2 aba2 L

(por i. e i2 , ou seja, ba = f2 ()) (por ii. e i3 , ou seja, baba = f3 (ba, ba)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

A conclusao nal e novamente que b2 aba2 L, e a sequencia (, ba, baba, b2 aba2 ) e tambem uma sequencia e formacao 2 aba2 L. de b A arvore correspondente e: L ba L
b i2

L ba L
i2

b i2 i3

baba L bbabaa L
Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ba L baba L b2 aba2 L

(por i. e i2 , ou seja, ba = f2 ()) (por ii. e i3 , ou seja, baba = f3 (ba, ba)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

A conclusao nal e novamente que b2 aba2 L, e a sequencia (, ba, baba, b2 aba2 ) e tambem uma sequencia e formacao 2 aba2 L. de b A arvore correspondente e: L ba L
b i2

L ba L
i2

b i2 i3

baba L bbabaa L
Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ba L baba L b2 aba2 L

(por i. e i2 , ou seja, ba = f2 ()) (por ii. e i3 , ou seja, baba = f3 (ba, ba)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

A conclusao nal e novamente que b2 aba2 L, e a sequencia (, ba, baba, b2 aba2 ) e tambem uma sequencia e formacao 2 aba2 L. de b A arvore correspondente e: L ba L
b i2

L ba L
i2

b i2 i3

baba L bbabaa L
Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
(por b) i2

uL

w L
i3

uw L

i. ii. iii. iv .

L ba L baba L b2 aba2 L

(por i. e i2 , ou seja, ba = f2 ()) (por ii. e i3 , ou seja, baba = f3 (ba, ba)) (por iii. e i2 , ou seja, b2 aba2 = f2 (baba))

A conclusao nal e novamente que b2 aba2 L, e a sequencia (, ba, baba, b2 aba2 ) e tambem uma sequencia e formacao 2 aba2 L. de b A arvore correspondente e: L ba L
b i2

L ba L
i2

b i2 i3

baba L bbabaa L
Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

Denicoes Seja (B, O) uma denicao indutiva de um conjunto I e x I. 1 Sequencia de formacao de x e uma sequencia de ele mentos de I cujo ultimo elemento e x e em que cada elemento
ou pertence a B, ou e imagem de elementos anteriores na sequencia por uma funcao de O.
2

Arvore de formacao de x e uma arvore construda a partir da aplicacao das regras e em que:
cada nodo e uma armacao do tipo s I; as folhas resultam da aplicacao de regras basicas; os restantes nodos resultam da aplicacao de regras indutivas; cada aresta representa a relacao entre uma premissa e a conclusao de uma regra; a raiz e x I.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

Denicoes Seja (B, O) uma denicao indutiva de um conjunto I e x I. 1 Sequencia de formacao de x e uma sequencia de ele mentos de I cujo ultimo elemento e x e em que cada elemento
ou pertence a B, ou e imagem de elementos anteriores na sequencia por uma funcao de O.
2

Arvore de formacao de x e uma arvore construda a partir da aplicacao das regras e em que:
cada nodo e uma armacao do tipo s I; as folhas resultam da aplicacao de regras basicas; os restantes nodos resultam da aplicacao de regras indutivas; cada aresta representa a relacao entre uma premissa e a conclusao de uma regra; a raiz e x I.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

Denicoes Seja (B, O) uma denicao indutiva de um conjunto I e x I. 1 Sequencia de formacao de x e uma sequencia de ele mentos de I cujo ultimo elemento e x e em que cada elemento
ou pertence a B, ou e imagem de elementos anteriores na sequencia por uma funcao de O.
2

Arvore de formacao de x e uma arvore construda a partir da aplicacao das regras e em que:
cada nodo e uma armacao do tipo s I; as folhas resultam da aplicacao de regras basicas; os restantes nodos resultam da aplicacao de regras indutivas; cada aresta representa a relacao entre uma premissa e a conclusao de uma regra; a raiz e x I.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

Denicoes Seja (B, O) uma denicao indutiva de um conjunto I e x I. 1 Sequencia de formacao de x e uma sequencia de ele mentos de I cujo ultimo elemento e x e em que cada elemento
ou pertence a B, ou e imagem de elementos anteriores na sequencia por uma funcao de O.
2

Arvore de formacao de x e uma arvore construda a partir da aplicacao das regras e em que:
cada nodo e uma armacao do tipo s I; as folhas resultam da aplicacao de regras basicas; os restantes nodos resultam da aplicacao de regras indutivas; cada aresta representa a relacao entre uma premissa e a conclusao de uma regra; a raiz e x I.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

Denicoes Seja (B, O) uma denicao indutiva de um conjunto I e x I. 1 Sequencia de formacao de x e uma sequencia de ele mentos de I cujo ultimo elemento e x e em que cada elemento
ou pertence a B, ou e imagem de elementos anteriores na sequencia por uma funcao de O.
2

Arvore de formacao de x e uma arvore construda a partir da aplicacao das regras e em que:
cada nodo e uma armacao do tipo s I; as folhas resultam da aplicacao de regras basicas; os restantes nodos resultam da aplicacao de regras indutivas; cada aresta representa a relacao entre uma premissa e a conclusao de uma regra; a raiz e x I.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

Denicoes Seja (B, O) uma denicao indutiva de um conjunto I e x I. 1 Sequencia de formacao de x e uma sequencia de ele mentos de I cujo ultimo elemento e x e em que cada elemento
ou pertence a B, ou e imagem de elementos anteriores na sequencia por uma funcao de O.
2

Arvore de formacao de x e uma arvore construda a partir da aplicacao das regras e em que:
cada nodo e uma armacao do tipo s I; as folhas resultam da aplicacao de regras basicas; os restantes nodos resultam da aplicacao de regras indutivas; cada aresta representa a relacao entre uma premissa e a conclusao de uma regra; a raiz e x I.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

Denicoes Seja (B, O) uma denicao indutiva de um conjunto I e x I. 1 Sequencia de formacao de x e uma sequencia de ele mentos de I cujo ultimo elemento e x e em que cada elemento
ou pertence a B, ou e imagem de elementos anteriores na sequencia por uma funcao de O.
2

Arvore de formacao de x e uma arvore construda a partir da aplicacao das regras e em que:
cada nodo e uma armacao do tipo s I; as folhas resultam da aplicacao de regras basicas; os restantes nodos resultam da aplicacao de regras indutivas; cada aresta representa a relacao entre uma premissa e a conclusao de uma regra; a raiz e x I.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

Denicoes Seja (B, O) uma denicao indutiva de um conjunto I e x I. 1 Sequencia de formacao de x e uma sequencia de ele mentos de I cujo ultimo elemento e x e em que cada elemento
ou pertence a B, ou e imagem de elementos anteriores na sequencia por uma funcao de O.
2

Arvore de formacao de x e uma arvore construda a partir da aplicacao das regras e em que:
cada nodo e uma armacao do tipo s I; as folhas resultam da aplicacao de regras basicas; os restantes nodos resultam da aplicacao de regras indutivas; cada aresta representa a relacao entre uma premissa e a conclusao de uma regra; a raiz e x I.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

Denicoes Seja (B, O) uma denicao indutiva de um conjunto I e x I. 1 Sequencia de formacao de x e uma sequencia de ele mentos de I cujo ultimo elemento e x e em que cada elemento
ou pertence a B, ou e imagem de elementos anteriores na sequencia por uma funcao de O.
2

Arvore de formacao de x e uma arvore construda a partir da aplicacao das regras e em que:
cada nodo e uma armacao do tipo s I; as folhas resultam da aplicacao de regras basicas; os restantes nodos resultam da aplicacao de regras indutivas; cada aresta representa a relacao entre uma premissa e a conclusao de uma regra; a raiz e x I.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

Denicoes Seja (B, O) uma denicao indutiva de um conjunto I e x I. 1 Sequencia de formacao de x e uma sequencia de ele mentos de I cujo ultimo elemento e x e em que cada elemento
ou pertence a B, ou e imagem de elementos anteriores na sequencia por uma funcao de O.
2

Arvore de formacao de x e uma arvore construda a partir da aplicacao das regras e em que:
cada nodo e uma armacao do tipo s I; as folhas resultam da aplicacao de regras basicas; os restantes nodos resultam da aplicacao de regras indutivas; cada aresta representa a relacao entre uma premissa e a conclusao de uma regra; a raiz e x I.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

Proposicao Sejam I um conjunto denido indutivamente sobre um conjunto X e x X . Entao, x I se e so se x admite uma arvore (ou sequencia) de formacao. Recorde a denicao indutiva da linguagem L. w L w L uL w L b L i1 i2 i3 awb L bwa L uw L Sera que: baab L? b L? bb L? bbab L?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

Proposicao Sejam I um conjunto denido indutivamente sobre um conjunto X e x X . Entao, x I se e so se x admite uma arvore (ou sequencia) de formacao. Recorde a denicao indutiva da linguagem L. w L w L uL w L b L i1 i2 i3 awb L bwa L uw L Sera que: baab L? b L? bb L? bbab L?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

Proposicao Sejam I um conjunto denido indutivamente sobre um conjunto X e x X . Entao, x I se e so se x admite uma arvore (ou sequencia) de formacao. Recorde a denicao indutiva da linguagem L. w L w L uL w L b L i1 i2 i3 awb L bwa L uw L Sera que: baab L? b L? bb L? bbab L?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

Proposicao Sejam I um conjunto denido indutivamente sobre um conjunto X e x X . Entao, x I se e so se x admite uma arvore (ou sequencia) de formacao. Recorde a denicao indutiva da linguagem L. w L w L uL w L b L i1 i2 i3 awb L bwa L uw L Sera que: baab L? b L? bb L? bbab L?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

Proposicao Sejam I um conjunto denido indutivamente sobre um conjunto X e x X . Entao, x I se e so se x admite uma arvore (ou sequencia) de formacao. Recorde a denicao indutiva da linguagem L. w L w L uL w L b L i1 i2 i3 awb L bwa L uw L Sera que: baab L? b L? bb L? bbab L?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sequencia de formacao

Inducao Estrutural

Recursao Estrutural

Proposicao Sejam I um conjunto denido indutivamente sobre um conjunto X e x X . Entao, x I se e so se x admite uma arvore (ou sequencia) de formacao. Recorde a denicao indutiva da linguagem L. w L w L uL w L b L i1 i2 i3 awb L bwa L uw L Sera que: baab L? b L? bb L? bbab L?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sub-objectos

Inducao Estrutural

Recursao Estrutural

Denicao Sejam I um conjunto denido indutivamente sobre um conjunto X e x I. Os elementos de uma arvore de formacao de x designam-se sub-objectos de x. Notas
1 2

Os sub-objectos de x sao elementos de I. Se y e um sub-objecto de x e z e um sub-objecto de y , entao z e sub-objecto de x.

` Relativamente a denicao indutiva de L: ba e sub-objecto de baab? b e sub-objecto de baab? Quais sao os sub-objectos de baab? E os sub-objectos de baba, quais sao?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sub-objectos

Inducao Estrutural

Recursao Estrutural

Denicao Sejam I um conjunto denido indutivamente sobre um conjunto X e x I. Os elementos de uma arvore de formacao de x designam-se sub-objectos de x. Notas
1 2

Os sub-objectos de x sao elementos de I. Se y e um sub-objecto de x e z e um sub-objecto de y , entao z e sub-objecto de x.

` Relativamente a denicao indutiva de L: ba e sub-objecto de baab? b e sub-objecto de baab? Quais sao os sub-objectos de baab? E os sub-objectos de baba, quais sao?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sub-objectos

Inducao Estrutural

Recursao Estrutural

Denicao Sejam I um conjunto denido indutivamente sobre um conjunto X e x I. Os elementos de uma arvore de formacao de x designam-se sub-objectos de x. Notas
1 2

Os sub-objectos de x sao elementos de I. Se y e um sub-objecto de x e z e um sub-objecto de y , entao z e sub-objecto de x.

` Relativamente a denicao indutiva de L: ba e sub-objecto de baab? b e sub-objecto de baab? Quais sao os sub-objectos de baab? E os sub-objectos de baba, quais sao?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sub-objectos

Inducao Estrutural

Recursao Estrutural

Denicao Sejam I um conjunto denido indutivamente sobre um conjunto X e x I. Os elementos de uma arvore de formacao de x designam-se sub-objectos de x. Notas
1 2

Os sub-objectos de x sao elementos de I. Se y e um sub-objecto de x e z e um sub-objecto de y , entao z e sub-objecto de x.

` Relativamente a denicao indutiva de L: ba e sub-objecto de baab? b e sub-objecto de baab? Quais sao os sub-objectos de baab? E os sub-objectos de baba, quais sao?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sub-objectos

Inducao Estrutural

Recursao Estrutural

Denicao Sejam I um conjunto denido indutivamente sobre um conjunto X e x I. Os elementos de uma arvore de formacao de x designam-se sub-objectos de x. Notas
1 2

Os sub-objectos de x sao elementos de I. Se y e um sub-objecto de x e z e um sub-objecto de y , entao z e sub-objecto de x.

` Relativamente a denicao indutiva de L: ba e sub-objecto de baab? b e sub-objecto de baab? Quais sao os sub-objectos de baab? E os sub-objectos de baba, quais sao?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sub-objectos

Inducao Estrutural

Recursao Estrutural

Denicao Sejam I um conjunto denido indutivamente sobre um conjunto X e x I. Os elementos de uma arvore de formacao de x designam-se sub-objectos de x. Notas
1 2

Os sub-objectos de x sao elementos de I. Se y e um sub-objecto de x e z e um sub-objecto de y , entao z e sub-objecto de x.

` Relativamente a denicao indutiva de L: ba e sub-objecto de baab? b e sub-objecto de baab? Quais sao os sub-objectos de baab? E os sub-objectos de baba, quais sao?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sub-objectos

Inducao Estrutural

Recursao Estrutural

Denicao Sejam I um conjunto denido indutivamente sobre um conjunto X e x I. Os elementos de uma arvore de formacao de x designam-se sub-objectos de x. Notas
1 2

Os sub-objectos de x sao elementos de I. Se y e um sub-objecto de x e z e um sub-objecto de y , entao z e sub-objecto de x.

` Relativamente a denicao indutiva de L: ba e sub-objecto de baab? b e sub-objecto de baab? Quais sao os sub-objectos de baab? E os sub-objectos de baba, quais sao?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Sub-objectos

Inducao Estrutural

Recursao Estrutural

Denicao Sejam I um conjunto denido indutivamente sobre um conjunto X e x I. Os elementos de uma arvore de formacao de x designam-se sub-objectos de x. Notas
1 2

Os sub-objectos de x sao elementos de I. Se y e um sub-objecto de x e z e um sub-objecto de y , entao z e sub-objecto de x.

` Relativamente a denicao indutiva de L: ba e sub-objecto de baab? b e sub-objecto de baab? Quais sao os sub-objectos de baab? E os sub-objectos de baba, quais sao?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva determinista

Inducao Estrutural

Recursao Estrutural

Denicao Uma denicao indutiva de um conjunto I diz-se determinista se e so se cada elemento de I admite uma unica arvore de formacao. Recorde de novo a denicao indutiva da linguagem L. w L w L uL w L b L i1 i2 i3 awb L bwa L uw L Esta denicao indutiva e determinista? Nao. E se a esta denicao retirarmos a regra i3 , passamos a ter uma denicao indutiva determinista? Sim. Como o provar? Adiante estudaremos uma ferramenta (Inducao Estrutural) que, em particular, se adequa a este tipo de prova.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva determinista

Inducao Estrutural

Recursao Estrutural

Denicao Uma denicao indutiva de um conjunto I diz-se determinista se e so se cada elemento de I admite uma unica arvore de formacao. Recorde de novo a denicao indutiva da linguagem L. w L w L uL w L b L i1 i2 i3 awb L bwa L uw L Esta denicao indutiva e determinista? Nao. E se a esta denicao retirarmos a regra i3 , passamos a ter uma denicao indutiva determinista? Sim. Como o provar? Adiante estudaremos uma ferramenta (Inducao Estrutural) que, em particular, se adequa a este tipo de prova.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva determinista

Inducao Estrutural

Recursao Estrutural

Denicao Uma denicao indutiva de um conjunto I diz-se determinista se e so se cada elemento de I admite uma unica arvore de formacao. Recorde de novo a denicao indutiva da linguagem L. w L w L uL w L b L i1 i2 i3 awb L bwa L uw L Esta denicao indutiva e determinista? Nao. E se a esta denicao retirarmos a regra i3 , passamos a ter uma denicao indutiva determinista? Sim. Como o provar? Adiante estudaremos uma ferramenta (Inducao Estrutural) que, em particular, se adequa a este tipo de prova.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva determinista

Inducao Estrutural

Recursao Estrutural

Denicao Uma denicao indutiva de um conjunto I diz-se determinista se e so se cada elemento de I admite uma unica arvore de formacao. Recorde de novo a denicao indutiva da linguagem L. w L w L uL w L b L i1 i2 i3 awb L bwa L uw L Esta denicao indutiva e determinista? Nao. E se a esta denicao retirarmos a regra i3 , passamos a ter uma denicao indutiva determinista? Sim. Como o provar? Adiante estudaremos uma ferramenta (Inducao Estrutural) que, em particular, se adequa a este tipo de prova.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva determinista

Inducao Estrutural

Recursao Estrutural

Denicao Uma denicao indutiva de um conjunto I diz-se determinista se e so se cada elemento de I admite uma unica arvore de formacao. Recorde de novo a denicao indutiva da linguagem L. w L w L uL w L b L i1 i2 i3 awb L bwa L uw L Esta denicao indutiva e determinista? Nao. E se a esta denicao retirarmos a regra i3 , passamos a ter uma denicao indutiva determinista? Sim. Como o provar? Adiante estudaremos uma ferramenta (Inducao Estrutural) que, em particular, se adequa a este tipo de prova.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva determinista

Inducao Estrutural

Recursao Estrutural

Denicao Uma denicao indutiva de um conjunto I diz-se determinista se e so se cada elemento de I admite uma unica arvore de formacao. Recorde de novo a denicao indutiva da linguagem L. w L w L uL w L b L i1 i2 i3 awb L bwa L uw L Esta denicao indutiva e determinista? Nao. E se a esta denicao retirarmos a regra i3 , passamos a ter uma denicao indutiva determinista? Sim. Como o provar? Adiante estudaremos uma ferramenta (Inducao Estrutural) que, em particular, se adequa a este tipo de prova.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva determinista

Inducao Estrutural

Recursao Estrutural

Denicao Uma denicao indutiva de um conjunto I diz-se determinista se e so se cada elemento de I admite uma unica arvore de formacao. Recorde de novo a denicao indutiva da linguagem L. w L w L uL w L b L i1 i2 i3 awb L bwa L uw L Esta denicao indutiva e determinista? Nao. E se a esta denicao retirarmos a regra i3 , passamos a ter uma denicao indutiva determinista? Sim. Como o provar? Adiante estudaremos uma ferramenta (Inducao Estrutural) que, em particular, se adequa a este tipo de prova.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Denicao indutiva determinista

Inducao Estrutural

Recursao Estrutural

Denicao Uma denicao indutiva de um conjunto I diz-se determinista se e so se cada elemento de I admite uma unica arvore de formacao. Recorde de novo a denicao indutiva da linguagem L. w L w L uL w L b L i1 i2 i3 awb L bwa L uw L Esta denicao indutiva e determinista? Nao. E se a esta denicao retirarmos a regra i3 , passamos a ter uma denicao indutiva determinista? Sim. Como o provar? Adiante estudaremos uma ferramenta (Inducao Estrutural) que, em particular, se adequa a este tipo de prova.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

3 awb L bwa L uw L Seja P(x) a propriedade relativa a palavras x sobre A = {a, b}: o numero de ocorrencias da letra a em x e igual ao numero de ocorrencias da letra b em x. E verdadeira ou falsa a armacao P(abba)?E, o que se passa com os sub-objectos de abab na arvore abaixo?

w L
i1

w L
i2

uL

w L
i

L ab L

b i1

L ba L

b i2 i3

abba L

Se u e v forem palavras tal que P(u) e P(v ) sao verdadeiras, o que pode dizer-se sobre P(f1 (u))? E sobre P(f2 (u))? E sobre P(f3 (u, v ))? Sera que se podem tirar conclusoes sobre todas as palavras de L?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

3 awb L bwa L uw L Seja P(x) a propriedade relativa a palavras x sobre A = {a, b}: o numero de ocorrencias da letra a em x e igual ao numero de ocorrencias da letra b em x. E verdadeira ou falsa a armacao P(abba)?E, o que se passa com os sub-objectos de abab na arvore abaixo?

w L
i1

w L
i2

uL

w L
i

L ab L

b i1

L ba L

b i2 i3

abba L

Se u e v forem palavras tal que P(u) e P(v ) sao verdadeiras, o que pode dizer-se sobre P(f1 (u))? E sobre P(f2 (u))? E sobre P(f3 (u, v ))? Sera que se podem tirar conclusoes sobre todas as palavras de L?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

3 awb L bwa L uw L Seja P(x) a propriedade relativa a palavras x sobre A = {a, b}: o numero de ocorrencias da letra a em x e igual ao numero de ocorrencias da letra b em x. E verdadeira ou falsa a armacao P(abba)?E, o que se passa com os sub-objectos de abab na arvore abaixo?

w L
i1

w L
i2

uL

w L
i

L ab L

b i1

L ba L

b i2 i3

abba L

Se u e v forem palavras tal que P(u) e P(v ) sao verdadeiras, o que pode dizer-se sobre P(f1 (u))? E sobre P(f2 (u))? E sobre P(f3 (u, v ))? Sera que se podem tirar conclusoes sobre todas as palavras de L?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

3 awb L bwa L uw L Seja P(x) a propriedade relativa a palavras x sobre A = {a, b}: o numero de ocorrencias da letra a em x e igual ao numero de ocorrencias da letra b em x. E verdadeira ou falsa a armacao P(abba)?E, o que se passa com os sub-objectos de abab na arvore abaixo?

w L
i1

w L
i2

uL

w L
i

L ab L

b i1

L ba L

b i2 i3

abba L

Se u e v forem palavras tal que P(u) e P(v ) sao verdadeiras, o que pode dizer-se sobre P(f1 (u))? E sobre P(f2 (u))? E sobre P(f3 (u, v ))? Sera que se podem tirar conclusoes sobre todas as palavras de L?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

3 awb L bwa L uw L Seja P(x) a propriedade relativa a palavras x sobre A = {a, b}: o numero de ocorrencias da letra a em x e igual ao numero de ocorrencias da letra b em x. E verdadeira ou falsa a armacao P(abba)?E, o que se passa com os sub-objectos de abab na arvore abaixo?

w L
i1

w L
i2

uL

w L
i

L ab L

b i1

L ba L

b i2 i3

abba L

Se u e v forem palavras tal que P(u) e P(v ) sao verdadeiras, o que pode dizer-se sobre P(f1 (u))? E sobre P(f2 (u))? E sobre P(f3 (u, v ))? Sera que se podem tirar conclusoes sobre todas as palavras de L?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

3 awb L bwa L uw L Seja P(x) a propriedade relativa a palavras x sobre A = {a, b}: o numero de ocorrencias da letra a em x e igual ao numero de ocorrencias da letra b em x. E verdadeira ou falsa a armacao P(abba)?E, o que se passa com os sub-objectos de abab na arvore abaixo?

w L
i1

w L
i2

uL

w L
i

L ab L

b i1

L ba L

b i2 i3

abba L

Se u e v forem palavras tal que P(u) e P(v ) sao verdadeiras, o que pode dizer-se sobre P(f1 (u))? E sobre P(f2 (u))? E sobre P(f3 (u, v ))? Sera que se podem tirar conclusoes sobre todas as palavras de L?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

3 awb L bwa L uw L Seja P(x) a propriedade relativa a palavras x sobre A = {a, b}: o numero de ocorrencias da letra a em x e igual ao numero de ocorrencias da letra b em x. E verdadeira ou falsa a armacao P(abba)?E, o que se passa com os sub-objectos de abab na arvore abaixo?

w L
i1

w L
i2

uL

w L
i

L ab L

b i1

L ba L

b i2 i3

abba L

Se u e v forem palavras tal que P(u) e P(v ) sao verdadeiras, o que pode dizer-se sobre P(f1 (u))? E sobre P(f2 (u))? E sobre P(f3 (u, v ))? Sera que se podem tirar conclusoes sobre todas as palavras de L?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

3 awb L bwa L uw L Seja P(x) a propriedade relativa a palavras x sobre A = {a, b}: o numero de ocorrencias da letra a em x e igual ao numero de ocorrencias da letra b em x. E verdadeira ou falsa a armacao P(abba)?E, o que se passa com os sub-objectos de abab na arvore abaixo?

w L
i1

w L
i2

uL

w L
i

L ab L

b i1

L ba L

b i2 i3

abba L

Se u e v forem palavras tal que P(u) e P(v ) sao verdadeiras, o que pode dizer-se sobre P(f1 (u))? E sobre P(f2 (u))? E sobre P(f3 (u, v ))? Sera que se podem tirar conclusoes sobre todas as palavras de L?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

3 awb L bwa L uw L Seja P(x) a propriedade relativa a palavras x sobre A = {a, b}: o numero de ocorrencias da letra a em x e igual ao numero de ocorrencias da letra b em x. E verdadeira ou falsa a armacao P(abba)?E, o que se passa com os sub-objectos de abab na arvore abaixo?

w L
i1

w L
i2

uL

w L
i

L ab L

b i1

L ba L

b i2 i3

abba L

Se u e v forem palavras tal que P(u) e P(v ) sao verdadeiras, o que pode dizer-se sobre P(f1 (u))? E sobre P(f2 (u))? E sobre P(f3 (u, v ))? Sera que se podem tirar conclusoes sobre todas as palavras de L?
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
i2

uL

w L
i3

uw L

Princpio de Inducao Estrutural para L Considere-se uma propriedade P(x) relativa aos elementos x L. Se
1 2 3 4

entao P(x) e verdadeira, para todo o x L.

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
i2

uL

w L
i3

uw L

Princpio de Inducao Estrutural para L Considere-se uma propriedade P(x) relativa aos elementos x L. Se
1 2 3 4

entao P(x) e verdadeira, para todo o x L.

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
i2

uL

w L
i3

uw L

Princpio de Inducao Estrutural para L Considere-se uma propriedade P(x) relativa aos elementos x L. Se
1 2 3 4

entao P(x) e verdadeira, para todo o x L.

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
i2

uL

w L
i3

uw L

Princpio de Inducao Estrutural para L Considere-se uma propriedade P(x) relativa aos elementos x L. Se
1 2 3 4

entao P(x) e verdadeira, para todo o x L.

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
i2

uL

w L
i3

uw L

Princpio de Inducao Estrutural para L Considere-se uma propriedade P(x) relativa aos elementos x L. Se 1 P() e verdadeira;
2 3 4

entao P(x) e verdadeira, para todo o x L.

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
i2

uL

w L
i3

uw L

Princpio de Inducao Estrutural para L Considere-se uma propriedade P(x) relativa aos elementos x L. Se 1 P() e verdadeira; 2 se P(w) e verdadeira, entao P(awb) e verdadeira;
3 4

entao P(x) e verdadeira, para todo o x L.

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
i2

uL

w L
i3

uw L

Princpio de Inducao Estrutural para L Considere-se uma propriedade P(x) relativa aos elementos x L. Se 1 P() e verdadeira; 2 se P(w) e verdadeira, entao P(awb) e verdadeira; 3 se P(w) e verdadeira, entao P(bwa) e verdadeira;
4

entao P(x) e verdadeira, para todo o x L.

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
i2

uL

w L
i3

uw L

Princpio de Inducao Estrutural para L Considere-se uma propriedade P(x) relativa aos elementos x L. Se 1 P() e verdadeira; 2 se P(w) e verdadeira, entao P(awb) e verdadeira; 3 se P(w) e verdadeira, entao P(bwa) e verdadeira; 4 se P(u) e P(w) sao verdadeiras, entao P(uw) e verdadeira; entao P(x) e verdadeira, para todo o x L.

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

w L awb L
i1

w L bwa L
i2

uL

w L
i3

uw L

Princpio de Inducao Estrutural para L Considere-se uma propriedade P(x) relativa aos elementos x L. Se 1 P() e verdadeira; 2 se P(w) e verdadeira, entao P(awb) e verdadeira; 3 se P(w) e verdadeira, entao P(bwa) e verdadeira; 4 se P(u) e P(w) sao verdadeiras, entao P(uw) e verdadeira; entao P(x) e verdadeira, para todo o x L. Seja P(x) a propriedade o numero de ocorrencias da letra a em x e igual ao numero de ocorrencias da letra b em x. Prove que P(x) e verdadeira, para todo o x L.
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

Princpio de Inducao Estrutural Considere-se uma denicao indutiva (B, O) de um conjunto I sobre X e seja P(s) uma propriedade relativa aos elementos s I. Se
1 2

entao P(s) e verdadeira, para todo o s I. Justicacao: Seja XP = {s I | P(s) e verdadeira}. XP e um conjunto indutivo pois contem B e e fechado Entao para as operacoes de O. Logo I XP .

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

Princpio de Inducao Estrutural Considere-se uma denicao indutiva (B, O) de um conjunto I sobre X e seja P(s) uma propriedade relativa aos elementos s I. Se
1 2

entao P(s) e verdadeira, para todo o s I. Justicacao: Seja XP = {s I | P(s) e verdadeira}. XP e um conjunto indutivo pois contem B e e fechado Entao para as operacoes de O. Logo I XP .

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

Princpio de Inducao Estrutural Considere-se uma denicao indutiva (B, O) de um conjunto I sobre X e seja P(s) uma propriedade relativa aos elementos s I. Se 1 para cada b B, P(b) e verdadeira;
2

entao P(s) e verdadeira, para todo o s I. Justicacao: Seja XP = {s I | P(s) e verdadeira}. XP e um conjunto indutivo pois contem B e e fechado Entao para as operacoes de O. Logo I XP .

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

Princpio de Inducao Estrutural Considere-se uma denicao indutiva (B, O) de um conjunto I sobre X e seja P(s) uma propriedade relativa aos elementos s I. Se 1 para cada b B, P(b) e verdadeira; para cada operacao f : X n X de O, se P(s1 ), . . . P(sn ) sao verdadeiras, entao P(f (s1 , . . . , sn )) e verdadeira; entao P(s) e verdadeira, para todo o s I.
2

Justicacao: Seja XP = {s I | P(s) e verdadeira}. Entao XP e um conjunto indutivo pois contem B e e fechado para as operacoes de O. Logo I XP .

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

Princpio de Inducao Estrutural Considere-se uma denicao indutiva (B, O) de um conjunto I sobre X e seja P(s) uma propriedade relativa aos elementos s I. Se 1 para cada b B, P(b) e verdadeira; para cada operacao f : X n X de O, se P(s1 ), . . . P(sn ) sao verdadeiras, entao P(f (s1 , . . . , sn )) e verdadeira; entao P(s) e verdadeira, para todo o s I.
2

Justicacao: Seja XP = {s I | P(s) e verdadeira}. Entao XP e um conjunto indutivo pois contem B e e fechado para as operacoes de O. Logo I XP .

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

Princpio de Inducao Estrutural Considere-se uma denicao indutiva (B, O) de um conjunto I sobre X e seja P(s) uma propriedade relativa aos elementos s I. Se 1 para cada b B, P(b) e verdadeira; para cada operacao f : X n X de O, se P(s1 ), . . . P(sn ) sao verdadeiras, entao P(f (s1 , . . . , sn )) e verdadeira; entao P(s) e verdadeira, para todo o s I.
2

Justicacao: Seja XP = {s I | P(s) e verdadeira}. Entao XP e um conjunto indutivo pois contem B e e fechado para as operacoes de O. Logo I XP .

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

Princpio de Inducao Estrutural Considere-se uma denicao indutiva (B, O) de um conjunto I sobre X e seja P(s) uma propriedade relativa aos elementos s I. Se 1 para cada b B, P(b) e verdadeira; para cada operacao f : X n X de O, se P(s1 ), . . . P(sn ) sao verdadeiras, entao P(f (s1 , . . . , sn )) e verdadeira; entao P(s) e verdadeira, para todo o s I.
2

Justicacao: Seja XP = {s I | P(s) e verdadeira}. Entao XP e um conjunto indutivo pois contem B e e fechado para as operacoes de O. Logo I XP .

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

Princpio de Inducao Estrutural Considere-se uma denicao indutiva (B, O) de um conjunto I sobre X e seja P(s) uma propriedade relativa aos elementos s I. Se 1 para cada b B, P(b) e verdadeira; para cada operacao f : X n X de O, se P(s1 ), . . . P(sn ) sao verdadeiras, entao P(f (s1 , . . . , sn )) e verdadeira; entao P(s) e verdadeira, para todo o s I.
2

Justicacao: Seja XP = {s I | P(s) e verdadeira}. Entao XP e um conjunto indutivo pois contem B e e fechado para as operacoes de O. Logo I XP .

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

Notas: para cada denicao indutiva de um conjunto I existe um princpio de inducao estrutural; o Princpio de Inducao Matematica e um princpio de indu cao estrutural para a seguinte denicao indutiva de N: 1N
1

nN n+1N

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

Notas: para cada denicao indutiva de um conjunto I existe um princpio de inducao estrutural; o Princpio de Inducao Matematica e um princpio de indu cao estrutural para a seguinte denicao indutiva de N: 1N
1

nN n+1N

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Princpio de Inducao Estrutural

Inducao Estrutural

Recursao Estrutural

Notas: para cada denicao indutiva de um conjunto I existe um princpio de inducao estrutural; o Princpio de Inducao Matematica e um princpio de indu cao estrutural para a seguinte denicao indutiva de N: 1N
1

nN n+1N

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Funcoes denidas recursivamente

Inducao Estrutural

Recursao Estrutural

fact : N0 N fact(0) = 1 fact(n) = n fact(n 1), para n N b : N N b(1) = 1 b(2) = 1 b(n + 2) = b(n) + b(n + 1), para n N s : N Q s(1) = 2 2 s(n + 1) = s(n) , para n N

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Funcoes denidas recursivamente

Inducao Estrutural

Recursao Estrutural

fact : N0 N fact(0) = 1 fact(n) = n fact(n 1), para n N b : N N b(1) = 1 b(2) = 1 b(n + 2) = b(n) + b(n + 1), para n N s : N Q s(1) = 2 2 s(n + 1) = s(n) , para n N

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Funcoes denidas recursivamente

Inducao Estrutural

Recursao Estrutural

fact : N0 N fact(0) = 1 fact(n) = n fact(n 1), para n N b : N N b(1) = 1 b(2) = 1 b(n + 2) = b(n) + b(n + 1), para n N s : N Q s(1) = 2 2 s(n + 1) = s(n) , para n N

Turno TP2

LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Teorema da Recursao Estrutural

Inducao Estrutural

Recursao Estrutural

Teorema da Recursao Estrutural Considere-se (B, O) uma denicao indutiva determinista de um conjunto I sobre um conjunto X . Sejam Y um conjunto e, para cada f O de aridade n, f uma funcao de Y n I n em Y . Entao, existe e e unica a funcao g : I Y tal que:
1 2

para cada b B , existe um valor yb Y tal que g(b) = yb ; para cada f O de aridade n, tem-se que g(f (s1 , . . . , sn )) = f (g(s1 ), . . . , g(sn ), s1 , . . . , sn ), para todo s1 , . . . , sn I.

Denicao A denicao de uma funcao g por aplicacao do teorema anterior diz-se uma denicao recursiva da funcao g.
LOGICA

Turno TP2

Lic. Eng. Informatica

Conjuntos denidos indutivamente Teorema da Recursao Estrutural

Inducao Estrutural

Recursao Estrutural

Teorema da Recursao Estrutural Considere-se (B, O) uma denicao indutiva determinista de um conjunto I sobre um conjunto X . Sejam Y um conjunto e, para cada f O de aridade n, f uma funcao de Y n I n em Y . Entao, existe e e unica a funcao g : I Y tal que:
1 2

para cada b B , existe um valor yb Y tal que g(b) = yb ; para cada f O de aridade n, tem-se que g(f (s1 , . . . , sn )) = f (g(s1 ), . . . , g(sn ), s1 , . . . , sn ), para todo s1 , . . . , sn I.

Denicao A denicao de uma funcao g por aplicacao do teorema anterior diz-se uma denicao recursiva da funcao g.
LOGICA

Turno TP2

Lic. Eng. Informatica

Conjuntos denidos indutivamente Teorema da Recursao Estrutural

Inducao Estrutural

Recursao Estrutural

Teorema da Recursao Estrutural Considere-se (B, O) uma denicao indutiva determinista de um conjunto I sobre um conjunto X . Sejam Y um conjunto e, para cada f O de aridade n, f uma funcao de Y n I n em Y . Entao, existe e e unica a funcao g : I Y tal que:
1 2

para cada b B , existe um valor yb Y tal que g(b) = yb ; para cada f O de aridade n, tem-se que g(f (s1 , . . . , sn )) = f (g(s1 ), . . . , g(sn ), s1 , . . . , sn ), para todo s1 , . . . , sn I.

Denicao A denicao de uma funcao g por aplicacao do teorema anterior diz-se uma denicao recursiva da funcao g.
LOGICA

Turno TP2

Lic. Eng. Informatica

Conjuntos denidos indutivamente Teorema da Recursao Estrutural

Inducao Estrutural

Recursao Estrutural

Teorema da Recursao Estrutural Considere-se (B, O) uma denicao indutiva determinista de um conjunto I sobre um conjunto X . Sejam Y um conjunto e, para cada f O de aridade n, f uma funcao de Y n I n em Y . Entao, existe e e unica a funcao g : I Y tal que:
1 2

para cada b B , existe um valor yb Y tal que g(b) = yb ; para cada f O de aridade n, tem-se que g(f (s1 , . . . , sn )) = f (g(s1 ), . . . , g(sn ), s1 , . . . , sn ), para todo s1 , . . . , sn I.

Denicao A denicao de uma funcao g por aplicacao do teorema anterior diz-se uma denicao recursiva da funcao g.
LOGICA

Turno TP2

Lic. Eng. Informatica

Conjuntos denidos indutivamente Teorema da Recursao Estrutural

Inducao Estrutural

Recursao Estrutural

Teorema da Recursao Estrutural Considere-se (B, O) uma denicao indutiva determinista de um conjunto I sobre um conjunto X . Sejam Y um conjunto e, para cada f O de aridade n, f uma funcao de Y n I n em Y . Entao, existe e e unica a funcao g : I Y tal que:
1 2

para cada b B , existe um valor yb Y tal que g(b) = yb ; para cada f O de aridade n, tem-se que g(f (s1 , . . . , sn )) = f (g(s1 ), . . . , g(sn ), s1 , . . . , sn ), para todo s1 , . . . , sn I.

Denicao A denicao de uma funcao g por aplicacao do teorema anterior diz-se uma denicao recursiva da funcao g.
LOGICA

Turno TP2

Lic. Eng. Informatica

Conjuntos denidos indutivamente Teorema da Recursao Estrutural

Inducao Estrutural

Recursao Estrutural

Teorema da Recursao Estrutural Considere-se (B, O) uma denicao indutiva determinista de um conjunto I sobre um conjunto X . Sejam Y um conjunto e, para cada f O de aridade n, f uma funcao de Y n I n em Y . Entao, existe e e unica a funcao g : I Y tal que:
1 2

para cada b B , existe um valor yb Y tal que g(b) = yb ; para cada f O de aridade n, tem-se que g(f (s1 , . . . , sn )) = f (g(s1 ), . . . , g(sn ), s1 , . . . , sn ), para todo s1 , . . . , sn I.

Denicao A denicao de uma funcao g por aplicacao do teorema anterior diz-se uma denicao recursiva da funcao g.
LOGICA

Turno TP2

Lic. Eng. Informatica

Conjuntos denidos indutivamente Exemplo de aplicacao do Teorema da Recursao Estrutural

Inducao Estrutural

Recursao Estrutural

Considere-se o alfabeto A = {a, b} e L o conjunto denido indutivamente pelas regras: L , w L awa L

fa

aL , bL ; w L , f ; bwb L b

Pelo Teorema da Recursao Estrutural, existe e e unica a funcao na : L N tal que: 1 na () = 0; 2 na (a) = 1; 3 na (b) = 0; 4 na (awa) = na (w) + 2, para w L; 5 na (bwb) = na (w), para w L. na (aba2 ba) =
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Exemplo de aplicacao do Teorema da Recursao Estrutural

Inducao Estrutural

Recursao Estrutural

Considere-se o alfabeto A = {a, b} e L o conjunto denido indutivamente pelas regras: L , w L awa L

fa

aL , bL ; w L , f ; bwb L b

Pelo Teorema da Recursao Estrutural, existe e e unica a funcao na : L N tal que: 1 na () = 0; 2 na (a) = 1; 3 na (b) = 0; 4 na (awa) = na (w) + 2, para w L; 5 na (bwb) = na (w), para w L. na (aba2 ba) =
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Exemplo de aplicacao do Teorema da Recursao Estrutural

Inducao Estrutural

Recursao Estrutural

Considere-se o alfabeto A = {a, b} e L o conjunto denido indutivamente pelas regras: L , w L awa L

fa

aL , bL ; w L , f ; bwb L b

Pelo Teorema da Recursao Estrutural, existe e e unica a funcao na : L N tal que: 1 na () = 0; 2 na (a) = 1; 3 na (b) = 0; 4 na (awa) = na (w) + 2, para w L; 5 na (bwb) = na (w), para w L. na (aba2 ba) =
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Exemplo de aplicacao do Teorema da Recursao Estrutural

Inducao Estrutural

Recursao Estrutural

Considere-se o alfabeto A = {a, b} e L o conjunto denido indutivamente pelas regras: L , w L awa L

fa

aL , bL ; w L , f ; bwb L b

Pelo Teorema da Recursao Estrutural, existe e e unica a funcao na : L N tal que: 1 na () = 0; 2 na (a) = 1; 3 na (b) = 0; 4 na (awa) = na (w) + 2, para w L; 5 na (bwb) = na (w), para w L. na (aba2 ba) =
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Exemplo de aplicacao do Teorema da Recursao Estrutural

Inducao Estrutural

Recursao Estrutural

Considere-se o alfabeto A = {a, b} e L o conjunto denido indutivamente pelas regras: L , w L awa L

fa

aL , bL ; w L , f ; bwb L b

Pelo Teorema da Recursao Estrutural, existe e e unica a funcao na : L N tal que: 1 na () = 0; 2 na (a) = 1; 3 na (b) = 0; 4 na (awa) = na (w) + 2, para w L; 5 na (bwb) = na (w), para w L. na (aba2 ba) =
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Exemplo de aplicacao do Teorema da Recursao Estrutural

Inducao Estrutural

Recursao Estrutural

Considere-se o alfabeto A = {a, b} e L o conjunto denido indutivamente pelas regras: L , w L awa L

fa

aL , bL ; w L , f ; bwb L b

Pelo Teorema da Recursao Estrutural, existe e e unica a funcao na : L N tal que: 1 na () = 0; 2 na (a) = 1; 3 na (b) = 0; 4 na (awa) = na (w) + 2, para w L; 5 na (bwb) = na (w), para w L. na (aba2 ba) =
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Exemplo de aplicacao do Teorema da Recursao Estrutural

Inducao Estrutural

Recursao Estrutural

Considere-se o alfabeto A = {a, b} e L o conjunto denido indutivamente pelas regras: L , w L awa L

fa

aL , bL ; w L , f ; bwb L b

Pelo Teorema da Recursao Estrutural, existe e e unica a funcao na : L N tal que: 1 na () = 0; 2 na (a) = 1; 3 na (b) = 0; 4 na (awa) = na (w) + 2, para w L; 5 na (bwb) = na (w), para w L. na (aba2 ba) =
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Exemplo de aplicacao do Teorema da Recursao Estrutural

Inducao Estrutural

Recursao Estrutural

Considere-se o alfabeto A = {a, b} e L o conjunto denido indutivamente pelas regras: L , w L awa L

fa

aL , bL ; w L , f ; bwb L b

Pelo Teorema da Recursao Estrutural, existe e e unica a funcao na : L N tal que: 1 na () = 0; 2 na (a) = 1; 3 na (b) = 0; 4 na (awa) = na (w) + 2, para w L; 5 na (bwb) = na (w), para w L. na (aba2 ba) =
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Exemplo de aplicacao do Teorema da Recursao Estrutural

Inducao Estrutural

Recursao Estrutural

Considere-se o alfabeto A = {a, b} e L o conjunto denido indutivamente pelas regras: L , w L awa L

fa

aL , bL ; w L , f ; bwb L b

Pelo Teorema da Recursao Estrutural, existe e e unica a funcao na : L N tal que: 1 na () = 0; 2 na (a) = 1; 3 na (b) = 0; 4 na (awa) = na (w) + 2, para w L; 5 na (bwb) = na (w), para w L. na (aba2 ba) =
Turno TP2 LOGICA

Lic. Eng. Informatica

Conjuntos denidos indutivamente Exemplo de aplicacao do Teorema da Recursao Estrutural

Inducao Estrutural

Recursao Estrutural

Considere-se o alfabeto A = {a, b} e L o conjunto denido indutivamente pelas regras: L , w L awa L

fa

aL , bL ; w L , f ; bwb L b

Pelo Teorema da Recursao Estrutural, existe e e unica a funcao na : L N tal que: 1 na () = 0; 2 na (a) = 1; 3 na (b) = 0; 4 na (awa) = na (w) + 2, para w L; 5 na (bwb) = na (w), para w L. na (aba2 ba) = na (ba2 b) + 2 =
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Exemplo de aplicacao do Teorema da Recursao Estrutural

Inducao Estrutural

Recursao Estrutural

Considere-se o alfabeto A = {a, b} e L o conjunto denido indutivamente pelas regras: L , w L awa L

fa

aL , bL ; w L , f ; bwb L b

Pelo Teorema da Recursao Estrutural, existe e e unica a funcao na : L N tal que: 1 na () = 0; 2 na (a) = 1; 3 na (b) = 0; 4 na (awa) = na (w) + 2, para w L; 5 na (bwb) = na (w), para w L. na (aba2 ba) = na (ba2 b) + 2 = na (a2 ) + 2 =
Turno TP2 LOGICA Lic. Eng. Informatica

Conjuntos denidos indutivamente Exemplo de aplicacao do Teorema da Recursao Estrutural

Inducao Estrutural

Recursao Estrutural

Considere-se o alfabeto A = {a, b} e L o conjunto denido indutivamente pelas regras: L , w L awa L

fa

aL , bL ; w L , f ; bwb L b

Pelo Teorema da Recursao Estrutural, existe e e unica a funcao na : L N tal que: 1 na () = 0; 2 na (a) = 1; 3 na (b) = 0; 4 na (awa) = na (w) + 2, para w L; 5 na (bwb) = na (w), para w L. na (aba2 ba) = na (ba2 b) + 2 = na (a2 ) + 2 = na () + 4 =
LOGICA Lic. Eng. Informatica

Turno TP2

Conjuntos denidos indutivamente Exemplo de aplicacao do Teorema da Recursao Estrutural

Inducao Estrutural

Recursao Estrutural

Considere-se o alfabeto A = {a, b} e L o conjunto denido indutivamente pelas regras: L , w L awa L

fa

aL , bL ; w L , f ; bwb L b

Pelo Teorema da Recursao Estrutural, existe e e unica a funcao na : L N tal que: 1 na () = 0; 2 na (a) = 1; 3 na (b) = 0; 4 na (awa) = na (w) + 2, para w L; 5 na (bwb) = na (w), para w L. na (aba2 ba) = na (ba2 b) + 2 = na (a2 ) + 2 = na () + 4 = 4
LOGICA Lic. Eng. Informatica

Turno TP2

Conjuntos denidos indutivamente Exemplo de aplicacao do Teorema da Recursao Estrutural

Inducao Estrutural

Recursao Estrutural

Considere-se o alfabeto A = {a, b} e L o conjunto denido indutivamente pelas regras: L , w L awa L

fa

aL , bL ; w L , f ; bwb L b

Pelo Teorema da Recursao Estrutural, existe e e unica a funcao na : L N tal que: 1 na () = 0; 2 na (a) = 1; 3 na (b) = 0; 4 na (awa) = na (w) + 2, para w L; 5 na (bwb) = na (w), para w L. na (aba2 ba) = na (ba2 b) + 2 = na (a2 ) + 2 = na () + 4 = 4 na (abab) = ?
Turno TP2 LOGICA Lic. Eng. Informatica