Universidade Federal do Esprito Santo Programa Institucional de Iniciao Cientfica

Projeto de Pesquisa
Edital: Ttulo do Projeto: Participantes: Grupo de Pesquisa CNPq: Linha de Pesquisa: Centro/Departamento Acadmico: Edital PIBIC-PIVIC 2011/2012 Estudo e avaliao de estratgias para auxiliar o processo de ensino e aprendizagem de Teoria da Computao Juliana Pinheiro Campos Engenharia de Software Modelos de computao Centro de Cincias Agrrias /Departamento de Engenharia Rural

Resumo: As disciplinas da subrea Teoria da Computao so fundamentais nos cursos superiores da rea de computao. O alto nvel de abstrao exigido por essas disciplinas e a utilizao de formalismos matemticos contribui para que os alunos apresentem dificuldades no seu aprendizado. Por outro lado, os professores tm dificuldades de encontrar formas alternativas para ensinar o contedo e tornar a disciplina mais interessante para os alunos. O objetivo deste projeto de pesquisa estudar as principais estratgias pedaggicas que podem ser utilizadas no processo de ensinoaprendizagem de Teoria da Computao, especialmente a utilizao de ferramentas computacionais que pretendam dar suporte a disciplinas dessa rea. Pretende-se estudar estratgias, elaborar material didtico e adaptar softwares para utilizao nessas disciplinas. Para realizao deste projeto de pesquisa, ser necessria a colaborao dos alunos dos cursos de Cincia da Computao e Sistemas de Informao do Centro de Cincias Agrrias da Universidade Federal do Esprito Santo (CCA/ UFES) cursando disciplinas na rea de Teoria da Computao para avaliar as estratgias estudadas. Acreditase que essa pesquisa possa contribuir para melhoria do ensino-aprendizagem de disciplinas da rea de Teoria da Computao do CCA UFES e tambm deixar uma contribuio literatura e aos docentes da rea. Palavras chave: ensino, aprendizagem, Teoria da Computao, adaptao de softwares.

Introduo
A computao a utilizao de algoritmos (seqncia finita de instrues bem definidas que podem ser realizadas em tempo finito) para resoluo de problemas. A Teoria da Computao uma subrea da Cincia da Computao, conforme classificao do CNPQ em reas do conhecimento (CNPQ, 2011), com as seguintes especialidades: computabilidade e modelos de computao, Linguagens Formais e Autmatos, anlise de algoritmos e complexidade de computao e lgica e semntica de programas. A Teoria da Computao estuda os diversos modelos de computao utilizados para representar de forma abstrata uma computao real (autmatos finitos, mquinas de Turing, gramticas, etc.), o que pode

Universidade Federal do Esprito Santo Programa Institucional de Iniciao Cientfica

ser efetivamente computvel em um dado modelo de computao, bem como os limites da computao. SIPSER (2007) apresenta as trs reas centrais da Teoria da Computao:

Autmatos: Lida com as definies e propriedades de modelos matemticos de

computao. Esses modelos de computao so utilizados no reconhecimento e especificao de linguagens formais. Linguagens formais so aquelas que possuem sintaxe bem definida e semntica precisa (VIEIRA, 2006). Um autmato finito (AF) um dos modelos de computao estudados. Ele uma mquina abstrata que representa o comportamento de alguma mquina concreta em um nmero finito de estados. Exemplos de autmatos finitos: mquinas de vender refrigerantes, controladores de portas automticas e interruptor liga/desliga. O AF que representa o comportamento de um interruptor liga/desliga apresentado na figura 1. O interruptor pode se encontrar em um dos dois estados: ligado ou desligado. O ato de pressionar um boto provoca transio entre os estados.

Figura 1. AF para um interruptor liga/desliga

Computabilidade: Estuda a classificao de problemas em solveis (podem

ser resolvidos por computadores) e no solveis (no podem ser resolvidos por computadores). Para isso, utiliza o modelo computacional chamado mquina de Turing por ser um modelo com todas as caractersticas de um computador real. Uma mquina de Turing pode fazer tudo que um computador real pode fazer.

