intTypePromotion=1
zunia.vn Tuyển sinh 2024 dành cho Gen-Z zunia.vn zunia.vn
ADSENSE

Formal languages

Xem 1-17 trên 17 kết quả Formal languages
  • The study "A genre analysis of abstracts of MA theses in English Linguistics" explores to what extent the Vietnamese learners of English as a foreign language (EFL) apply the knowledge that they have formally learned in the Writing and the Doing scientific research courses to writing their MA graduation theses; the focus is on the abstract. From the perspective of genre analysis, this study aims to describe the structural features of this genre. Data for the investigation is 30 abstracts bounded in the master theses written in English by Vietnamese learners.

    pdf11p xuanphongdacy09 29-09-2024 1 1   Download

  • This paper deals with the problem of handling semantic heterogeneity during schema integration. We present an approach on the basis of formal ontologies presented in a logical language to identification of relationship between different local schemas. Semantic similarity relations between definitions in formal ontologies are defined, verified and used for merging formal ontologies. It is found that the result of the merging process can be used for global schema generation.

    pdf7p binhminhmuatrenngondoithonggio 09-06-2017 38 3   Download

  • In this chapter we discuss the two formal languages for the relational model: the relational algebra and the relational calculus. The main contents in this chapter include: Example database application (COMPANY), overview of the QBE language (appendix D),...

    pdf53p kiepnaybinhyen_04 15-12-2015 52 3   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 40 4   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 71 6   Download

  • This paper describes a model of syntactical analysis. It shows first how a context-free grammar formalism can be modified in order to reduce the number of rules required by a natural language, and second, how this formalism can be extended to the handling of some non-contextfree phenomena. The description of the algorithm is also given.

    pdf11p nghetay_1 06-04-2013 39 2   Download

  • A summary is presented of some results in the literature concerning the generative powers of various formal grammars. The relative generative powers are displayed graphically.I. Introduction Many forms of grammars have been proposed in the study of such related language problems as mechanical translation, computer languages, mathematical linguistics, and the more general characterizations of natural languages.

    pdf5p nghetay_1 06-04-2013 40 2   Download

  • The time has come when well-organized and thoroughly worked out transfer grammars should be developed. Such a grammar should be composed of formal statements equating the construction-types of the input language with those of the output language and indicating the appropriate transformations which must be made to produce the target language constructions.

    pdf9p nghetay_1 06-04-2013 68 2   Download

  • Up to this point we have seen: Classical Crypto Symmetric Crypto Asymmetric Crypto These systems have focused on issues of confidentiality: Ensuring that an adversary cannot infer the original plaintext message, or cannot learn any information about the original plaintext from the ciphertext. In today’s lecture we will put a more formal framework around the notion of what information is, and use this to provide a definition of security from an information-theoretic point of view.

    ppt24p muathu_102 28-01-2013 72 6   Download

  • ĐỀ THI ANH VĂN ĐỀ SỐ 1 SECTION 1: Language usage 1. In the long term ……….is due to increase in the price of raw materials. This is the situation where prices rise to keep up with increased production cost. a. devaluation b. inflation c. recession d. crisis 2. In a accordance with our usual terms, payment will be by …………This is a letter from a bank authorizing payment of a certain sum to a person or a company. a. cheque b. banker’s draft c. letter of credit d. cash on delivery 3. We enclose our……….., which is a formal request for...

    pdf9p meomap8 21-12-2011 79 8   Download

  • Chương 7 của bộ Slide tiếng Anh môn học lý thuyết automata và ngôn ngữ hình thức đầy đủ của trường ĐHBK TP.HCM. Bộ Slide này có tổng cộng 7 chương.

    ppt35p levanphong7887 15-04-2011 98 19   Download

  • Chương 6 của bộ Slide tiếng Anh môn học lý thuyết automata và ngôn ngữ hình thức đầy đủ của trường ĐHBK TP.HCM. Bộ Slide này có tổng cộng 7 chương.

    ppt38p levanphong7887 15-04-2011 75 15   Download

  • Chương 4 của bộ Slide tiếng Anh môn học lý thuyết automata và ngôn ngữ hình thức đầy đủ của trường ĐHBK TP.HCM. Bộ Slide này có tổng cộng 7 chương.

    ppt33p levanphong7887 15-04-2011 81 13   Download

  • Chương 3 của bộ Slide tiếng Anh môn học lý thuyết automata và ngôn ngữ hình thức đầy đủ của trường ĐHBK TP.HCM. Bộ Slide này có tổng cộng 7 chương.

    ppt50p levanphong7887 15-04-2011 115 16   Download

  • Chương 1 của bộ Slide tiếng Anh môn học lý thuyết automata và ngôn ngữ hình thức đầy đủ của trường ĐHBK TP.HCM. Bộ Slide này có tổng cộng 7 chương.

    ppt31p levanphong7887 15-04-2011 117 14   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 198 75   Download

  • Đại số quan hệ được dùng để giải thích các truy vấn SQL được đánh giá như thế nào. DBMS thường dùng đại số quan hệ như ngôn ngữ trung gian bậc cao dùng để dịch query trước khi tối ưu hóa thực thi. Xét về mặt khái niệm, thì SQL lại dựa vào 1 ngôn ngữ truy vấn chính quy hoàn toàn khác (formal query language). Relational calculus (phép tính quan hệ).

    ppt33p thienthanoze 31-10-2010 398 89   Download

CHỦ ĐỀ BẠN MUỐN TÌM

ADSENSE

nocache searchPhinxDoc

 

Đồng bộ tài khoản
2=>2