This thesis focuses on modern methods of language description. It introduces several controlled grammars, describing in detail the tree controlled grammar. The thesis is based on relatively new technique of syntax analysis using tree controlled grammars. The process of this analysis is described in detail, followed by a design of parallel-processing of this analysis. We managed to succesfully implement this design, speed up the syntax analysis and therefore achieve the main goal of the thesis.

Tyto teze navazují na studium gramatických a automatových systémů. Na začátku, práce pojednává o regulárně řízených CD gramatických systémech využívající frázově strukturované gramatiky jako komponenty. Do systémů jsou zavedena tři nová omezení na derivacích a je studován jejich vliv na vyjadřovací sílu těchto systémů. Poté, tato práce definuje dva automatové protějšky ke kanonickým multi-generatiním nonterminálem a pravi\-dlově synchronizovyným gramatickým systemům, generujících vektory řetězců, a ukazuje, že všechny tyto vyšetřované systemy si jsou vzájemně ekvivalentní. Dále táto práce tyto systémy zobecňuje a zakládá fundamentalní hierarchii n-jazyků (množin n-tic řetězců). V~souvislosti se zavedenými systémy tyto teze zavádí automatově-gramatický převodník založený na konečném automatu a bezkontextové gramatice. Tento převodník je pak studovaný a použitý jako nástroj přímého překladu. V~poslední části jsou v této práci zavedené automatové systémy jádrem pársovací metody založené na stromově řízených gramatikách s n omezenými cestami.

Dans la seconde moitié du XIXe siècle, les comédies de Molière devinrent une source féconde pour les Ottomans qui cherchaient à renouveler les arts dramatiques populaires et à créer ainsi un nouveau théâtre national. Ce travail se concentre sur les deux grands vecteurs de la transmission à l’étranger du répertoire français au XIXe siècle (les pièces qui voyagent dans leur langue originale et les traductions et autres adaptations des pièces françaises en vogue) et poursuit le but d’analyser dans sa complexité la transmission du théâtre moliéresque dans l’Empire ottoman à l’Âge des réformes. Ce travail se propose de réécrire sous un nouvel angle l’histoire de la modernité théâtrale turque en mettant l’accent sur les changements que subirent les arts du spectacle populaires face à la popularité grandissante du théâtre moliéresque dans la capitale ottomane et sur les grandes tournées dramatiques des vedettes françaises dans une Constantinople très vivante et cosmopolite. / In the second half of the nineteenth century, Molière's comedies were seen as a fertile source of material for Ottoman playwrights eager to bring new ideas to the popular dramatic arts and to create a new form of national theater. This dissertation concentrates on two primary ways that French theater was transmitted to the theater-going public in the nineteenth century : First, plays that traveled in their original language ; and secondly, translations and adaptations of the French plays most popular at the time. This dissertation aims to analyze Molière's theater in all the complex ways it was transmitted throughout the Ottoman Empire during the Age of Reforms. This dissertation proposes a new perspective on the history of modern Turkish theater, underlining the transformation that the popular dramatic arts went into in the midst of the growing popularity of Molière's theater in the capital and the effect of French theater stars coming to what was a lively and cosmopolitan Istanbul.

