• Ir para o conteúdo 1
  • Ir para o menu 2
  • Ir para a busca 3
  • Ir para o rodapé 4
  • Acessibilidade
  • Alto Contraste
  • Mapa do Site
Topo
Laboratório Nacional de Computação Científica

LNCC

Ministério da Ciência, Tecnologia, Inovações e Comunicações
Busca
Facebook
  • SEI
  • Webmail
  • Intranet
  • Fale Conosco
  • Portal do Governo Brasileiro
  • Atualize sua Barra de Governo
Destaques Projeto Rede Avançada em Biologia Computacional Edital 1º Processo Seletivo 2018
logo

O LNCC

  • Histórico
  • Missão
  • Estrutura Organizacional
  • Corpo Técnico Científico
  • Documentos Institucionais
  • Localização

Coordenações

  • Coordenação de Métodos Matemáticos e Computacionais - COMAC
  • Coordenação de Modelagem Computacional - COMOD
  • Coordenação de Pós-graduação e Aperfeiçoamento - COPGA
  • Coordenação de Tecnologia da Informação e Comunicação - COTIC
  • Coordenação de Gestão e Administração - COGEA

Pesquisa e Desenvolvimento

  • Linhas de Pesquisa
  • Produção Técnico-Científica
  • Projetos de P & D
  • Grupos de Pesquisa

Serviços Computacionais de Alto Desempenho

  • CENAPAD
  • SINAPAD
  • SDumont

Programas Nacionais

  • INCT-MACC
  • LABINFO
  • SINAPAD

Inovação

  • Incubadora
  • NitRio

Programas Acadêmicos

  • Mestrado e Doutorado
  • Programa de Verão
  • Bolsas no LNCC

Eventos

Biblioteca

  • Biblioteca

Acesso à Informação

  • Institucional
  • Ações e Programas
  • Agenda do Diretor
  • Auditorias
  • Convênios
  • Gestão Documental
  • Despesas
  • Licitações e Contratos
  • Servidores
  • Sobre a Lei de Acesso à Informação
  • Serviço de Informação ao Cidadão - SIC
  • Informações Classificadas
  • Carta de serviço ao Cidadão
  • Boletins de Notícias

Eventos - Cursos


Programa de Verão 2015

Introduction to Automata Theory

Data Início: 19/01/2015
Data Fim: 23/01/2015
Horário: segunda - terça - quarta - quinta - sexta   de 09:00hs às 10:30hs
Local: Sala 02 - Pós-Graduação


Professores

Abuzer Yakariylmaz

Gilson Antônio Giraldi - Laboratório Nacional de Computação Científica - gilson@lncc.br

Resumo:
In this lecture, we introduce the basics of automata. We will cover deterministic and nondeteriministic automata models, regular languages, closure properties of regular languages, and some proof
techniques to show limits of the models. Depending on the remaining time, we can also cover probabilistic and/or quantum automata models.


  • Principal
  • Programação
  • Minicursos
  • Horário Mini-Cursos
  • Eventos
  • Palestras
  • Organização
  • Inscrições Fechadas
  • Hotéis/Pousadas

Principal

  • Estrutura Organizacional
  • Corpo Técnico Científico
  • Produção Técnico-Científica
  • Projetos de P & D
  • Mestrado e Doutorado
  • Bolsas no LNCC
  • Seminários
  • Congressos / Escolas / Cursos
  • Biblioteca

Acesso à Informação

  • Institucional
  • Ações e Programas
  • Auditorias
  • Convênios
  • Despesas
  • Licitações e Contratos
  • Servidores
  • Sobre a Lei de Acesso à Informação
  • Serviço de Informação ao Cidadão - SIC
  • Informações Classificadas
  • Carta de serviço ao Cidadão

Serviços

  • Fale conosco

Navegação

  • Acessibilidade
  • Mapa do Site