degreeStuff

Aula Pratica 1

Autómatos e Liguagens de Programação | Data: 09/02/2021; Hora:16:00; Duração: 1:45; Sala:CLAV_136;Docente: Francisco Coelho

Pagina Principal

Resolução de Exercicios

Exercício 03

Seja Σ={a,b}. Construa definições recursivas dos seguintes conjuntos:

  1. = {palavras sobre Σ tais que o símbolo a ocorre aos pares}. inclui, por exemplo, bbaabbbaab e aaaaaaaa mas não inclui aaaaaa nem aabaaabaaabaaaba.

    Base:
    Passo:




  2. é par , p começa por a e, em p , os a e os b ocorrem alternados }
  3. é caicua

    Base:
    Hipoteses:



    Passo:



  4. Base:
    Passo:
    se então


  5. $C_5$=

    Base:
    Hipoteses:



    Passo:
    se então:



  6. Base:
    Passo:



Exercicio 04