Scribd Logo
Fazer o upload

Bem-vindo(a) ao Scribd!

  • SLIDES LFA UNIDADE 2.1-Parte2

    Enviado por

    agarcia.br
    2 visualizações16 páginas
    O documento apresenta um autômato finito determinístico (AFD) com quatro estados (q0, q1, q2, q3) e discute a linguagem reconhecida por este AFD.

    Descrição original:

    linguagens formais e automatos

    Título original

    SLIDES_LFA_UNIDADE_2.1-parte2

    Direitos autorais

    © © All Rights Reserved

    Formatos disponíveis

    PDF, TXT ou leia online no Scribd

    Você considera este documento útil?

    Este conteúdo é inapropriado?

    Denunciar este documento
    O documento apresenta um autômato finito determinístico (AFD) com quatro estados (q0, q1, q2, q3) e discute a linguagem reconhecida por este AFD.

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato PDF, TXT ou leia online no Scribd
    Sinalizar o conteúdo como inadequado
    2 visualizações16 páginas

    SLIDES LFA UNIDADE 2.1-Parte2

    Enviado por

    agarcia.br
    O documento apresenta um autômato finito determinístico (AFD) com quatro estados (q0, q1, q2, q3) e discute a linguagem reconhecida por este AFD.

    Direitos autorais:

    © All Rights Reserved
    Baixe no formato PDF, TXT ou leia online no Scribd
    Sinalizar o conteúdo como inadequado
    de 16

    Autômatos Finitos Determinísticos

    EXERCÍCIOS AFD
    •

    •
    EXERCÍCIO
    •
    EXERCÍCIO
    •
    EXERCÍCIO
    •
    EXERCÍCIO
    •

    0 0 1
    q0 q1 q2 q3
    EXERCÍCIO
    •

    0 0 1
    q0 q1 q2 q3

    1
    EXERCÍCIO
    •

    0 0 1
    q0 q1 q2 q3
    1

    1
    EXERCÍCIO
    •

    0 0 1
    q0 q1 q2 q3
    1

    1 0
    EXERCÍCIO
    •

    0 0 1
    q0 q1 q2 q3
    1

    1 0 0, 1
    AFD – DEFINIÇÃO
    • , onde:
    •
    • 
    •  

    • 0
    • 
    AFD – DEFINIÇÃO
    • , onde:
    •
    •
    •
    •
    •
    •
    •
    •
    •
    • ∗

    ∗
    •
    ∗
    •

    (S,100) ( (S,1),00) (A,00) ( (A,0),0) (B,0) ( (B,0),) (A,) A


    Linguagem Reconhecida por um AFD
    , definimos

    (S,100) ( (S,1),00) (A,00) ( (A,0),0) (B,0) ( (B,0),) (A,) A

    Logo 100
    EXERCÍCIOS AFD

    Você também pode gostar