Documentos - UFMT

Conteúdo programático da prova de vocês na sexta feira. Lembrando que a prova será de consulta e terá valor 8, pode usar o livro Linguagens e Máquinas: Uma Introdução aos Fundamentos da Computação o material que vou postar no AVA,.e o caderno, pode usar o programa que eu passei, só não pode usar internet.
Quanto ao primeiro trabalho que eu passei, consiste em fazer a resolução do problema explicando cada passo, e fazer um autômato de cada um, assim como o que está no livro. Os Exercícios são os do item 2.1.1 um quebra cabeça na página 56. O outro na pagina 62 exercício número 1. Pode me mandar até no dia da prova por que daí corrijo tudo de uma vez só, me mandar exclusivamente pelo AVA, mesmo quem já me mandou por email, vou colocar o link para envio junto com essa notificação.

O que é um autômato?
Um autômato é um modelo matemático para uma máquina matemático para uma máquina de estado finito.

O que é máquina de estado finito?
Máquina de estado finito é uma que, recebendo entradas de símbolos, pode comutar entre estados, de pode comutar entre estados, de acordo com uma função de transição.

1.1Representação

1.2 Prova de Teoremas

1.9 Grafos

1.10 Linguagens Formais

1.11 Gramáticas

1.12 Problemas de Decisão

2 Máquinas de Estado-Finito

2.1Alguns Exemplos

2.1.1 Um quebra-cabeça

2.1.2 Um probleminha de matemática

2.1.3 Modelagem do funcionamento de um elevador

2.2 Autômatos Finitos Determinísticos

2.2.1 O que é autômato finito determinístico

2.2.3 Algumas propriedades dos AFD’s

2.3 Autômatos Finitos Não Determinísticos

2.3.1 O que é autômato finito não determinístico