Complexidade: Estuda a classificao de problemas conforme sua dificuldade

computacional em fceis e difceis. Investiga os recursos necessrios (tempo e memria) para resolver problemas computacionais. O estudo de disciplinas da subrea Teoria da Computao em cursos de Cincia da Computao e outros cursos superiores na rea de computao (como Sistemas de Informao e Engenharia da Computao) de extrema importncia, pois os conceitos estudados tm relao direta com o que os profissionais fazem no dia-a-dia. As linguagens de programao utilizadas por esses profissionais so linguagens formais, reconhecidas por modelos de computao estudados em disciplinas de Linguagens Formais e Autmatos. Alm disso, esses modelos so teis para projeto de componentes de hardware e software, como alguns componentes de compiladores (analisador lxico e sinttico). Os conceitos de computabilidade e complexidade deixam o profissional de computao consciente das limitaes da Cincia da Computao e os auxiliam a tomar decises relacionadas implementao ou no de uma soluo para um problema. Um problema pode ser decidvel (pode ser resolvido por computador), mas sua soluo pode exigir tanto tempo que ela no pode ser usada na prtica. Encontrando um problema como esse, chamado intratvel, o profissional ter que usar uma aproximao ou algum outro mtodo para limitar o tempo exigido pela soluo.

Universidade Federal do Esprito Santo Programa Institucional de Iniciao Cientfica

Alm disso, as disciplinas da rea de Teoria da Computao fazem parte do ncleo chamado Fundamentos da Computao no currculo de referncia da Sociedade Brasileira de Computao, que compreende o ncleo de matrias que envolvem a parte cientfica e as tcnicas fundamentais formao slida dos egressos dos diversos cursos de computao (SBC, 1999). O estudo bem realizado dessas disciplinas contribui significativamente para a formao de pesquisadores. Apesar da conhecida importncia do estudo dessa subrea, nem sempre os alunos a reconhecem. So vrios os problemas encontrados no processo de ensino e aprendizagem dessas disciplinas. O primeiro, e talvez o maior deles, a falta de interesse dos alunos por disciplinas tericas. Os alunos acham que a teoria obscura e irrelevante (SIPSER, 2007). Soma-se a esse problema, o fato dessas disciplinas utilizarem formalismos matemticos e demonstraes de teoremas, o que pode tornar a disciplina complexa e enfadonha para os alunos, reduzindo sua motivao. Outro problema a ser considerado o alto nvel de abstrao exigido pelo contedo. Grande parte dos alunos tem dificuldades em assimilar as abstraes envolvidas nos modelos computacionais. O contedo dessas disciplinas contempla tpicos que, normalmente, so considerados pelos alunos excessivamente ridos, abstratos, complexos e desvinculados da sua futura realidade profissional, o que contribui para reduzir o interesse e a motivao pelo seu aprendizado. (RAMOS, 2009, p.22). O trabalho dos professores dessas disciplinas no fcil. Cabe a eles mostrar para os alunos o quanto a teoria relevante para a prtica, traduzir a linguagem matemtica em termos coloquiais de fcil entendimento e buscar formas alternativas para ensinar o contedo com o objetivo de tornar a disciplina mais clara e atrativa para os alunos. Considerando a importncia da Teoria da Computao para a Cincia da Computao e tambm as dificuldades encontradas pelos professores no ensino e pelos alunos no aprendizado dessa teoria, faz-se necessrio concentrar esforos em busca de estratgias adequadas para auxiliar o ensino e aprendizagem da Teoria da Computao com o objetivo de melhorar o aprendizado de alunos de cursos de graduao nessa rea. O trabalho de RAMOS (2009) apresenta uma reflexo sobre os contedos programticos usualmente adotados para o ensino do contedo da disciplina de Linguagens Formais e Autmatos, oferecendo alternativas que possam contribuir para uma melhor assimilao dos tpicos da disciplina. O mesmo estudo pode ser feito para outras disciplinas da rea de Teoria da Computao. Alm disso, RAMOS (2009) apresenta propostas que possam contribuir para uma maior motivao dos alunos para o estudo da disciplina. Uma proposta apresentada por ele a utilizao de ferramentas computacionais que permitem ao aluno construir, em ambiente de simulao, dispositivos computacionais que reproduzam comportamentos de modelos de computao estudados na disciplina. De acordo com OLIVEIRA (2004), as ferramentas computacionais utilizadas como suporte ao processo de ensino-aprendizagem, rendem largas oportunidades para a construo crtica do conhecimento. Elas podem oportunizar, no contexto acanhado da sala de aula e para alm dele, a dinmica da experimentao. Atualmente existem vrias ferramentas com o intuito de auxiliar o ensino de Teoria da Computao, como: JFLAP (2011), GAM (JUKEMURA et al., 2005) e Language Emulator (VIEIRA et al. 2003). Essas ferramentas proporcionam uma aprendizagem bastante eficiente para os alunos,