Comment donner à voir l’irreprésentable, la contradiction et le paradoxe — et pourquoi le faire ? Pour Marguerite Duras, dont l’œuvre est porteuse d’apories, la réponse à cette interrogation fondamentale se trouve dans l’écriture littéraire. Dans ce mémoire, nous interrogerons la notion de souveraineté (Menke) du littéraire, qui permet de penser la mise en tension des discours non esthétiques (soit historiques, judiciaires, journalistiques, par exemple) dans l’œuvre de Duras, ainsi que l’engagement de l’auteure par son écriture, qui seule peut porter ses prises de positions contraires et violentes, mais aussi « le deuil noir de toute vie, le lieu commun de toute pensée ». Dans un premier temps, nous étudierons la singularité de l’engagement de Duras ; si l’engagement politique dans sa vie publique est marqué par de nombreux remous, nous pourrons observer, à partir de l’analyse du texte « Sublime, forcément sublime Christine V. » (1985), comment apparaît en contrepoint un engagement (Sartre, Barthes) par la littérature dans l’écriture de l’auteure. Cette écriture est également porteuse d’une certaine faculté oraculaire, instaurant la voyance est aux sources de la souveraineté de la littérature. Par l’étude du texte « La mort du jeune aviateur anglais » (1993), nous traiterons dans un deuxième temps de la particularité de la posture et de l’énonciation (Meizoz) de Duras, ainsi que de la possibilité de la confrontation de l’aporie que lui offre le discours littéraire. L’appropriation de la parole de l’autre et de la parole du mort se fait dans ce texte au profit du récit mythique, évacuant les dimensions historiques et documentaires du témoignage afin de tendre plutôt vers une parabole universalisante. Enfin, à travers une analyse de La douleur (1985) et de son paratexte, nous verrons comment la réécriture de ses textes avant leur publication permet d’y inscrire un engagement affirmé, correspondant davantage au projet d’engagement littéraire que Duras tisse dans les dix dernières années de sa carrière. L’écriture de Duras dans cette œuvre montre comment le discours littéraire peut représenter la faillite de la pensée et des autres discours. Cette mise en crise des discours et de la pensée, que l’on retrouve au sein des trois textes à l’étude, nous permettra de penser la souveraineté du littéraire dans l’écriture de Marguerite Duras. / How can one show the unspeakable, contradictions and paradoxes — and why would one attempt to do so ? For Marguerite Duras, whose work carries aporias, the answer to this fundamental question lies in literary writing. In this dissertation, we will question the notion of literary sovereignty (Menke), which allows us to think the crisis of non-aesthetic discourses (historical, judicial, journalistic, for example) in Duras' work, as well as the engagement of the author through her writing, which alone can bear her opposing and violent positions, but also "the black mourning of life, the commonplace of all thought". First, we will study the singularity of Duras' engagement ; if the political engagement in her public life is marked by many upheavals, we will be able to observe, from the analysis of the text "Sublime, forcément sublime Christine V." (1985), how an engagement (Sartre, Barthes) through literature appears in the author's writing. This writing also bears a certain oracular capacity, establishing clairvoyance as one of the sources of literary sovereignty. Through the study of "La mort du jeune aviateur anglais" (1993), we will then explore the particularity of the posture and enunciation (Meizoz) of Duras, as well as the possibility of the confrontation of aporia that literary discourse offers. The word of the other and the word of the dead is appropriated for the benefit of the mythical narrative, evacuating the historical and documentary dimensions of testimony in order to move towards a universalizing parable. Finally, through an analysis of La douleur (1985) and its paratext, we will see how the rewriting of texts before their publication inscribes them in an strong commitment, more akin to the project of literary engagement that Duras weaves in the last ten years of his career. Duras' writing in this work shows how literary discourse can represent the crisis of thought and of other discourses. This crisis of discourse and thought, which can be found in the three texts studied in this dissertation, will allow us to think about literary sovereignty in Marguerite Duras' writing.

This master thesis describes deterministic context-free L-systems and its context in procedural modeling, especially in fractal geometry, deals with rewriting technique and its usage for modeling structures similar to plants. Further it describes more complex types of L-systems, especially their context and parametric variations, and shows usage of L-systems in computer graphics and describes its usage for procedural modeling of architecture. At the end of this thesis there are described some other possibilities of usage procedural modeling with L-systems and introduced some extensions of rewriting rules, which will be subject of future research.

