Увійти

Готові списки джерел за темами / Formal language generation / Дисертації

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Formal language generation.

Дисертації з теми "Formal language generation"

Автор: Grafiati

Опубліковано: 3 червня 2025

Оновлено: 31 липня 2025

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-23 дисертацій для дослідження на тему "Formal language generation".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте дисертації для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

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

Повний текст джерела

Анотація:

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 та ін.

2

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

3

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

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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/.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

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/.

Повний текст джерела

Анотація:

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 та ін.

18

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

Повний текст джерела

Анотація:

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 та ін.

19

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

Повний текст джерела

Анотація:

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 та ін.

20

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

Повний текст джерела

Анотація:

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 та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

22

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

Повний текст джерела

Анотація:

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 та ін.

23

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

Повний текст джерела

Анотація:

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 та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!