Sintaxe Formal
Mostrando 1-12 de 36 artigos, teses e dissertações.
-
1. O traço de gênero na morfossintaxe do português
RESUMO: Neste artigo, intenta-se definir gênero como um traço sintático. É assumido na literatura linguística que gênero não possui papel na sintaxe, sendo apenas relevante para as interfaces. O artigo discute propostas correntes sobre a manifestação formal e funcional de gênero nos nomes, objetivando descrever seu comportamento e possíveis conseq
DELTA. Publicado em: 2018-06
-
2. Mapeamento da forma urbana de cidades piscatórias no Algarve: Olhão e Vila Real de Santo António
Resumo O artigo analisa os padrões de crescimento urbano de duas cidades piscatórias do sul de Portugal: Olhão e Vila Real de Santo António. O objectivo é investigar a relação entre as propriedades configuracionais e a organização espacial e formal dos núcleos urbanos, de forma a identificar os modelos emergentes ou geradores, e compreender a sua m
urbe, Rev. Bras. Gest. Urbana. Publicado em: 2017-10
-
3. Negação anafórica no português brasileiro: negação setencial, negação enfática e negação de constituinte / Anaphoric negation in Brazilian Portuguese: sentential negation, emphatic negation and constituent negation
Nesta tese, analiso, a partir do arcabouço teórico da gramática gerativa (Chomsky 1957 e outros), uma série de fenômenos relacionados à expressão da negação no português brasileiro (PB). Trato de quatro temas principais: (i) a distribuição dos marcadores negativos em diferentes contextos sintáticos; (ii) as formas de codificação da negação e
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/06/2012
-
4. Donatus: uma interface amigável para o estudo da sintaxe formal utilizando a biblioteca em Python do NLTK
Este trabalho objetiva, primeiramente, evidenciar a utilidade da CFG e da FCFG no estudo da sintaxe formal. A aplicação de parsers baseados nesses formalismos na análise de um corpus pode revelar consequências de uma dada análise que de outro modo passariam despercebidas. O NLTK é uma caixa de ferramentas para o PLN em Python que possibilita a constru�
Alfa, rev. linguíst. (São José Rio Preto). Publicado em: 2012-12
-
5. Estendendo CRefine para o suporte de táticas de refinamento
A utilização de aplicações de software cada vez mais complexas está exigindo um maior investimento no desenvolvimento de sistemas, garantindo uma melhor qualidade das aplicações. Diante desse contexto, novas técnicas estão sendo utilizadas na área de Engenharia de Software, tornado o processo de desenvolvimento mais eficaz. Destacam- se, co
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 07/10/2011
-
6. JCircus 2.0: Uma extensão da ferramenta de tradução de Circus para Java
Esta dissertação tem como objetivo estender a ferramenta JCircus, um tradutor de especificações formais para código que recebe uma especificação em Circus como entrada, e traduz a especificação para código Java. Circus é uma linguagem formal cuja sintaxe é baseada nas sintaxes das linguagens Z e CSP. O código gerado por JCircus faz uso de JCSP,
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/08/2011
-
7. Discurso relatado na língua portuguesa em uso: um estudo funcionalista da relação interoracional de projeção por encaixamento
Este estudo investiga a estrutura do discurso relatado que ocorre nas teses e dissertações científicas na Língua Portuguesa em uso, mais especificamente a articulação das orações que compõem o discurso relatado. Por meio da abordagem Sistêmico Funcional, considera-se a função interacional da linguagem, pois pretende-se uma explicação para o pap
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/04/2011
-
8. Modalidade e modalização : uma interface sintático-semântica em português brasileiro, inglês e romeno
O presente trabalho tem por objetivo, por meio de um recorte teórico da Sintaxe Gerativa e da Semântica Formal em interface, promover a comparação entre três línguas: o português brasileiro, o inglês e o romeno, no que concerne a noção de modalidade. Este trabalho é divido em três partes principais: a primeira elabora fundamentos da Sintaxe Gerat
Publicado em: 2011
-
9. Formalização de uma linguagem visual para descrição de sistemas biológicos / Formalization of a visual language to specify biological pathways
Vias biológicas representam interações entre entidades químicas complexas (proteínas, substratos, metabólitos etc.) que ocorrem no nível molecular das células. A representação e compreensão do comportamento destas vias é o principal alvo de estudos da Biologia Sistêmica. Esta área de estudos envolve a construção de modelos matemáticos que po
Publicado em: 2011
-
10. Vaga-lume na treva: a poesia de João Lins Caldas
Esta pesquisa situa e analisa a poesia de João Lins Caldas (1888-1967) no contexto da literatura brasileira, visando traçar e compreender as principais linhas que a compõem. Para isso, toma como corpus os poemas reunidos em Poeira do céu e outros poemas (2009). O estudo caracteriza-se por um viés biográfico, historiográfico e crítico, à medida que o
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/11/2010
-
11. A sintaxe de constituintes locativos no portugues brasileiro : restrição e predicação / The syntax of locative constituints in brazilian portuguese : restriction and predication
Seguindo a versão minimalista da Teoria de Princípios e Parâmetros (Chomsky, 1995 e obras posteriores), esta dissertação tem como objetivo propor um quadro formal para capturar propriedades sintáticas e semânticas demonstradas por sintagmas preposicionados locativos (PPLocs do tipo (lá) em cima de, (aqui) debaixo de, (ali) em frente a, (aí) por trá
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 17/05/2010
-
12. A subida de clíticos em português : um estudo sobre a variedade europeia dos séculos XVI a XX / Portuguese clitic climbing : a study on the european variety from th sixteenth to the twentieth century
A tese aborda a ocorrência da subida de clíticos na história do português europeu dos séculos XVI ao XX, aliada a uma caracterização formal condizente com os dados observados. O fenômeno consiste na manifestação de um clítico pronominal dependente de um predicado não-finito junto a um verbo regente, normalmente finito, em contexto de predicado co
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/04/2010