J. P. Machado, Leonardo Penczek, C. Morais, P. Menezes
{"title":"有限自动机:网络课程的形式主义","authors":"J. P. Machado, Leonardo Penczek, C. Morais, P. Menezes","doi":"10.5753/sbes.1999.23923","DOIUrl":null,"url":null,"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.","PeriodicalId":325756,"journal":{"name":"Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999)","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"1999-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"Autômatos Finitos: um Formalismo para Cursos na Web\",\"authors\":\"J. P. Machado, Leonardo Penczek, C. Morais, P. Menezes\",\"doi\":\"10.5753/sbes.1999.23923\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":325756,\"journal\":{\"name\":\"Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999)\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1999-10-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5753/sbes.1999.23923\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Anais do XIII Simpósio Brasileiro de Engenharia de Software (SBES 1999)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5753/sbes.1999.23923","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Autômatos Finitos: um Formalismo para Cursos na Web
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.