Combinação de modelos

Transcrição

1 Combinação de modelos Marco A L Barbosa malbarbo.pro.br Departamento de Informática Universidade Estadual de Maringá cba Este trabalho está licenciado com uma Licença Creative Commons - Atribuição-CompartilhaIgual 4.0 Internacional.

2 Introdução

3 Introdução Qual modelo utilizar quando a função consome dois ou mais tipos de dados? Se apenas um dado é definido por mais que uma cláusula (como por exemplo, uma lista), utilizamos o modelo correspondente Se mais que dois dados de entrada são definidos por mais que uma cláusula, devemos fazer uma combinação dos modelos 1/16

4 Exemplos

5 Dados duas listas lsta e lstb, defina uma função que verifique se lsta é prefixo de lstb, isto é lstb começa com lsta. 2/16

6 Passo 1: Assinatura, propósito e cabeçalho ;; Lista Lista -> Boolean ;; Devolve #t se lsta é prefixo de lstb, ;; #f caso contrário. (define (prefixo? lsta lstb) #f) 3/16

7 Passo 2: Exemplos Temos que ter pelo menos um exemplo para cada combinação das definições dos dados de entrada lsta pode ser empty ou um cons lstb pode ser empty ou um cons Como garantir que não vamos esquecer nenhum caso? Fazendo uma tabela! 4/16

8 lstb empty (cons...) empty lsta (cons...) /16

9 lstb empty (cons...) empty OK lsta (cons...) (check-equal? (prefixo? empty empty) #t) 6/16

10 lstb empty (cons...) empty OK OK lsta (cons...) (check-equal? (prefixo? empty empty) #t) (check-equal? (prefixo? empty (list 3 2 1)) #t) 7/16

11 lstb empty (cons...) empty OK OK lsta (cons...) OK (check-equal? (prefixo? empty empty) #t) (check-equal? (prefixo? empty (list 3 2 1)) #t) (check-equal? (prefixo? (list 3 2 1) empty) #f) 8/16

12 lstb empty (cons...) empty OK OK lsta (cons...) OK OK (check-equal? (prefixo? empty empty) #t) (check-equal? (prefixo? empty (list 3 2 1)) #t) (check-equal? (prefixo? (list 3 2 1) empty) #f) (check-equal? (prefixo? (list 3 4) (list 3 4)) #t) (check-equal? (prefixo? (list 3 4) (list 3 5)) #f) (check-equal? (prefixo? (list 3 4) (list )) #t) (check-equal? (prefixo? (list 3 5) (list )) #f) (check-equal? (prefixo? (list 3 4 5) (list 3 4)) #f) 9/16

13 Passo 3: modelo Baseado na tabela, vamos criar um modelo (define (prefixo? lsta lstb) (cond [(and (empty? lsta) (empty? lstb))...] [(and (empty? lsta) (cons? lstb))... lstb...] [(and (cons? lsta) (empty? lstb))... lsba...] [else... lsta... lstb...])) Este modelo é muito complicado... Baseado nos exemplos, vamos preencher a tabela e derivar um modelo mais simples 10/16

14 (check-equal? (prefixo? empty empty) #t) (check-equal? (prefixo? empty (list 3 2 1)) #t) (check-equal? (prefixo? (list 3 2 1) empty) #f) (check-equal? (prefixo? (list 3 4) (list 3 4)) #t) (check-equal? (prefixo? (list 3 4) (list 3 5)) #f) (check-equal? (prefixo? (list 3 4) (list )) #t) (check-equal? (prefixo? (list 3 5) (list )) #f) (check-equal? (prefixo? (list 3 4 5) (list 3 4)) #f) lstb empty (cons...) empty lsta (cons...) /16

15 (check-equal? (prefixo? empty empty) #t) (check-equal? (prefixo? empty (list 3 2 1)) #t) (check-equal? (prefixo? (list 3 2 1) empty) #f) (check-equal? (prefixo? (list 3 4) (list 3 4)) #t) (check-equal? (prefixo? (list 3 4) (list 3 5)) #f) (check-equal? (prefixo? (list 3 4) (list )) #t) (check-equal? (prefixo? (list 3 5) (list )) #f) (check-equal? (prefixo? (list 3 4 5) (list 3 4)) #f) lstb empty (cons...) empty #t #t lsta (cons...) #f primeiros iguais e recursão natural /16

16 (simplificando... ) lstb empty (cons...) empty #t lsta (cons...) #f primeiros iguais e recursão natural ;; Modelo (observe que alguma parte do corpo já foi escrita) (define (prefixo? lsta lstb) (cond [(empty? lsta) #t] ;; os casos foram [(empty? lstb) #f] ;; escolhidos por ordem [else... ;; de simplicidade (first lsta) (first lstb) (prefixo? (rest lsta) (rest lstb))])) 13/16

17 Passo 4: Corpo (define (prefixo? lsta lstb) (cond [(empty? lsta) #t] [(empty? lstb) #f] [else (and (equal? (first lsta) (first lstb)) (prefixo? (rest lsta) (rest lstb)))])) 14/16

18 Exemplo 5.2 Defina uma função que encontre o k-ésimo elemento de uma lista. 15/16

19 Referências

20 Referências Vídeos 2 one-of 16/16