68,348 Hits in 7.7 sec

An Introduction to the Formalism of Quantum Information [article]

Carlos Navarrete-Benlloch
2015 arXiv   pre-print
I have written these notes as an introduction to the formalism of quantum information, trying to show how it is a natural progression from an undergraduate course on quantum mechanics (just as I felt it  ...  They do not intend to be an exhaustive review about the field, but just a logical sequence of ideas, concepts and definitions, building up towards the continuous variables formalism, which actually takes  ...  Introduction to the notes .  ... 
arXiv:1504.05270v1 fatcat:x5mqh772hzajfaiuhhrppm7pxq

Yet another meta-language for programming language processing

Haiming Chen, Yunmei Dong
2002 SIGPLAN notices  
The formal specification language LFC was designed to support formal specification acquisition. However, it is yet suited to be used as a meta~language for specifying programming language processing.  ...  This paper introduces LFC as a met~language, and compares it with ASF--I-SDF, an algebraic specification formalism that can also be used to programming languages.  ...  Acknowledgements The experiments described in Section 4 were carried out by Zhanyong Wan, Ziming Chen and Lin Wang.  ... 
doi:10.1145/571727.571733 fatcat:n7wytybikjfvrnl3jydwpntssm

Language as a Cognitive Process

M. Laver
1983 Computer journal  
Also included are a procedure for producing a grammar from an equivalent network and some thoughts about the choice of the power of grammars for natural language processing.  ...  The introduction to systemic grammar has probably never been formulated as precisely and formally as in this book.  ... 
doi:10.1093/comjnl/26.4.381 fatcat:fbyb4dtcije65bak72va46o3tu

Patterns of Language - A Population Model for Language Structure [article]

Robert John Freeman
1996 arXiv   pre-print
A key problem in the description of language structure is to explain its contradictory properties of specificity and generality, the contrasting poles of formulaic prescription and generative productivity  ...  I argue that this is possible if we accept analogy and similarity as the basic mechanisms of structural definition.  ...  Formal Grammar My intention in this paper is simply to support the assertion that it is possible to specify language structure in terms of form alone, but it is a little hard to see how such a definition  ... 
arXiv:cmp-lg/9608004v1 fatcat:ezcpe7cxbfbmfee5bmaotmhnua

Context-Free Language Theory Formalization [article]

Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz
2015 arXiv   pre-print
The results obtained so far include the formalization of closure properties for context-free grammars (under union, concatenation and closure) and the formalization of grammar simplification.  ...  Grammar simplification is a subject of high importance in computer language processing technology as well as in formal language theory, and the formalization refers to the fact that general context-free  ...  Formalization The definition of a context-free grammar allows for the inclusion of symbols and rules that might not contribute to the language being generated.  ... 
arXiv:1505.00061v1 fatcat:kqugpa34jvcjlpdomfabtdl2aq

Taxonomy of XML schema languages using formal language theory

Makoto Murata, Dongwon Lee, Murali Mani, Kohsuke Kawaguchi
2005 ACM Transactions on Internet Technology  
This scenario is appropriate for programming languages and natural languages, where programs and natural language text are strings rather than trees.  ...  On the other hand, start tags and end tags in an XML document collectively represent a tree.  ...  Introduction XML is a meta language for creating markup languages.  ... 
doi:10.1145/1111627.1111631 fatcat:np3lygcjzvdehldu5bultfctlq

Formal Grammars of Early Language [chapter]

Shuly Wintner, Alon Lavie, Brian MacWhinney
2009 Lecture Notes in Computer Science  
We propose to model the development of language by a series of formal grammars, accounting for the linguistic capacity of children at the very early stages of mastering language.  ...  We describe a set of grammars which account for this child's utterances between the ages 1;8.02 and 2;0.30.  ...  This work was supported in part by the National Science Foundation under grant IIS-0414630. We are grateful to Eric Davis for his invaluable help.  ... 
doi:10.1007/978-3-642-01748-3_14 fatcat:27p3wytrhrewlgtmvnyt7qa4wi

E-Assessment System Based on Natural Language Processing for Arabic Language

2015 International Journal of Computer Trends and Technology  
In this paper, we focus on the application of Natural Language Processing (NLP) in an e-assessment system for Arabic language.  ...  In this paper we describe, firstly the building of a lexicon of Arabic language using the Head Driven phrase Structure Grammar (HPSG) formalism.  ...  We start by presenting an overview for the HPSG formalism and some specific features of the Arabic language at the morphological and syntactic level which are the sources of difficulties and ambiguities  ... 
doi:10.14445/22312803/ijctt-v19p117 fatcat:embeavfckrbitj6jcokuut62ui

Elements of Formal Languages [chapter]

Alan P. Parkes
2002 Introduction to Languages, Machines and Logic  
0g}: Rules for Generating Languages We have seen how to describe formal languages by providing set definitions and we have encountered the notion of a decision program for a language.  ...  We saw above how one example language could be processed by an extremely simple decision program. Much of this book is devoted to investigating the computational nature of formal languages.  ...  Notice how, in Table 2 .14, the grammar replaces each A in the sentential form AABBBC by H, and each time it does this it places one c at the rightmost end for each B.  ... 
doi:10.1007/978-1-4471-0143-7_2 fatcat:xs57pzpgxzf7vfzqulknabksz4