Universidade Federal do Esprito Santo Programa Institucional de Iniciao Cientfica

permitindo a construo de modelos durante a realizao de exerccios e possibilitando a verificao dos mesmos. Apesar disso, observou-se em uma anlise preliminar que alguns recursos e funcionalidades poderiam ser includos em ferramentas desse tipo para auxiliar o professor no ensino de alguns conceitos. Um exemplo seria a possibilidade de demonstrar passo a passo como realizada a combinao de autmatos finitos criados utilizando procedimentos estudados para provar que linguagens regulares so fechadas sob determinadas operaes (como unio, concatenao e complemento).

Objetivos
O objetivo geral deste projeto de pesquisa estudar e avaliar estratgias que possam ser utilizadas para auxiliar o processo de ensino e aprendizagem de disciplinas da subrea de Teoria da Computao, buscando melhorar o aprendizado nessa rea. Os objetivos especficos so: Investigar as estratgias que podem ser utilizadas para amenizar as dificuldades j identificadas no processo de ensino e aprendizagem em disciplinas da rea de Teoria da Computao (apresentadas na introduo) e outras que sejam identificadas durante essa pesquisa. Conhecer e analisar as principais ferramentas computacionais projetadas com o intuito de auxiliar professores e estudantes nessas disciplinas.

Desenvolver ou adaptar ferramentas computacionais para auxiliar o ensino e aprendizagem dessas disciplinas. Elaborar material didtico para a disciplina de Linguagens Formais e Autmatos organizando o contedo programtico de forma a contribuir para uma melhor assimilao dos tpicos pelos alunos.

Avaliar o uso das estratgias estudadas em disciplinas da rea.

Metodologia
Inicialmente ser realizada uma reviso bibliogrfica com o objetivo de investigar as estratgias utilizadas em disciplinas da rea de Teoria da Computao para amenizar as dificuldades j identificadas no processo de ensino e aprendizagem dessas disciplinas e tornar o estudo delas mais interessante. Tambm sero estudadas estratgias utilizadas em outras disciplinas que apresentem dificuldades semelhantes. Outras dificuldades podero ser identificadas pela candidata a orientadora deste projeto de pesquisa (que leciona disciplinas na rea) durante sua execuo. As dificuldades sero apresentadas juntamente com algumas propostas de estratgias para tentar san-las. Como a utilizao de ferramentas computacionais apontada como uma boa estratgia para aumentar a motivao dos alunos e contribuir para seu aprendizado (RAMOS, 2009; OLIVEIRA, 2004), tambm sero investigadas e analisadas ferramentas existentes para auxlio em disciplinas de Teoria da

Universidade Federal do Esprito Santo Programa Institucional de Iniciao Cientfica

