Log in

Relevant bibliographies by topics / Formal language generation / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Formal language generation.

Dissertations / Theses on the topic 'Formal language generation'

Author: Grafiati

Published: 3 June 2025

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 23 dissertations / theses for your research on the topic 'Formal language generation.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Schulze, Walter. "A formal language theory approach to music generation." Thesis, Stellenbosch : University of Stellenbosch, 2010. http://hdl.handle.net/10019.1/4157.

Full text

Abstract:

Thesis (MSc (Mathematical Sciences))-- University of Stellenbosch, 2010.<br>ENGLISH ABSTRACT: We investigate the suitability of applying some of the probabilistic and automata theoretic ideas, that have been extremely successful in the areas of speech and natural language processing, to the area of musical style imitation. By using music written in a certain style as training data, parameters are calculated for (visible and hidden) Markov models (of mixed, higher or first order), in order to capture the musical style of the training data in terms of mathematical models. These models are

APA, Harvard, Vancouver, ISO, and other styles

2

Kamath, Roshan. "Type-Safety Obligation Generation in Rosetta." University of Cincinnati / OhioLINK, 2002. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1026494806.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Adam, Laura. "Mapping Genotype to Phenotype using Attribute Grammar." Diss., Virginia Tech, 2013. http://hdl.handle.net/10919/51768.

Full text

Abstract:

Over the past 10 years, several synthetic biology research groups have proposed tools and domain-specific languages to help with the design of artificial DNA molecules. Community standards for exchanging data between these tools, such as the Synthetic Biology Open Language (SBOL), have been developed. It is increasingly important to be able to perform in silico simulation before the time and cost consuming wet lab realization of the constructs, which, as technology advances, also become in themselves more complex. By extending the concept of describing genetic expression as a language, we prop

APA, Harvard, Vancouver, ISO, and other styles

4

Hadjadj, Mohammed. "Modélisation de la Langue des Signes Française : Proposition d’un système à compositionalité sémantique." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLS560/document.

Full text

Abstract:

La reconnaissance de la langue des signes française (LSF) comme une langue à part entière en 2005 a créé un besoin important de développement d’outils informatiques pour rendre l’information accessible au public sourd. Dans cette perspective, cette thèse a pour cadre la modélisation linguistique pour un système de génération de la LSF. Nous présentons dans un premier temps les différentes approches linguistiques ayant pour but la description linguistique des langues des signes (LS). Nous présentons ensuite les travaux effectués en informatique pour les modéliser.Dans un deuxième temps, nous pr

APA, Harvard, Vancouver, ISO, and other styles

5

Miyazawa, Alvaro Heiji. "Geração parcial de código Java a partir de especificações formais Z." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/45/45134/tde-02112008-224245/.

Full text

Abstract:

Especificações formais são úteis para descrever o que um sistema deve fazer sem definir como, e, em virtude da sua natureza formal e da possibilidade de abstração, é possível analisá-las sistematicamente. No entanto, o uso de especificações formais como parte do desenvolvimento de software não constitui prática comum. Isso se dá, em parte, pelo fato de existirem apenas um pequeno número de metodologias e ferramentas adequadas que dêem suporte a esse desenvolvimento. O primeiro objetivo deste trabalho é propor uma metodologia de desenvolvimento que possibilite, a partir de uma especificação for

APA, Harvard, Vancouver, ISO, and other styles

6

Antunes, Cleverton Hentz. "Gera??o autom?tica de testes a partir de descri??es de linguagens." Universidade Federal do Rio Grande do Norte, 2010. http://repositorio.ufrn.br:8080/jspui/handle/123456789/18004.

Full text

Abstract:

Made available in DSpace on 2014-12-17T15:47:51Z (GMT). No. of bitstreams: 1 ClevertonHA.pdf: 1775580 bytes, checksum: 9e49f67c9b7fbb459e2b24f568db691b (MD5) Previous issue date: 2010-03-01<br>Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior<br>Some programs may have their entry data specified by formalized context-free grammars. This formalization facilitates the use of tools in the systematization and the rise of the quality of their test process. This category of programs, compilers have been the first to use this kind of tool for the automation of their tests. In this work we

APA, Harvard, Vancouver, ISO, and other styles

7

Dieumegard, Arnaud. "Formal Guaranties for Safety Critical Code Generation : the Case of Highly Variable Languages." Thesis, Toulouse, INPT, 2015. http://www.theses.fr/2015INPT0016/document.

