Uma tradução de gramáticas de hipergrafos baseadas em objetos para cálculo-π

O aumento da escala e funcionalidade dos sistemas de computação e sua crescente complexidade envolvem um aumento significante de custos e exigem recursos humanos altamente qualificados para o desenvolvimento de software. Integrando-se o uso de métodos formais ao desenvolvimento de sistemas complexos, permite-se realizar análises e verificações destes sistemas, garantindo assim sua correção. Existem diversos formalismos que permitem descrever sistemas, cada qual com diferentes níveis de abstração. Quando consideramos sistemas complexos, surge a necessidade de um modelo que forneça construções abstratas que facilitem o entendimento e a especificação destes sistemas. Um modelo baseado em objetos fornece um nível de abstração que tem sido muito aplicado na prática, onde os dados e os processos que os manipulam são descritos juntos em um objeto. Gramática de Grafos Baseada em Objetos (GGBO) é um modelo baseado em objetos, que além de ser uma linguagem visual, apresenta a vantagem de as especificações adquirirem um estilo baseado em objetos, que é bastante familiar à maioria dos desenvolvedores. Porém, as GGBOs não possuem ainda ferramentas para verificação automática de propriedades desejadas nos sistemas modelados. Uma alternativa para resolver isso é definir uma tradução (que preserve a semântica) desta linguagem para outra, para a qual existam verificadores automáticos. Um formalismo bastante conhecido e estabelecido para descrição de sistemas concorrentes, para o qual existem verificadores automáticos, é o cálculo-π. Porém, sob o aspecto de especificação de sistemas complexos, GGBOs parecem ser mais adequadas como linguagem de especificação que o cálculo-π, pois são visuais, mais intuitivas e possuem um estilo baseado em objetos. Neste trabalho foi definido um formalismo (baseado nas GGBOs), denominado Gramática de Hipergrafos Baseada em Objetos e uma tradução deste formalismo para o cálculo-π, aliando assim as vantagens desses dois métodos. Além disso, para validar a tradução definida, foram feitas provas de que a semântica das gramáticas de hipergrafos baseadas em objetos é preservada na tradução.

Representação e Anáilse de Gramáticas de Grafos

Os sistemas computacionais estão tomando proporções cada vez maiores envolvendo situações bastante complexas, onde muitas vezes erros são inaceitáveis, como em sistemas bancários, sistemas de controle de tráfego aéreo, etc... Para obter software confiável e com desempenho aceitável, pode-se aliar técnicas de desenvolvimento formal de software a técnicas de simulação de sistemas. O ambiente PLATUS reúne essas duas áreas: modelos de simulação são descritos usando gramáticas de grafos uma linguagem de especificação formal. Gramáticas de grafos são uma generalização de gramáticas de Chomsky, substituindo strings por grafos. Neste trabalho, serão tratadas gramáticas de grafos baseados em objetos, um modelo onde vértices e arcos são tipados, e as especificações são modulares (a especificação de um sistema consiste em várias gramáticas de grafos combinadas). Assim, o modelo de um sistema pode ser descrito de forma precisa, e a linguagem de especificação é bastante abstrata e expressiva. Num ambiente de simulação a questão da recuperação de dados merece uma atenção especial, uma vez que a eficiência do simulador está diretamente ligada a agilidade na obtenção das informações. Neste trabalho, o objetivo principal é definir uma representação para gramáticas de grafos que facilite o armazenamento, a recuperação e análise das estruturas identificadas no ambiente PLATUS, ou seja, gramáticas de grafos baseadas em objetos. São definidas também funções que implementam os procedimentos necessários, para a recuperação de dados durante a simulação. A eficiência dessas funções é demonstrada através do cálculo de sua ordem de complexidade. As estruturas são validadas através da implementação de um protótipo de banco de dados.

Representação da ambigüidade em manuais de redação

