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.
11p 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.
7p 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),...
53p 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.
15p 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.
29p 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.
11p 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.
5p 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.
9p 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.
24p 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...
9p 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.
35p 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.
38p 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.
33p 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.
50p 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.
31p 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.
34p 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ệ).
33p thienthanoze 31-10-2010 398 89 Download