Natural language processing and logic programming

Veronica Dahl
1994 The Journal of Logic Programming  
This paper examines the main points of contact between logic programming and natural language processing, and covers some of the important issues that arise using logic programming techniques in natural  ...  It emphasizes the importance of taking into account the most general analyses from linguistic theory in building NLP systems, while also pointing out the need to adapt and combine the different theories  ...  For instance, DCSGs [ 1 lo], a DCG-like formalism for free word order languages in which grammar rules are viewed as definitions for set conversions, has applications to general problem solving as well  ... 
doi:10.1016/0743-1066(94)90036-1 fatcat:txdqkmwyvjgmfjtn6yt2dpwr4a

Language Learning and Language Universals

Jeffrey Lidz
2010 Biolinguistics  
This paper explores the role of learning in generative grammar, highlighting interactions between distributional patterns in the environment and the innate structure of the language faculty.  ...  Reviewing three case studies, it is shown how learners use their language faculties to leverage the environment, making inferences from distributions to grammars that would not be licensed in the absence  ...  A wide range of studies with infants, children and adults have demonstrated their ability to track statistical features of an artificial language and to use these features to learn generalizations about  ... 
doaj:ed2a8525d85f453f9d41921812ec7e77 fatcat:i3y6lwxjxrejtmhjv367kkeetu

The semantics of grammar formalisms seen as computer languages

Fernando C. N. Pereira, Stuart M. Shieber
1984 Proceedings of the 22nd annual meeting on Association for Computational Linguistics -  
We find that the mathematical structures developed for this purpose contain an operation of feature generalization, not available in those grammar formalisms, that can be used to give a partial account  ...  The design, implementation, and use of grammar forma]isms for natural language have constituted a major branch of coml)utational linguistics throughout its development.  ...  On the basis of these insights alone, it should be clear that the view of grammar formalisms as programming languages offers considerable potential for investigation.  ... 
doi:10.3115/980491.980518 dblp:conf/coling/PereiraS84 fatcat:i3y54kytcjai7nzlo4lj5ct5ju

Recognizing Shuffled Languages [chapter]

Martin Berglund, Henrik Björklund, Johanna Högberg
2011 Lecture Notes in Computer Science  
The work presented in this thesis discusses various formalisms for representing the addition of order-controlling and order-relaxing mechanisms to existing formal language models.  ...  I also appreciate the help of the rest of the Formal and Natural Languages group at the Umeå University Computer Science department, and many others at the department and university.  ...  Preface This thesis consists of an introduction which discusses some different language formalisms in the field of formal languages, touches upon some of their properties and their relations to each other  ... 
doi:10.1007/978-3-642-21254-3_10 fatcat:xeyfttuokffwxpefqp5asb7gfm

Language extension and composition with language workbenches

Markus Völter, Eelco Visser
2010 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10  
In this tutorial, we give an introduction to the state of the art in textual DSLs and language workbenches.  ...  To count as a language workbench, a tool needs to satisfy basic requirements for the integrated definition of syntax, semantics, and editor services, and preferably also support language extension and  ...  Spoofax uses the modular syntax definition formalism SDF2 [4, 8] for the specification of grammars.  ... 
doi:10.1145/1869542.1869623 dblp:conf/oopsla/VolterV10 fatcat:fz6m5u7b3ff2pmyq6yqyyh3nlu

Natural-language Scenario Descriptions for Testing Core Language Models of Domain-Specific Languages

Bernhard Hoisl, Stefan Sobernig, Mark Strembeck
2014 Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development  
To demonstrate the feasibility of our approach, we used Eclipse Xtext to implement a requirements language for the definition of semi-structured scenarios.  ...  In our approach, domain experts and DSML engineers specify requirements via structured natural-language scenarios.  ...  Centers for Excellent Technologies (COMET K1) initiative and the FIT-IT program.  ... 
doi:10.5220/0004713703560367 dblp:conf/modelsward/HoislSS14 fatcat:bvdqifkzu5cafkam3rwbbxul4q
« Previous Showing results 1 — 15 out of 68,348 results