Nosso objetivo, nessa Dissertação, consiste em analisar, a partir dos pressupostos teóricos da escola francesa de Análise do Discurso, o tratamento recebido pelo fenômeno da ambigüidade em manuais de redação, ou seja, através desses pressupostos teóricos questionamos a maneira pela qual a ambigüidade aparece representada no discurso dos manuais de redação os quais, por sua vez, têm seus saberes avalizados por saberes que circulam em gramáticas normativas, pedagógicas, em compêndios gramaticais e em determinadas teorias lingüísticas. Tais saberes, ao pregarem o expurgo da ambigüidade da língua, exigem dela univocidade e clareza, assim como possibilitam que se instaure a evidência do sujeito e dos sentidos e a suposta autonomia desse sujeito sobre o funcionamento da linguagem. Identificamos esta postura como uma das posições-sujeito que participam da formação discursiva docente que pretende regular os saberes sobre a língua. Para efetivar essa pesquisa examinamos manuais de redação que se encontram em uso, hoje, em escolas de Porto Alegre, alguns compêndios gramaticais publicados a partir de 1930, e gramáticas normativas, expositivas e pedagógicas de Língua Portuguesa.

Mitos e concepções lingüísticas do professor em contextos multilíngües

Este estudo insere-se no âmbito da pesquisa sociolingüística. Seu objetivo principal é comparar a visão de língua de professores de escolas confrontadas com situações de multilingüismo e seu comportamento em relação à língua minoritária falada pelos alunos, bem como ao bilingüismo como conseqüência natural do contato lingüístico e ao próprio processo de aprendizagem da língua-padrão, o português. Partese do pressuposto básico de que comunidades plurilíngües, especialmente aquelas onde se falam variedades estigmatizadas, são marcadas por tensões e valorações sociais diversas. Subjaz à análise desse contexto a tese de que a compreensão das concepções lingüísticas do professor contribui para explicar a dinâmica de diversos mitos acerca da língua minoritária e do bilingüismo observável na comunidade. Dominado pela força desses mitos, o professor é impelido a atitudes distintas, que vão desde a valorização exacerbada até a estigmatização extrema de certas variedades, originando o preconceito lingüístico. Para o estudo desses aspectos, seguiu-se uma metodologia de análise qualitativa interpretativa dos dados. A coleta de dados envolveu observação de aulas, anotações em diário de campo, entrevistas gravadas com professores e alunos, além de filmagens de aulas. Foram sujeitos da pesquisa professores de duas escolas: escola A, localizada em Daltro Filho, e escola B, de Estrela. Os dois contextos distinguem-se pelo grau de bilingüismo - maior em Daltro Filho - e de urbanização - maior em Estrela. Enquanto na escola A os professores, todos bilíngües, estão em contato direto com a situação multilíngüe (alemão-italiano-português), na escola B os professores entram em contato com o bilingüismo (alemão-português) apenas através de alunos provenientes do meio rural. Os resultados mostram que, entre as concepções lingüísticas vigentes, destaca-se a concepção de que a língua se define por um conjunto de regras consubstanciadas nas gramáticas normativas, as quais prescrevem as normas do “falar e escrever corretamente”, sendo todas as formas desviantes desse padrão consideradas como "erro". O domínio dessa língua-padrão é almejado tanto por professores quanto por alunos e considerado um capital lingüístico imprescindível para a ascensão social e inserção no mercado de trabalho. Evidencia-se, ainda, nas realidades pesquisadas, a existência de diversos mitos, tanto ligados à língua portuguesa quanto à língua minoritária. Embora em muitos momentos os informantes considerem o bilingüismo como um capital lingüístico altamente desejável, em outros momentos o encaram como um obstáculo à aprendizagem do português. Além disso, percebe-se que a escola está impregnada pelas leis do mercado lingüístico, não atentando ao mercado de trabalho, ao optar pelo ensino do inglês como primeira opção de língua estrangeira a ser trabalhada na escola. Descrevendo como essa realidade de contato entre línguas minoritárias e o português é tratada em sala de aula, ou seja, como se configura atualmente essa realidade multilíngüe em nosso meio, este estudo pode servir para alertar não só professores da necessidade de redirecionar suas atitudes, valorizando tanto a língua minoritária de seus alunos quanto a variedade do português, como também as autoridades responsáveis pela Educação sobre a necessidade de instituir uma política lingüística que assegure a essas minorias bilíngües currículos, métodos, técnicas e um programa de educação bilíngüe adequado para atender às suas peculiaridades.

Discurso proverbial : reafirmação do preconceito contra a mulher?