Tato disertační práce studuje synchronní formální systémy založené na gramatikách a převodnících a zkoumá jak jejich teoretické vlastnosti, tak i perspektivy praktických aplikací. Práce představuje nové koncepty a definice vycházející ze známých principů řízeného přepisování a synchronizace. Navrhuje alternativní způsob synchronizace bezkontextových gramatik, založený na propojení pravidel. Tento princip rozšiřuje také na řízené gramatiky, konkrétně gramatiky s rozptýleným kontextem a maticové gramatiky. Dále je představen na podobném principu založený nový druh převodníku, tzv. pravidlově omezený převodník. Jedná se o systém složený z konečného automatu a bezkontextové gramatiky. Práce prezentuje nové teoretické výsledky ohledně generativní a přijímajicí síly. Poslední část práce zkoumá možnosti lingvisticky orientovaných aplikací se zameřením na překlad přirozeného jazyka. Diskutuje a srovnává hlavní výhody nových modelů s využitím vybraných případových studií z českého, anglického a japonského jazyka pro ilustraci.

History, both collective and personal, often provides a stimulus for Southern poets and is useful in bridging the gap between the writers' personal memories and associations and those of the reading audience. The critical introduction to this collection explores connections between personal and shared history in the works of Natasha Trethewey, Betty Adcock, and Kathryn Stripling Byer. These poets convey their own connections to the past through reacting to historical photographs, relaying their own experiences during natural disasters, and setting private incidents within their larger historical contexts. These poets also suggest that time is concentric and malleable, and that history is essentially changed through its retelling. Poems offer a chance to rewrite one's own history. In the final section, I show that historical connections are treated similarly in my own work and that, through making associations with history, my poems also attempt to rewrite the past.

