20 resultados encontrados

ACH2043 - ITC - Aula 05: Seção 1.2 - Não-Determinismo (Parte 2)

Sistemas de Informação

[ACH2043-1] Introdução à Teoria da Computação

Marcelo de Souza Lauretto

Nesta aula, continuamos o estudo da Seção 1.2 do Livro de Michael Sipser, "Introdução à Teoria da Computação". Apresentamos aqui a demonstração de que todo autômato finito não-determinístico (AFN) possui um autômato finito determinístico (AFN) equivalente.

ACH2043 - ITC - Aula 04: Seção 1.2 - Não-Determinismo (Parte 1)

Sistemas de Informação

[ACH2043-1] Introdução à Teoria da Computação

Marcelo de Souza Lauretto

Nesta aula iniciamos a Seção 1.2 do Livro de Michael Sipser, "Introdução à Teoria da Computação". Os tópicos abordados são: a) Definição formal de um autômato não determinístico (AFN) b) Computação de um AFN c) Exemplos de AFNs.

ACH2043 - ITC - Aula 03: Seção 1.1 - Autômatos Finitos e Linguagens Regulares (Parte 2)

Sistemas de Informação

[ACH2043-1] Introdução à Teoria da Computação

Marcelo de Souza Lauretto

Nesta aula concluímos a Seção 1.1 do Livro de Michael Sipser, "Introdução à Teoria da Computação". Os tópicos abordados são: a) Definição formal de computação de um autômato finito b) Operações regulares c) Fechamento da classe de linguagens regulares sob a operação de união.

ACH2043 - ITC - Aula 02: Seção 1.1 - Autômatos Finitos e Linguagens Regulares

Sistemas de Informação

[ACH2043-1] Introdução à Teoria da Computação

Marcelo de Souza Lauretto

Parte 1 do conteúdo da Seção 1.1 do Livro-texto "Introdução à Teoria da Computação", de Michal Sipser

ACH2043 - ITC 2020 T04 - Aula 01: Apresentação da disciplina

Sistemas de Informação

[ACH2043-1] Introdução à Teoria da Computação

Marcelo de Souza Lauretto

Nesta aula apresento brevemente a dinâmica do semestre, bem como uma ideia geral dos conteúdos a serem ministrados e suas motivações

ACH2043 - ITC - Aula 13: Algoritmo CYK (Cocke–Younger–Kasami)

Sistemas de Informação

[ACH2043-2] Introdução à Teoria da Computação

Marcelo de Souza Lauretto e Marcelo de Souza Lauretto

Nesta aula, apresento o algoritmo CYK para reconhecimento de linguagens livres-do-contexto.

PSG vídeo 4: Documentos de TCC (as 3 entregas)

Sistemas de Informação

[ACH2017-2] Projeto Supervisionado ou de Graduação I

Ariane Machado Lima, Ivandre Paraboni, Camilo Rodrigues Neto e Marcelo de Souza Lauretto

Este vídeo descreve as 3 atividades a serem entregues na disciplina para a modalidade TCC.

PSG vídeo 3: Documentos de Aproveitamento de Iniciação Científica

Sistemas de Informação

[ACH2017-2] Projeto Supervisionado ou de Graduação I

Ariane Machado Lima, Ivandre Paraboni, Camilo Rodrigues Neto e Marcelo de Souza Lauretto

Este vídeo descreve os documentos a serem entregues para aproveitamento de IC na disciplina.

PSG vídeo 2: Documentos de Aproveitamento de Estágio

Sistemas de Informação

[ACH2017-2] Projeto Supervisionado ou de Graduação I

Ariane Machado Lima, Ivandre Paraboni, Camilo Rodrigues Neto e Marcelo de Souza Lauretto

Este vídeo descreve o documento a ser entregue na disciplina para aproveitamento de estágio.

PSG vídeo 1: Apresentação da Disciplina

Sistemas de Informação

[ACH2017-2] Projeto Supervisionado ou de Graduação I

Ariane Machado Lima, Ivandre Paraboni, Camilo Rodrigues Neto e Marcelo de Souza Lauretto

Este vídeo apresenta o funcionamento geral das disciplinas ACH2017 e ACH2018 - Projeto Supervisionado ou de Graduação I e II.
20 resultados encontrados