O presente trabalho tem o propósito de investigar o discurso proverbial enquanto ferramenta para propagação do preconceito contra a mulher. Filiandose à Análise do Discurso de linha francesa, analisa-se a questão do preconceito presente nos ditados populares, procurando demonstrar o quanto a figura feminina é discriminada na sociedade através de chavões institucionalizados ao longo dos tempos que são transmitidos como verdades universais. A grande questão que atravessa esse trabalho é a força que esse ditos têm em reafirmar a incapacidade da mulher para qualquer atividade que não esteja ligada ao lar. Mesmo após a mulher, nas últimas décadas, ter provado e comprovado sua plena capacidade para assumir responsabilidades iguais ou superiores às do homem, esses ditos, antigos ou novos, mantêm o mesmo grau de preconceito, senão até mais elevado. Sendo assim, no texto desta investigação, encontra-se uma explanação do que é entendido como provérbio e algumas questões que envolvem conceitos ligados à Análise do Discurso, cultura, senso comum, poder e preconceito, buscando, desta forma, estabelecer um referencial teórico para a análise. Na parte dedicada à análise propriamente, apresentam-se os cinco tipos de provérbios que foram identificados, nos quais examina-se a questão do preconceito e a presença/ausência de determinantes, demonstrando que estes – os determinantes - são utilizados de forma bastante diversa daquela mencionada nas gramáticas da nossa língua.

Enunciação e sintaxe : uma abordagem das preposições do português

Este trabalho propõe-se a estudar os sentidos das preposições essenciais do português, a partir da Teoria da Enunciação de Émile Benveniste. As preposições consideradas advêm de um corpus de dados retirado de gramáticas contemporâneas do português. Ao abordar a descrição do sentido das preposições nas gramáticas e estudos lingüísticos brasileiros, constatamos que essa descrição é baseada em noções paradigmáticas constantes e genéricas, tais como espaço e tempo. A partir dos textos de análise de Benveniste, constatamos que o estudo da língua depende da consideração de uma dupla sintaxe, a saber, sintaxe da língua e sintaxe da enunciação, de uma dupla definição de sentido, a saber, valor e referência, de uma dupla definição de unidade, a saber, locução e enunciado e de uma dupla definição de língua, a saber, língua enquanto sistema de signos (língua) e língua enquanto comunicação intersubjetiva (língua-discurso). Constatamos ainda que a dupla consideração do sentido depende da postulação de uma unidade intermediária entre língua e língua-discurso, dita locução ou signo-palavra. Além disso, tal estudo nos mostra que uma metodologia de análise do sentido depende da simultânea consideração das relações de dissociação de forma e integração de sentido entre signos-palavra. A partir do estudo dos textos da Teoria da Enunciação, observamos que, para o estudo do sentido das preposições, devemos considerar que o significado genérico e repetível da locução na língua é determinado pela referência única e irrepetível da locução no enunciado Assim, as noções genéricas de espaço e tempo das preposições enquanto signo transformam-se em sentidos particulares a partir das relações sintagmático-semânticas de integração da preposição enquanto signopalavra. Para estudar os sentidos das preposições, construímos um corpus de fatos constituído de textos extraídos da versão online do jornal Zero Hora do ano de 2004. Com o auxílio do aplicativo Wordsmith, identificamos a estrutura de locuções da língua enquanto sistema de signos. A partir de 24 análises enunciativas das preposições, constatamos que as noções de espaço ou de tempo das preposições são determinadas pela posição singular que o locutor e, por vezes, o alocutário ocupa em cada enunciado, ou seja, pela sintaxe da enunciação.

Categoria de grafos parciais com homomorfismos totais teoria e aplicações

O conceito de parcialidade e importante em diversas áreas como a Matemática e a Ciência da Computação; ele pode ser utilizado, por exemplo, para expressar computações que não terminam e para definir funções recursivas parciais. Com rela cão a grafos, categorias de homomorfismos parciais são comuns (por exemplo, em gramáticas de grafos com a técnica de single-pushout). Este trabalho propõe uma abordagem diferente: a parcialidade é usada na estrutura interna dos objetos (não nos morfismos).Istoéfeito utilizando uma extensão do conceito de Categoria das Setas, chamada de Categoria das Setas Parciais. E definida entãoa categoria Grp de grafos parciais(tais que arcos podem possuir ou não vértices de origem e/ou destino) e homomorfismos totais.A generalização deste modelo resulta em categorias de grafos parciais internos.Émostrado que Grp é bicompleta e, se C é um topos, a categoria dos grafos parciais internos a C é cocompleta. Grafos parciais podem ser utilizados para definir modelos computacionais tais como autômatos. Uma categoria de Autômatos Parciais, denominada Autp, é construída a partir da categoria de Grafos Parciais. Usando uma extensão de composição de spans de grafos para autômatos, chamada de Composição de Transições, e possível definir as computações de autômatos. Brevemente, uma composição de transi cões de dois autômatos parciais resulta em um autômato parcial onde cada transição representa um caminho de tamanho dois (entre vértices), tal que a primeira metade é uma transição do primeiro autômato e a segunda metade é uma transição do segundo. É possível compor um autômato consigo mesmo diversas vezes; no caso de n sucessivas composições de transições, pode-se obter as palavras da linguagem aceita pelo autômato que necessitam de n+1 passos de computação nos arcos que não possuem origem e nem destino definidos do autômato parcial resultante.