La Tesis investiga técnicas ágiles dentro del paradigma declarativo para dar solución a dos problemas: el análisis de programas y la inferencia de especificaciones a partir de programas escritos en lenguajes multiparadigma y en lenguajes imperativos con tipos, objetos, estructuras y punteros. Respecto al estado actual de la tesis, la parte de análisis de programas ya está consolidada, mientras que la parte de inferencia de especificaciones sigue en fase de desarrollo activo. La primera parte da soluciones para la ejecución de análisis de punteros especificados en Datalog. En esta parte se han desarrollado dos técnicas de ejecución de especificaciones en dicho lenguaje Datalog: una de ellas utiliza resolutores de sistemas de ecuaciones booleanas, y la otra utiliza la lógica de reescritura implementada eficientemente en el lenguaje Maude. La segunda parte desarrolla técnicas de inferencia de especificaciones a partir de programas. En esta parte se han desarrollado dos métodos de inferencia de especificaciones. El primer método se desarrolló para el lenguaje lógico-funcional Curry y permite inferir especificaciones ecuacionales mediante interpretación abstracta de los programas. El segundo método está siendo desarrollado para lenguajes imperativos realistas, y se ha aplicado a un subconjunto del lenguaje de programación C. Este método permite inferir especificaciones en forma de reglas que representan las distintas relaciones entre las propiedades que el estado de un programa satisface antes y después de su ejecución. Además, estas propiedades son expresables en términos de las abstracciones funcionales del propio programa, resultando en una especificación de muy alto nivel y, por lo tanto, de más fácil comprensión. / Feliú Gabaldón, MA. (2013). Logic-based techniques for program analysis and specification synthesis [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/33747

Tesis por compendio / [ES] Erlang es un lenguaje de programación funcional con concurrencia mediante paso de mensajes basado en el modelo de actores. Éstas y otras características lo hacen especialmente adecuado para aplicaciones distribuidas en tiempo real acrítico. En los últimos años, la popularidad de Erlang ha aumentado debido a la demanda de servicios concurrentes. No obstante, desarrollar sistemas Erlang libres de errores es un reto considerable. A pesar de que Erlang evita muchos problemas por diseño (por ejemplo, puntos muertos), algunos otros problemas pueden aparecer. En este contexto, las técnicas de testing y depuración basadas en métodos formales pueden ser útiles para detectar, localizar y arreglar errores de programación en Erlang. En esta tesis proponemos varios métodos para testing y depuración en Erlang. En particular, estos métodos están basados en modelos semánticos para concolic testing, pruebas basadas en propiedades, depuración reversible con consistencia causal y repetición reversible con consistencia causal de programas Erlang. Además, probamos formalmente las principales propiedades de nuestras propuestas y diseñamos herramientas de código abierto que implementan estos métodos. / [CA] Erlang és un llenguatge de programació funcional amb concurrència mitjançant pas de missatges basat en el model d'actors. Estes i altres característiques el fan especialment adequat per a aplicacions distribuïdes en temps real acrític. En els últims anys, la popularitat d'Erlang ha augmentat degut a la demanda de servicis concurrents. No obstant, desenvolupar sistemes Erlang lliures d'errors és un repte considerable. Encara que Erlang evita molts problemes per disseny (per exemple, punts morts), alguns altres problemes poden aparéixer. En este context, les tècniques de testing y depuració basades en mètodes formals poden ser útils per a detectar, localitzar y arreglar errors de programació en Erlang. En esta tesis proposem diversos mètodes per a testing i depuració en Erlang. En particular, estos mètodes estan basats en models semàntics per a concolic testing, testing basat en propietats, depuració reversible amb consistència causal i repetició reversible amb consistència causal de programes Erlang. A més, provem formalment les principals propietats de les nostres propostes i dissenyem ferramentes de codi obert que implementen estos mètodes. / [EN] Erlang is a message-passing concurrent, functional programming language based on the actor model. These and other features make it especially appropriate for distributed, soft real-time applications. In the recent years, Erlang's popularity has increased due to the demand for concurrent services. However, developing error-free systems in Erlang is quite a challenge. Although Erlang avoids many problems by design (e.g., deadlocks), some other problems may appear. Here, testing and debugging techniques based on formal methods may be helpful to detect, locate and fix programming errors in Erlang. In this thesis we propose several methods for testing and debugging in Erlang. In particular, these methods are based on semantics models for concolic testing, property-based testing, causal-consistent reversible debugging and causal-consistent replay debugging of Erlang programs. We formally prove the main properties of our proposals and design open-source tools that implement these methods. / Palacios Corella, A. (2020). Formal Methods for Constraint-Based Testing and Reversible Debugging in Erlang [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/139076 / Compendio

This report presents RACR, a reference attribute grammar library for the programming language Scheme. RACR supports incremental attribute evaluation in the presence of abstract syntax tree rewrites. It provides a set of functions that can be used to specify abstract syntax tree schemes and their attribution and construct respective trees, query their attributes and node information and annotate and rewrite them. Thereby, both, reference attribute grammars and rewriting, are seamlessly integrated, such that rewrites can reuse attributes and attribute values change depending on performed rewrites – a technique we call Reference Attribute Grammar Controlled Rewriting. To reevaluate attributes influenced by abstract syntax tree rewrites, a demand-driven, incremental evaluation strategy, which incorporates the actual execution paths selected at runtime for control-flows within attribute equations, is used. To realize this strategy, a dynamic attribute dependency graph is constructed throughout attribute evaluation – a technique we call Dynamic Attribute Dependency Analyses. The report illustrates RACR's motivation, features, instantiation and usage. In particular its application programming interface is documented and exemplified. The report is a reference manual for RACR developers. Further, it presents RACR’s complete implementation and therefore provides a good foundation for readers interested into the details of reference attribute grammar controlled rewriting and dynamic attribute dependency analyses.:1. Introduction 1.1. RACR is Expressive, Elegant, Ecient, Flexible and Reliable 1.2. Structure of the Manual 2. Library Overview 2.1. Architecture 2.2. Instantiation 2.3. API 3. Abstract Syntax Trees 3.1. Specification 3.2. Construction 3.3. Traversal 3.4. Node Information 4. Attribution 4.1. Specification 4.2. Evaluation and Querying 5. Rewriting 5.1. Primitive Rewrite Functions 5.2. Rewrite Strategies 6. AST Annotations 6.1. Attachment 6.2. Querying 7. Support API A. RACR Source Code B. MIT License API Index