Xem 1-20 trên 1024 kết quả Formalism
  • Formal Letter Writing How to Write Formal Letters Help with formal and business letter writing. A summary of writing rules including outlines for cover letters and letters of enquiry, and abbreviations used in letters.

    doc4p longxuyzel3001 03-03-2010 498 326   Download

  • A formal language: Is an abstraction of the general characteristics of programming languages. Consists of a set of symbols and some formation rules by which these symbols can be combined into sentences. Accepts input, produces output, may have some temporary storage, and can make decisions in transforming the input into the output.

    ppt34p iamok147 10-03-2011 169 74   Download

  • A basic problem that must be dealt with in order to build an intelligent tutoring system (ITS) in the domain of foreign language teaching is that of establishing what kind of grammatical knowledge has to be included in the domain expert module. Two basic options are possible: (i) to use a naive or pedagogical grammar, comprising knowledge derived from textbooks and school grammars or (ii) to use one of the formal grammars developed by theoretical and computational linguists.

    pdf6p buncha_1 08-05-2013 21 5   Download

  • Formal methods mathematical languages, techniques and tools, used to specify and verify systems, goal is help engineers construct more reliable systems. Introduction to Formal Methodspresents about introduction; formal specification; formalformal verificationverification; model checking; theorem proving.



    pdf29p ngkhacvu 22-05-2015 12 4   Download

  • Formal specification of agent behaviour through environment scenarios introduces a formal notation for the specification of scenario s in agent based systems. The autonomous and collaborative behavior of an agent can be formally specified by a set of rules describing its activity in various scenarios. The power of the approach is illustrated by the formal specification of maes.


    pdf15p namdmcist 24-05-2015 10 4   Download

  • The aim of this work is to present some preliminary results of an investigation in course on the typology of the morphology of the native South American languages from the point of view of the formal language theory. With this object, we give two contrasting examples of descriptions of two Aboriginal languages finite verb forms morphology: Argentinean Quechua (quichua santiague˜ o) and Toba.

    pdf6p hongdo_1 12-04-2013 29 3   Download

  • The paper investigates the problem of providing a formal device for the dependency approach to syntax, and to link it with a parsing model. After reviewing the basic tenets of the paradigm and the few existing mathematical results, we describe a dependency formalism which is able to deal with long-distance dependencies. Finally, we present an Earley-style parser for the formalism and discuss the (polynomial) complexity results.

    pdf7p bunrieu_1 18-04-2013 25 3   Download

  • Formal Specification provides mathematical specification; specification of programming languages; formal specification using diagrams; two rules; example Z specification language, algorithm; finite state machine; state transition diagram; state transition table; Z specification and some thing else.


    pdf31p ngkhacvu 22-05-2015 11 3   Download

  • Dominance links were introduced in grammars to model long distance scrambling phenomena, motivating the definition of multiset-valued linear indexed grammars (MLIGs) by Rambow (1994b), and inspiring quite a few recent formalisms. It turns out that MLIGs have since been rediscovered and reused in a variety of contexts, and that the complexity of their emptiness problem has become the key to several open questions in computer science.

    pdf11p hongdo_1 12-04-2013 19 2   Download

  • In contrast to many languages (like Russian or French), modern English does not distinguish formal and informal (“T/V”) address overtly, for example by pronoun choice. We describe an ongoing study which investigates to what degree the T/V distinction is recoverable in English text, and with what textual features it correlates. Our findings are: (a) human raters can label English utterances as T or V fairly well, given sufficient context; (b), lexical cues can predict T/V almost at human level. ...

    pdf6p hongdo_1 12-04-2013 19 2   Download

  • Minimal Recursion Semantics (MRS) is the standard formalism used in large-scale HPSG grammars to model underspecified semantics. We present the first provably efficient algorithm to enumerate the readings of MRS structures, by translating them into normal dominance constraints.

    pdf8p bunbo_1 17-04-2013 19 2   Download

  • This paper presents a restricted version of Set-Local Multi-Component TAGs Weir, 1988 which retains the strong generative capacity of Tree-Local MultiComponent TAG i.e. produces the same derived structures but has a greater derivational generative capacity i.e. can derive those structures in more ways. This formalism is then applied as a framework for integrating dependency and constituency based linguistic representations.

    pdf8p bunrieu_1 18-04-2013 11 2   Download

  • In what sense is a grammar the union of its rules? This paper adapts the notion of composition, well developed in the context of programming languages, to the domain of linguistic formalisms. We s t u d y alternative definitions for the semantics of such formalisms, suggesting a denotational semantics that we show to be compositional and fully-abstract. This facilitates a clear, mathematically sound way for defining g r a m m a r modularity.

    pdf8p bunrieu_1 18-04-2013 9 2   Download

  • A common feature of recent unificationbased g r a m m a r formalisms is that they give the user the ability to define his own structures. However, this possibility is mostly limited and does not include nonmonotonic operations. In this paper we show how nonmonotonic operations can also be user-defined by applying default logic (Reiter, 1980) and generalizing previous results on nonmonotonic sorts (Young and Rounds, 1993).

    pdf7p bunmoc_1 20-04-2013 16 2   Download

  • This paper describes a structure-sharing method for the representation of complex phrase types in a parser for PATR-[I, a unification-based g r a m m a r formalism. In parsers for unification-based grammar formalisms, complex phrase types are derived by incremental refinement of rite phrase types defined in grammar rules and lexical entries. In a naive implementation, a new phrase type is built by copying older ones and then combining the copies according to the constraints stated in a grammar rule. ...

    pdf8p bungio_1 03-05-2013 13 2   Download

  • In this paper1 we introduce eXtensible MetaGrammar, a system that facilitates the development of tree based grammars. This system includes both (1) a formal language adapted to the description of linguistic information and (2) a compiler for this language. It applies techniques of logic programming (e.g. Warren’s Abstract Machine), thus providing an efficient and theoretically motivated framework for the processing of linguistic metadescriptions.

    pdf4p bunthai_1 06-05-2013 12 2   Download

  • Informal and formal (“T/V”) address in dialogue is not distinguished overtly in modern English, e.g. by pronoun choice like in many other languages such as French (“tu”/“vous”). Our study investigates the status of the T/V distinction in English literary texts. Our main findings are: (a) human raters can label monolingual English utterances as T or V fairly well, given sufficient context; (b), a bilingual corpus can be exploited to induce a supervised classifier for T/V without human annotation.

    pdf11p bunthai_1 06-05-2013 20 2   Download

  • We present an operable definition of focus which is argued to be of a cognito-pragmatic nature and explore how it is determined in discourse in a formalized manner. For this purpose, a file card model of discourse model and knowledge store is introduced enabling the decomposition and formal representation of its determination process as a programmable algorithm (FDA).

    pdf4p bunthai_1 06-05-2013 18 2   Download

  • This paper presents an algorithm for the compilation of regular formalisms with rule features into finite-state automata. Rule features are incorporated into the right context of rules. This general notion can also be applied to other algorithms which compile regular rewrite rules into automata.

    pdf8p bunthai_1 06-05-2013 14 2   Download

  • The paper introduces a grammar formalism for defining the set of sentences in a language, a set of labeled trees (not the derivation trees of the grammar) for the representation of the interpretation of the sentences, and the (possibly non-projective) correspondence between subtrees of each tree and substrings of the related sentence. The grammar formalism is motivated by the linguistic approach (adopted at GETA) where a multilevel interpretative structure is associated to a sentence.

    pdf7p buncha_1 08-05-2013 16 2   Download


Đồng bộ tài khoản