Computao. Essa investigao ser realizada com o objetivo de analisar as funcionalidades dessas ferramentas, verificar qual delas a mais completa e identificar funcionalidades que podem ser includas nessas ferramentas para alcanar o objetivo proposto. Nessa investigao deve-se levar em considerao a classificao dessas ferramentas. Para atender proposta deste projeto, devem ser escolhidos softwares livre. Um software livre um programa de computador que pode ser usado, estudado, modificado e redistribudo sem restries (FSF, 2011). Como o software livre possui cdigo fonte aberto, seu cdigo pode ser estudado e novas funcionalidades podem ser includas no software. Para adaptar ferramentas, deve-se realizar o estudo do cdigo fonte da ferramenta escolhida e estudar novas funcionalidades para implementao. Posteriormente, ser elaborado um material didtico para a disciplina de Linguagens Formais e Autmatos. O contedo do material ser estruturado seguindo estratgia proposta por RAMOS (2009). Ele prope organizar o material em funo das classes de linguagens e abordar os reconhecedores, as gra mticas e propriedades dessas linguagens como subtpicos. Isso porque a uniformidade na apresentao do contedo fica prejudicada quando se adota um enfoque misto no material, o que usualmente encontrado na literatura da rea. Alm disso, todos os conceitos sero apresentados formalmente e informalmente para tornar mais fcil o entendimento pelos alunos. Para finalizar, as estratgias estudadas durante essa pesquisa sero avaliadas em disciplinas da rea de Teoria da Computao. Ser necessria a colaborao dos alunos dos cursos de Cincia da Computao e Sistemas de Informao do Centro de Cincias Agrrias da Universidade Federal do Esprito Santo (CCA/UFES) cursando essas disciplinas. A participao desses alunos tambm ser importante em etapas anteriores da pesquisa: na identificao dos problemas relacionados ao aprendizado nessas disciplinas e na identificao de funcionalidades necessrias ao software de apoio. Espera-se com este projeto contribuir de vrias formas para a melhoria do ensino e aprendizagem das disciplinas da rea de Teoria da Computao, deixando uma contribuio literatura e aos docentes da rea.

Referncias
CNPQ - Conselho Nacional de Desenvolvimento Cientfico e Tecnolgico. reas do conhecimento do CNPQ. Disponvel em: http://www.cnpq.br/areasconhecimento/index.htm. Acesso em: 09 mai. 2011. JFLAP. Disponvel em: http://www.jflap.org/. Acesso em: 09 mai. 2011. JUKEMURA, A. S.; NASCIMENTO, H. A. D.; UCHA, J. Q. GAM Um Simulador para Auxiliar o Ensino de Linguagens Formais e de Autmatos. In: XIII Workshop sobre Educao em Computao, XXV Congresso da Sociedade Brasileira de Computao, 2005, So Leopoldo, RS. Anais... So Leopoldo, 2005. OLIVEIRA, G. P. Construo coletiva do conhecimento atravs de uma experincia de incentivo autonomia dos estudantes no aprendizado de matemtica discreta. In: Encontro Paulista de Educao Matemtica, 2004, So Paulo. Anais... So Paulo: 2004.

Universidade Federal do Esprito Santo Programa Institucional de Iniciao Cientfica

RAMOS, M. V. Ensino de Linguagens Formais e Autmatos em cursos superiores de computao. ReCeT - Revista de Computao e Tecnologia da PUC-SP, So Paulo, v. 1, n.1, out. 2009. Disponvel em: <http://revistas.pucsp.br/index.php/ReCET>. Acesso em: 10 mai. 2011. SBC - Sociedade Brasileira de Computao. Currculo de Referncia da SBC para Cursos de Graduao em Computao e Informtica. Disponvel em: http: //www.sbc.org.br/index.php?language= 1&subject=28&content=downloads&id=82. Acesso em: 05 mai. 2011. SIPSER, M. Introduo Teoria da Computao. 2 ed. So Paulo: Thomson Learning, 2007. 459 p. VIEIRA, L. F. M.; VIEIRA, M. A. M.; VIEIRA, N. J. Language Emulator, uma ferramenta de auxlio no ensino de Teoria da Computao. In: XIII Workshop sobre Educao em Computao XXV Congresso da Sociedade Brasileira de Computao, 2005, So Leopoldo, RS. Proceedings... So Leopoldo, 2005. VIEIRA, N. J. Introduo aos Fundamentos da Computao: Linguagens e Mquinas. So Paulo: Pioneira Thomson Learning, 2006. 319 p. FSF - Free Software Foundation. Disponvel em: http://www.fsf.org/. Acesso em: 10 mai. 2011