Memórias da prisão: literatura e liberdade m estudo sobre Graciliano Ramos e Antonio Gramsci

La tese avvicina le Memorie dal carcere, di Graciliano Ramos e i Quaderni dal carcere di Antonio Gramsci, in una prospettiva in cui essi erano uniti per lo stesso ideale politico della prima metá del XX secolo e rappresentavano la resistenza intellettuale di fronte alla repressione. Entrambi furono vittime dell autoritarismo dei poteri fascisti e registrarono il periodo di prigione in differenti forme memorialistiche. Questi scrittori sono uniti anche per il contesto nazionale molto simile per la differenza economica tra le regioni. Condividono, inoltre, anche il concetto di arte e la certezza che l alienzazione dell intelligenza può essere superata solamente attraverso la ricostruzione delle basi nazionali per mezzo della conoscenza, dell educazione e della cultura. Si vuole mostrare come i concetti di Gramsci sono presenti non solo nella convinzione politica di Graciliano, ma in tutto il suo stile letterario memorialístico. Il lavoro, ancora, paragona le Memorie del carcere con due testi memorialistici di prigione in Italia, che sono Le mie prigioni, di Silvio Pellico, e Se questo è un uomo, di Primo Levi, per dimostrare che la proposta della letteratura gramsciana è molto più vicina allo scrittore brasiliano che ai due suoi conazionali.

Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)

Este trabalho apresenta uma técnica de verificação formal de Sistemas de Raciocínio Procedural, PRS (Procedural Reasoning System), uma linguagem de programação que utiliza a abordagem do raciocínio procedural. Esta técnica baseia-se na utilização de regras de conversão entre programas PRS e Redes de Petri Coloridas (RPC). Para isso, são apresentadas regras de conversão de um sub-conjunto bem expressivo da maioria da sintaxe utilizada na linguagem PRS para RPC. A fim de proceder fia verificação formal do programa PRS especificado, uma vez que se disponha da rede de Petri equivalente ao programa PRS, utilizamos o formalismo das RPCs (verificação das propriedades estruturais e comportamentais) para analisarmos formalmente o programa PRS equivalente. Utilizamos uma ferramenta computacional disponível para desenhar, simular e analisar as redes de Petri coloridas geradas. Uma vez que disponhamos das regras de conversão PRS-RPC, podemos ser levados a querer fazer esta conversão de maneira estritamente manual. No entanto, a probabilidade de introdução de erros na conversão é grande, fazendo com que o esforço necessário para garantirmos a corretude da conversão manual seja da mesma ordem de grandeza que a eliminação de eventuais erros diretamente no programa PRS original. Assim, a conversão automatizada é de suma importância para evitar que a conversão manual nos leve a erros indesejáveis, podendo invalidar todo o processo de conversão. A principal contribuição deste trabalho de pesquisa diz respeito ao desenvolvimento de uma técnica de verificação formal automatizada que consiste basicamente em duas etapas distintas, embora inter-relacionadas. A primeira fase diz respeito fias regras de conversão de PRS para RPC. A segunda fase é concernente ao desenvolvimento de um conversor para fazer a transformação de maneira automatizada dos programas PRS para as RPCs. A conversão automática é possível, porque todas as regras de conversão apresentadas seguem leis de formação genéricas, passíveis de serem incluídas em algoritmos