Disciplinas UFC

1.  Introdução

exemplo 1:   ${\mathrm{ab(aba\; \cup \; bab)}}^{\mathrm{*}}$

1. a expressão regular é um autômato disfarçado

2.  Autômatos não-determinísticos  

exemplo 2:   ${\mathrm{ab(aab\; \cup \; aba)}}^{\mathrm{*}}$,   ${\mathrm{ab(aab\; \cup \; aba)}}^{\mathrm{*}}aab$,   ...

1. a expressão regular não é um autômato disfarçado

exemplo 3:   um autômato não-determinístico

1. como é que isso funciona?

exemplo 4:   o estado de rejeição

1. não está lá ...

exemplo 5:   advinhação

1. ? ? ?

exemplo 6:   transições vazias

1. ? ? ?

exemplo 7:   programando o autômato não-determinístico

1. ? ? ?

exemplo 8:   reconhecimento de padrão

1. ? ? ?

exemplo 9:   quando o não-determinismo não ajuda

1. ? ? ?

exercício 1:   Não-determinismo ou não

exercício 2:   O que é que isso faz?