Full text

Abstract:

Les fonctions de commande et de contrôle sont parmi les plus importantes des systèmes embarqués critiques utilisés dans des activités telles les transports, la santé ou la gestion de l’énergie. Leur impact potentiel sur la sûreté de fonctionnement fait de la vérification de leur correction l’un des points les plus critiques de leur développement. Cette vérification est usuellement effectuée en accord avec les normes de certification décrivant un ensemble d’objectifs à atteindre afin d’assurer un haut niveau de qualité du système et donc de prévenir l’apparition de défauts. Cette vérification d

APA, Harvard, Vancouver, ISO, and other styles

8

Kyjovská, Linda. "Syntaktická analýza založená na multigenerování." Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2008. http://www.nusl.cz/ntk/nusl-235439.

Full text

Abstract:

This work deals with syntax analysis problems based on multi-generation. The basic idea is to create computer program, which transforms one input string to n -1 output strings. An Input of this program is some plain text file created by user, which contains n grammar rules. Just one grammar from the input file is marked as an input grammar and others n -1 grammars are output grammars. This program creates list of used input grammar rules for an input string and uses corresponding output grammar rules for the creation of n -1 output strings. The program is written in C++ and Bison

APA, Harvard, Vancouver, ISO, and other styles

9

Bourreau, Pierre. "Jeux de typage et analyse de lambda-grammaires non-contextuelles." Phd thesis, Université Sciences et Technologies - Bordeaux I, 2012. http://tel.archives-ouvertes.fr/tel-00733964.

Full text

Abstract:

Les grammaires catégorielles abstraites (ou λ-grammaires) sont un formalisme basé sur le λ-calcul simplement typé. Elles peuvent être vues comme des grammaires générant de tels termes, et ont été introduites aﬁn de modéliser l'interface entre la syntaxe et la sémantique du langage naturel, réunissant deux idées fondamentales : la distinction entre tectogrammaire (c.a.d. structure profonde d'un énoncé) et phénogrammaire (c.a.d représentation de la surface d'un énoncé) de la langue, exprimé par Curry ; et une modélisation algébrique du principe de compositionnalité aﬁn de rendre compte de la sém

APA, Harvard, Vancouver, ISO, and other styles

10

Slama, Franck. "Automatic generation of proof terms in dependently typed programming languages." Thesis, University of St Andrews, 2018. http://hdl.handle.net/10023/16451.

Full text

Abstract:

Dependent type theories are a kind of mathematical foundations investigated both for the formalisation of mathematics and for reasoning about programs. They are implemented as the kernel of many proof assistants and programming languages with proofs (Coq, Agda, Idris, Dedukti, Matita, etc). Dependent types allow to encode elegantly and constructively the universal and existential quantifications of higher-order logics and are therefore adapted for writing logical propositions and proofs. However, their usage is not limited to the area of pure logic. Indeed, some recent work has shown that they

APA, Harvard, Vancouver, ISO, and other styles

11

Faria, Pablo 1978. "Um modelo computacional de aquisição de primeira língua." [s.n.], 2013. http://repositorio.unicamp.br/jspui/handle/REPOSIP/268869.

Full text

Abstract:

Orientadores: Ruth Elisabeth Vasconcellos Lopes, Charlotte Marie Chamberlland Galves<br>Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem<br>Made available in DSpace on 2018-08-24T00:21:30Z (GMT). No. of bitstreams: 1 Faria_Pablo_D.pdf: 2488292 bytes, checksum: c75ee78601e9b73c790d12ce7e2d414e (MD5) Previous issue date: 2013<br>Resumo: Neste trabalho, o fenômeno de aquisição de uma língua natural é investigado através de uma modelagem computacional. O aprendiz modelado - apelidado de IASMIM - se caracteriza como um modelo computacional integrado de aquis

APA, Harvard, Vancouver, ISO, and other styles

12

Chen, Zhe. "The control system in formal language theory and the model monitoring approach for reliability and safety." Thesis, Toulouse, INSA, 2010. http://www.theses.fr/2010ISAT0014/document.

Full text

Abstract:

Cette thèse contribue à l’étude de la fiabilité et de la sécurité-innocuité des systèmes informatisés, modélisés par des systèmes à événements discrets. Les principales contributions concernent la théorie des Systèmes de Contrôle (notés C Systems) et l’approche par Monitoring des modèles.Dans la première partie de la thèse, nous étudions la théorie des Systèmes de Contrôle qui combine et étend de façon significative, les systèmes de réécriture de la théorie des langages et le contrôle supervisé. Un système de contrôle est une structure générique qui contient deux composants : le composant cont

APA, Harvard, Vancouver, ISO, and other styles

13

CARVALHO, Gustavo Henrique Porto de. "NAT2TEST: generating test cases from natural language requirements based on CSP." Universidade Federal de Pernambuco, 2016. https://repositorio.ufpe.br/handle/123456789/17929.

Full text

Abstract:

Submitted by Natalia de Souza Gonçalves (natalia.goncalves@ufpe.br) on 2016-09-28T12:33:15Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) GustavoHPCarvalho_Doutorado_CInUFPE_2016.pdf: 1763137 bytes, checksum: aed7b3ab2f6235757818003678633c9b (MD5)<br>Made available in DSpace on 2016-09-28T12:33:15Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) GustavoHPCarvalho_Doutorado_CInUFPE_2016.pdf: 1763137 bytes, checksum: aed7b3ab2f6235757818003678633c9b (MD5) Previous issue date: 2016-02-26

