(→Exercício 1) |
(→Exercício 2) |
||
| Line 16: | Line 16: | ||
Para cada uma das seguintes sequências ordenadas seguintes, calcular o autómato finito não-determinista (NFA) pelo algoritmo de Thompson. Para cada um dos casos, calcular o autómato determinista (DFA) mínimo. Em todos os casos, o alfabeto é Σ = { a, b }. Indicar em quantos passos é processada a entrada apresentada. | Para cada uma das seguintes sequências ordenadas seguintes, calcular o autómato finito não-determinista (NFA) pelo algoritmo de Thompson. Para cada um dos casos, calcular o autómato determinista (DFA) mínimo. Em todos os casos, o alfabeto é Σ = { a, b }. Indicar em quantos passos é processada a entrada apresentada. | ||
| − | * [[Theoretical Aspects of Lexical Analysis/Exercise 5|Problema 1]]: | + | * [[Theoretical Aspects of Lexical Analysis/Exercise 5|Problema 1]]: '''G = { ab, ab*, a|b }''', input string = '''abaabb''' |
| − | * [[Theoretical Aspects of Lexical Analysis/Exercise 6|Problema 2]]: | + | * [[Theoretical Aspects of Lexical Analysis/Exercise 6|Problema 2]]: '''G = { aa, aaaa, a|b }''', input string = '''aaabaaaaa''' |
== Resoluções == | == Resoluções == | ||
Análise lexical: expressões regulares, algoritmo de Thompson (construção do NFA), determinização (construção do DFA), minimização de DFA, análise de entrada.
Analisadores lexicais (múltiplas expressões/tokens em simultâneo).
Para cada uma das expressões regulares seguintes, calcular o autómato finito não-determinista (NFA) pelo algoritmo de Thompson. Para cada um dos casos, calcular o autómato determinista (DFA) mínimo. Em todos os casos, o alfabeto é Σ = { a, b }.
Para cada uma das seguintes sequências ordenadas seguintes, calcular o autómato finito não-determinista (NFA) pelo algoritmo de Thompson. Para cada um dos casos, calcular o autómato determinista (DFA) mínimo. Em todos os casos, o alfabeto é Σ = { a, b }. Indicar em quantos passos é processada a entrada apresentada.
As ligações acima contêm as soluções para os exercícios propostos.
Procurar resolver sem consultar.