p, li { white-space: pre-wrap; } The main goal of this work is to analyze the creation of the composite compiler. Composite compiler is in this case a szstem, which consists of more cooperating parts. My compiler is special, because its syntactic analyser consists of two parts. The work is focused on the construction of the parsers parts, on its cooperation and comunication. I will trys to scatch the teoretical backgroun of this solution. This is to be done by gramatical systems. Then I~will try to justify whether or not it is neccesary and suitable to create such a kind of parser. Last but not least I~will analyse the language, whose syntactic analyser is to be implemented by the chosen method.

本研究利用字串分析之方式對行動應用程式之執行檔進行靜態分析，進以偵測行動應用程式之行為。 本研究計算行動應用程式所呼叫特定系統函式之序列，進一步比對特定可疑行為模式並判定行動應用程式是否包含其可疑行為，由於進行此研究需要考慮行動應用程式執行檔中每一個系統函式的呼叫，因此增加了大量的計算複雜度，故需要大量的運算資源來進行，為了提高運算的效率，本研究採用了Hadoop 作為分散式運算的平台來達成可延展的分析系統，進以達成分析大量行動應用程式的目的，透過建立特定的行為模式庫，本研究已分析了上千個現實使用的行動應用程式，並提供其含有潛在可疑行為的分析報告。 / This work presents a syntax analysis on the executable files of iOS apps to characterize and detect suspicious behaviors performed by the apps. The main idea is counting the appearances of call sequences in the apps which are resolved via reassembling the executable binaries. Since counting the call sequences of the app needs to consider different combinations of every function calls in the app, which significantly increases the complexity of the computing, it takes abundant computing power to bring out our analysis on massive apps on the market, to improve the performance and the effectiveness of our analysis, this work adopted a distributed computing algorithm via Hadoop framework achieving a scalable static syntax analysis which is able to process huge amount of modern apps. We learn the malicious behaviors pattern through comparing the pairs of normal and abnormal app which are identical except on certain behaviors we inserted. By matching the patterns with the call sequences we collected from the public apps, we characterized the behaviors of apps and report the suspicious behaviors carried potential security threats in the apps.

Made available in DSpace on 2014-12-17T13:57:02Z (GMT). No. of bitstreams: 1 FernandaLP_DISSERT.pdf: 5416443 bytes, checksum: 179175cb44c462129a12d10bfc036342 (MD5) Previous issue date: 2010-05-07 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / This research aims to study dimensions of urban life in the contemporaneous city. It is an effort to understand the functioning of the contemporary city as an artifact that somehow affects social relations. The study focuses on the limits and possibilities of urbanity in the city today, understanding urbanity as a set of factors that favor wealth, diversity and spontaneity of public life. The research aims to show that cities today tend to criate fragmented urban life into at least one of the three urbanity dimensions: spatial dimension, social and temporal dimension. The study involves the analysis of two public spaces in Fortaleza (Pra?a do Ferreira and the open urban public spaces of the Centro Cultural Drag?o do Mar), using Space Syntax Analysis methods and for Post Occupancy Evaluation procedures. Research shows that temporal dimension of urbanity is limited in the public spaces studied. In Pra?a do Ferreira, spatial and social dimensions are present, but their effects are limited by the temporal dimension. The Drag?o do Mar, on the other hand, the spatial and social dimensions of urban life are more limited and more concentrated in time / Esta pesquisa tem como objetivo geral estudar dimens?es da vida urbana na cidade atual. ? um esfor?o de compreens?o do funcionamento da cidade contempor?nea enquanto artefato que afeta de algum modo as rela??es sociais. O trabalho enfoca os limites e as possibilidades da urbanidade na cidade atual, entendendo-se urbanidade como um conjunto de fatores que favorecem a riqueza, a diversidade e a espontaneidade da vida p?blica. A pesquisa procura mostrar que as cidades atuais tendem a conformar uma vida urbana fragmentada em pelo menos uma das tr?s dimens?es da urbanidade: a dimens?o espacial, a dimens?o social e dimens?o temporal. Para tanto o trabalho envolve a an?lise de dois espa?os p?blicos da cidade de Fortaleza (a Pra?a do Ferreira e os espa?os abertos do Centro Cultural Drag?o do Mar), a partir da aplica??o de m?todos de An?lise Sint?tica do Espa?o e de procedimentos de Avalia??o P?s-ocupa??o. A pesquisa mostra que a dimens?o temporal da urbanidade ? limitada nos dois espa?os p?blicos estudados. No caso da Pra?a do Ferreira as dimens?es espacial e social est?o presentes, mas tem seu efeito limitado pela dimens?o temporal. No Drag?o do Mar, por outro lado, as dimens?es espacial e social da urbanidade s?o mais limitadas e mais concentradas em termos temporais