APA, Harvard, Vancouver, ISO, and other styles

14

Mayer, Rosirene. "A linguagem de Oscar Niemeyer." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2003. http://hdl.handle.net/10183/6693.

Full text

Abstract:

Este trabalho tem como objetivo a descrição dos elementos que caracterizam a singularidade da linguagem arquitetônica de Oscar Niemeyer. Argumenta que a identificação de tais elementos passa pelo escrutínio de aspectos não visíveis da obra do arquiteto. A identificação foi possível a partir da análise de edifícios caracterizados pelo perfil curvilíneo e da construção de um modelo que associa os elementos compositivos utilizados por Niemeyer a uma Gramática de Formas. A utilização do modelo possibilitou revelar os princípios generativos - conjunto de regras, vocabulário e relações geométricas –

APA, Harvard, Vancouver, ISO, and other styles

15

Din, Edouard Denis. "Emergent symmetries a group theoretic analysis of an exemplar of late modernism: the smith house by Richard Meier /." Diss., Atlanta, Ga. : Georgia Institute of Technology, 2008. http://hdl.handle.net/1853/24694.

Full text

Abstract:

Thesis (M. S.)--Architecture, Georgia Institute of Technology, 2009.<br>Committee Chair: Economou, Athanassios; Committee Co-Chair: Eastman, Charles; Committee Member: Do, Ellen; Committee Member: Knight, Terry; Committee Member: Peponis, John

APA, Harvard, Vancouver, ISO, and other styles

16

Zemek, Petr. "Jednostranné gramatiky s nahodilým kontextem." Doctoral thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2014. http://www.nusl.cz/ntk/nusl-261236.

Full text

Abstract:

Tato disertační práce zavádí jednostranné gramatiky s nahodilým kontextem jako řízené gramatiky založené na bezkontextových gramatikách. V těchto gramatikách je ke každému pravidlu přiřazena množina povolujících symbolů a množina zakazujících symbolů a množina pravidel je rozdělena na množinu levých pravidel s nahodilým kontextem a množinu pravých pravidel s nahodilým kontextem . Levým pravidlem s nahodilým kontextem lze přepsat neterminál pokud se všechny povolující symboly vyskytují vlevo od přepisovaného neterminálu a žádný zakazující symbol tam přítomen není. Pravé pravidlo s nahodilým kon

APA, Harvard, Vancouver, ISO, and other styles

17

Scarlato, Michele. "Sicurezza di rete, analisi del traffico e monitoraggio." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2012. http://amslaurea.unibo.it/3223/.

Full text

Abstract:

Il lavoro è stato suddiviso in tre macro-aree. Una prima riguardante un'analisi teorica di come funzionano le intrusioni, di quali software vengono utilizzati per compierle, e di come proteggersi (usando i dispositivi che in termine generico si possono riconoscere come i firewall). Una seconda macro-area che analizza un'intrusione avvenuta dall'esterno verso dei server sensibili di una rete LAN. Questa analisi viene condotta sui file catturati dalle due interfacce di rete configurate in modalità promiscua su una sonda presente nella LAN. Le interfacce sono due per potersi interfacciar