Os discursos sobre língua e ensino no Brasil da 1a. e da 2a. república : o duplo lugar da determinação e da contradição

A presente pesquisa, filiada à Análise de Discurso de linha francesa, trata dos processos de determinação na regulamentação das questões de ensino de língua portuguesa no Brasil no período histórico compreendido entre a 1ª e a 2ª Repúblicas (1889-1945). Por estar filiado à referida teoria, este trabalho não busca esgotar o recorte cronológico e nem tampouco abarcar a totalidade das enunciações que foram feitas, nessa época, em torno da questão selecionada para estudo. Os gestos de análise ora desenhados recortaram as enunciações em torno das questões de ensino e de língua, tecidas a partir de quatro formações discursivas diferentes, desdobradas em suas contradições, através: a) da posição-sujeito dos operários-anarquistas, identificada à Formação Discursiva Libertária (FDL); b)da posição-sujeito das enunciações das propostas de Reforma do Ensino na 1ª República, identificada à Formação Discursiva Estatal (FDE); c) de enunciações da posição sujeito situada no âmago das formulações jurídicas elaboradas no Governo Vargas, identificada à Formação Discursiva Ministerial (FDM); d) e por último as enunciações constantes em gramáticas, identificadas à a Formação Discursiva Pedagógica (FDP). As análises deste trabalho de investigação estão articuladas de modo que os saberes das FDs em questão são olhados de formas diferentes, no sentido de que se situando em lugares de antagonismo e de contradição, em muitos momentos faz-se possível observar essas relações que, no interior de uma dada FD, remetem aos saberes do discursooutro. No recorte específico dos saberes sobre a língua privilegiamos a constituição de um imaginário de língua derivado do imaginário de nação, buscando investigar em que medida e de que formas eles (re) produziram posturas xenofobistas que ressoaram nos modos como foi tipificado o sujeito imigrante operário, a partir de sua língua e de sua prática política. Assim, recorremos ao interdiscurso, lugar onde os enunciados se articularam, descrevendo os diferentes modos como esses foram linearizados e, assim, produziram sentidos, no embate tenso entre os jogos de aliança e refutação. Para proceder à fundamentação teórica que deu suporte às análises, tecemos diálogos com outras regiões do conhecimento, desde o campo da filosofia, nas discussões envolvendo as questões de designação e determinação, passando pelo olhar das gramáticas (cartesiana, filosófica, histórica e normativa) sobre a língua, para então chegarmos à ordem do discurso, lugar onde conceitos foram ressignificados, para podermos tratar da língua, enquanto objeto nunca imune às condições de produção dos discursos por ela materializados.

Voz verbal : uma abordagem enunciativa

O presente estudo aborda as vozes verbais na perspectiva da enunciação. Apresenta um panorama de estudos de gramáticas e de algumas publicações a respeito do assunto. A partir de pressupostos estabelecidos por Émile Benveniste, lingüista da enunciação, propõe uma metodologia para análises de enunciados. Utiliza, como corpus para essas análises, uma tipologia textual variada, contemplando situações enunciativas diversas. Orienta-as no sentido da verificação das relações mórfico-sintático-semânticas que o locutor promove nos enunciados a fim de atribuir referência à sua situação de discurso. Conclui que a voz verbal, vista sob a perspectiva da enunciação, é dêitica, ou seja, é categoria do discurso que resulta do sujeito que enuncia. Conseqüentemente, seu sentido não se submete, totalmente, ao critério de uma forma estabelecida a priori: resulta de uma sintaxe que se manifesta na enunciação, em decorrência do contexto e da atitude do sujeito frente a ele