The thesis examines the theory of formal languages in the field of context-free grammars. It focuses mainly on the possibilities and models of collaborating grammars to solve a common problem. In this context, it presents grammatical systems that have been designed as a formal means for describing distributed and parallel processing. After introducing to the problematics, the thesis focuses on the practical use of these mechanisms in the translation controlled syntax, and therefore the second part of the thesis deals with the implementation of a dynamic syntactic analyzer that uses more grammars during the analysis. With respect to the greatest user friendliness and the possible didactic use, the application is implemented using modern web technologies HTML5, JavaScript, AngularJS, CSS3, LESS and more.

This thesis is a continuation of my bachelor thesis, which is dedicated to syntax analysis based on deep pushdown automata. In theorical part of this thesis is defined everything fundamental for this work, for example deep syntax-directed translation, pushdown automata, deep pushdown automata, finite transducer and deep pushdown transducer.   The second part of this thesis is dedicated to the educational program for students of IFJ. In this part is defined strucure of this program and its parts. All part of program are analyzed from a theoretical and practical point of view.

This thesis deals with the topic of sequential and parallel grammars. Both of these groups cover a large number of grammar families, most of which, however, are not widely used because of the difficulties related to their processing. The thesis examines some of these grammar types, such as scattered-context grammars, multigenerative systems, and interactive L-systems, with focus on their normal forms. Subsequently, it introduces a set of algorithms utilising properties of the discussed grammar types as well as their normal forms. These algorithms are based on the Cocke-Younger-Kasami algorithm for context-free grammars, and are capable of parsing any grammar in the corresponding normal form. Finally, a program implementing the proposed algorithms is presented.

This thesis introduces syntax-directed translation based on deep pushdown automata. Necessary theoretical models are introduced in the theoretical part. The most important model, introduced in this thesis, is a deep pushdown transducer. The transducer should be used in syntax analysis, significant part of translation. Practical part consists of an implementation of simple-language interpret based on these models.

<p>This project presents a case study of postmodern trauma, working at the boundaries of the humanities and computer science to produce an in-depth examination of trauma writing in David Foster Wallace’s novel <i>Infinite Jest</i>. The goal of this project is to examine the intricacies of syntax and language in postmodern trauma writing through an iterative process I refer to as <i>broken reading</i>, which combines traditional humanities methodologies (close reading) and distant, computational methodologies (Natural Language Processing). Broken reading begins with close reading, then ventures into the distant reading processes of sentiment analysis and entity analysis, and then returns again to close reading when the data must be analyzed and the broken computational elements must be corrected. While examining the syntactical structure of traumatic and non-traumatic passages through this broken reading methodology, I found that Wallace represents trauma as gendered. The male characters in the novel, when recollecting past traumata or undergoing traumatic events, maintain their subject status, recognize those around them as subjects, and are able to engage actively with the world around them. On the other hand, the female characters in the novel are depicted as lacking the same capacities for subjectivity and action. Through computational text analysis, it becomes clear that Wallace writes female trauma in a way that reflects their lack of agency and subjectivity while he writes male trauma in a way that maintains their agency and subjectivity. Through close reading, I was able to discover qualitative differences in Wallace’s representations of trauma and form initial observations about syntactical and linguistic patterns; through distant reading, I was able to quantify the differences I uncovered through close reading by conducting part of speech tagging, entity analysis, semantic analysis, and sentiment analysis. Distant reading led me to discover elements of the text that I had not noticed previously, despite the occasional flaw in computation. The analyses I produced through this broken reading process grew richer because of failure—when I failed as an interpreter, and when computational analysis failed, these failures gave me further insight into the trauma writing within the novel. Ultimately, there are marked syntactical and linguistic differences between the way that Wallace represents male and female trauma, which points toward the larger question of whether other white male postmodern authors gender trauma in their writings, too. This study has generated a prototype model for the <i>broken reading </i>methodology, which can be used to further examine postmodern trauma writing.</p>

This thesis investigates multi pushdown automata and introduces their   new modifications based on deep pushdown.  The first modification is Input driven multi deep pushdown automata, which has several deep pushdown lists and the current input symbol determines whether the automaton performs a push operation, a pop operation, an expansion operation or does not touch the stack. The second introduced modification is Regulated pushdown automata by deep pushdown. In addition to ordinary pushdowns, this version contains deep pushdown, which is used to generate the control language. This thesis proves, that the acceptance power of the described variants  is equal to the accepting power of Turing machines.  This thesis also contains view on program realisation of theoretical models, which were described in the theoretical part and introduces a library for the syntax analysis, which is based on it.

This thesis studies regulated grammars, their fundamentals and expressing power regarding Chomsky hierarchy of languages. Programmed grammars are investigated in more depth considering a few types of leftmost derivations. A variant of deterministic syntax analysis of programmed grammars is introduced. This analysis works similarly as LL(k) parsing. Transformations of matrix grammars into programmed grammars without changing their expressing power are introduced. The syntax analysis by regularly controlled grammars partly using programmed grammars are presented. In the end, cooperating distributed grammars with left permitting grammars as components are mentioned. Their deterministic syntax analysis uses predictive table or exhaustive exploration of the whole state space.