APA, Harvard, Vancouver, ISO, and other styles

18

Farinha, Diogo Miguel Hortêncio. "Automatic generation of descriptions for Prolog programs." Master's thesis, 2019. http://hdl.handle.net/10071/20938.

Full text

Abstract:

It is often hard for students and newcomers used to imperative languages to learn a declarative language such as Prolog. One of their main difficulties is understanding the procedural component of Prolog. Despite being a declarative language, Prolog allows for the creation of procedures whose structure is very different from the more common imperative languages. To tackle this issue, we try to facilitate code comprehension of procedural Prolog through the generation of formal and natural descriptions. First, we represent the workflow of Prolog encoded procedures through formal descriptio

APA, Harvard, Vancouver, ISO, and other styles

19

Safla, Aslam. "Representation of regular formal languages." Thesis, 2014. http://hdl.handle.net/10413/10712.

Full text

Abstract:

This dissertation presents three different approaches to representing Regular Formal languages, i.e., regular expressions, finite acceptors and regular grammars. We define how each method is used to represent the language, and then the method for translating from one representation to another of the language. A toolkit is then presented which allows the user to input their definition of a language using any of the three models, and also allows the user to translate the representation of the language from one model to another.<br>Thesis (M.Sc.)-University of KwaZulu-Natal, Pitermaritzburg, 2014

APA, Harvard, Vancouver, ISO, and other styles

20

Irfan, Zeeshan. "Generating Formal Representations of System Specification from Natural Language Requirements." 2019. https://monarch.qucosa.de/id/qucosa%3A72329.

Full text

Abstract:

Natural Language (NL) requirements play a significant role in specifying the system design, implementation and testing processes. Nevertheless, NL requirements are generally syntactically ambiguous and semantically inconsistent. Issues with NL requirements can result into inaccurate and preposterous system design, implementation and testing. Moreover, informal nature of NL is a major hurdle in machine processing of system requirements specifications. To confront this problem, a requirement template is introduced, based on controlled NL to produce deterministic and consistent representation of

APA, Harvard, Vancouver, ISO, and other styles

21

Dieumegard, Arnaud. "Formal Guarantees for Safety Critical Code Generation: the Case of Highly Variable Languages." Phd thesis, 2015. http://oatao.univ-toulouse.fr/14265/1/Dieumegard.pdf.

Full text

Abstract:

Control and command softwares play a key role in safety-critical embedded systems used for human related activities such as transportation, healthcare or energy. Their impact on safety makes the assessment of their correctness the central point in their development activities. Such systems verification activities are usually conducted according to normative certification guidelines providing objectives to be reached in order to ensure development process reliability and thus prevent flaws. Verification activities usually relies on tests and proof reading of the software but recent versions of

APA, Harvard, Vancouver, ISO, and other styles

22

"A 3D ting tang generator, with thoughts on implementing analytical shape grammar." 2005. http://library.cuhk.edu.hk/record=b5892517.

Full text

Abstract:

Wang Yang.<br>Thesis (M.Phil.)--Chinese University of Hong Kong, 2005.<br>Includes bibliographical references (leaves 80-81).<br>Abstracts in English and Chinese.<br>Abstract --- p.i<br>摘要 --- p.iii<br>Table of Contents --- p.iv<br>List of figures --- p.v<br>Introduction --- p.1<br>Structuring analytical shape grammar --- p.1<br>Shape grammar implementation --- p.5<br>3D ting tang generator --- p.7<br>Chapter Chapter 1 --- Shape grammar: written grammar and implementations --- p.11<br>Shape grammar --- p.11<br>Written grammars --- p.12<br>Analytical grammars --- p.13<br>Shape gramm

APA, Harvard, Vancouver, ISO, and other styles

23

Little, Richard. "Intensional Context-Free Grammar." Thesis, 2013. http://hdl.handle.net/1828/5120.

Full text

Abstract:

The purpose of this dissertation is to develop a new generative grammar, based on the principles of intensional logic. More specifically, the goal is to create a psychologically real grammar model for use in natural language processing. The new grammar consists of a set of context-free rewrite rules tagged with intensional versions. Most generative grammars, such as transformational grammar, lexical functional-grammar and head-driven phrase structure grammar, extend traditional context-free grammars with a mechanism for dealing with contextual information, such as subcategorization of words a

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!