Autômatos Finitos: um Formalismo para Cursos na Web

Abstract

Este trabalho apresenta a modelagem de cursos disponibilizados via WWW utilizando-se construções formais conhecidas como Autômatos Finitos Determinísticos com Saída. É introduzido o conceito de "cursos são autômatos" como uma estrutura em camadas que permite fácil implementação e criação de material hipermídia independente do esquema de navegação. O modelo permite projetar cursos hipermídia com a mesma estrutura, reutilizando seu conteúdo em outros cursos e possibilitando o reuso do material didático. O objetivo fundamental deste projeto é criar um sistema semi-automatizado para o suporte de cursos na Web através da aplicação de conceitos inerentes à Ciência da Computação, em especial da Teoria de Autômatos e Teoria das Categorias, juntamente à tecnologia de hiperdocumentos, reunindo os benefícios de ambas.