What formal languages can be attributed? Examples of usage

Date:

2019-05-28 12:20:24

Views:

813

Rating:

1Like 0Dislike

Share:

Table of contents:

What is the formal language and how it differs from the natural? How it was formed? What formal languages can be attributed? And what is its designation?

Characteristics of formal languages

formal languages can be attributedThe So called group of artificial languages, which are characterized by precise rules for constructing expressions, and also understanding them. Formal languages include systems used for application purposes. They are built with adherence to strict rules, provide a consistent, compact and accurate representation of the relations and properties of the studied subject area, or simulated objects. The value and meaning of the characters used cannot change from some of the pragmatic aspects (context of use). This is possible due to the presence of a formal rule-based languages syntactic transformations and semantic interpretation. Often they are constructed for use as a base of mathematics. Due to the fact that it is, on the whole interval of development, using different symbolic notation applied to different concepts and objects. That's why the need for formal languages. They significantly reduce the data. Before along with used formal and natural languages, but with a gradual complication of the subject and the need to make rigorous logical analysis of mathematical judgments, it was decided to abandon the latter. This process stretched from the XVII to XX century. It is the past century is considered to be the most fruitful from the point of development of formal languages. Was created a variety of special branch. So, for computer science of particular importance are programming languages and logic algebra, not only from a theoretical but also from a practical point of view.

Definition

formal languages appliesWhat formal languages can be attributed, we have already briefly explained. But what can we say about them? Formal languages are given many different definitions. To list them all would take a long time, so take a look at the most popular:

  1. A Simple list of words included in the language – usually say regarding the end of build type and about those that have a simple structure.
  2. Words generated by a specific formal grammar.
  3. Structure, created regular expressions.
  4. Word generated by the BNF-design.
  5. Structure, recognizable by finite automata.

Let's look at an example. Let's say we have the whole alphabet, specified by two digits: 1 and 0. To display the letter “On” we use a combination of 1010001. This is the use of formal language. It is also possible to use empty words (when the string has zero length, and there's nothing in it) with special designation in the usual form. But more details to understand what formal language will help 4 examples that will be presented next. What does it do? So that the reader had an understanding that formal languages can be attributed. But a little more about how they are created.

Recommended

"Knowledge is light and ignorance is darkness": the value, meaning and alternatives

There are some sayings that would seem to need no explanation, such as “teaching & ndash; light and ignorance – darkness”. But some still do not understand their meaning. But not only for such people is written by our article. I...

What was invented by Mendeleev for the army. The history and fate of the invention

What was invented by Mendeleev for the army. The history and fate of the invention

D. I. Mendeleev was a brilliant Russian scientist-polymath, who made many important discoveries in various fields of science and technology. Many people know that he is the author of “Fundamentals of chemistry" and the periodic law of chem...

The origin of the Slavs. The influence of different cultures

The origin of the Slavs. The influence of different cultures

Slavs (under this name), according to some researchers, appeared in the story only in 6 century ad. However, the language of nationality bears the archaic features of the Indo-European community. This, in turn, suggests that the origin of the Slavs h...

Designing formal languages

why do we need formal languagesEvery formal language is a construct that was created once by someone. It is generally constructed on the same scheme:

  1. First choose the alphabet or some set of specific characters of which will be to build expressions used in the language. Formal language is any method of programming by computer.
  2. Describes the syntax, that is, the characteristics and rules, which will be constructed meaningful sentences.
  3. According to certain rules composed of words and expressions. Here is the rule: any sequence of letters should be able to be considered a word.

A formal language is any design that has clear rules – keep in mind. When building there are some features. Thus, the concept of “character” very versatile from the point of view of meaning, therefore, in the mass, use the term “letter”. But beneath them can understand not only a common symbol in parentheses, special characters and much more. This applies only to formal languages.

Example 1

Let's start with 1 and 0. In such cases, use the concept of the “term” and “formula”. The first acts as the analogue of an object name and is used to refer to something specific. First and foremost, know them constants and object variables. Of them, in turn, build more complex structures, what is used in some language function. Under the formula, understand group of term, which in a certain programming language is possible. This “” will be processed, and the person will get the desired result.

Example 2

where to apply formal languagesConsider the example of logic in which there is an inversion (¬), disjunction(∧), conjunction(∨) and implication ( → ) and several others. As images can result in these records:

  1. And;
  2. And∧ ⇒ ¬
  3. ¬(And∨ and¬)

As symbols And substitute variables and you will get a logical operations. Where applicable, formal languages of this type?The widespread use of such mechanisms found in programming languages, mathematics, relationships, logical and mathematical functions, or parts which have been described by the programmer.

Example 3

Let's look at a more complex logical formula:

¬(And∨ and¬C) ⇔ ¬∧s = 1

That's why need formal languages. Imagine what would happen if it's described with words? And now, based on a formula that will display the conclusions. Meaningful expressions can be obtained in a formal language only when predetermined rules are met education, change, and “understanding” of formulas and terms from which they are made:

  1. Build the term and formula;
  2. Study of the semantic aspect and interpretation;
  3. The Order of some formulas and term of the other.

In every formal language must be well-researched set of data rules.

Example 4

Due to the presence in the syntax of a language inference rules for terms and formulas, you can perform isomorphic transformations of models. So it will be not only a reflection (representation) of a specific body of knowledge that is already there, but maybe the new information. The transformation, though, and will happen according to clear and strict rules, it is possible to automate. Similar technology is used in expert systems, knowledge bases and software products support decision-making.

Conclusion

why do we need formal languagesFormal languages have found wide application in science, especially in engineering. During the research or in the implementation of practical activities they can interact with the natural, in view of the considerable expressive abilities of the latter. But formal languages allow you to more accurately convey the knowledge and conduct an objective exchange of information, accumulated by mankind.


Article in other languages:

AR: https://tostpost.com/ar/education/17426-what-formal-languages-can-be-attributed-examples-of-usage.html

BE: https://tostpost.com/be/adukacyya/33566-shto-da-farmal-nyh-movah-mozhna-adnesc-pryklady-vykarystannya.html

DE: https://tostpost.com/de/bildung/33248-was-zu-den-formalen-sprachen-geh-ren-beispiele-f-r-die-verwendung.html

ES: https://tostpost.com/es/la-educaci-n/33120-de-que-a-la-formal-idiomas-se-puede-atribuir-ejemplos-de-uso.html

HI: https://tostpost.com/hi/education/19074-what-formal-languages-can-be-attributed-examples-of-usage.html

JA: https://tostpost.com/ja/education/17087-what-formal-languages-can-be-attributed-examples-of-usage.html

KK: https://tostpost.com/kk/b-l-m/33878-b-l-formaldy-t-lderd-zhat-yzu-a-bolady-paydalanu-lg-ler.html

PL: https://tostpost.com/pl/edukacja/34925-co-do-formalnych-j-zyk-w-mo-na-przypisa-przyk-ady-u-ycia.html

PT: https://tostpost.com/pt/educa-o/34729-que-ao-formal-de-l-nguas-pode-ser-atribu-do-exemplos-de-utiliza-o.html

TR: https://tostpost.com/tr/e-itim/30307-bu-bi-imsel-diller-ba-lanabilir-kullan-m-rnekleri.html

UK: https://tostpost.com/uk/osv-ta/34089-scho-do-formal-nih-mov-mozhna-v-dnesti-prikladi-vikoristannya.html

ZH: https://tostpost.com/zh/education/15023-what-formal-languages-can-be-attributed-examples-of-usage.html






Alin Trodden - author of the article, editor
"Hi, I'm Alin Trodden. I write texts, read books, and look for impressions. And I'm not bad at telling you about it. I am always happy to participate in interesting projects."

Comments (0)

This article has no comment, be the first!

Add comment

Related News

What is science: definition and main characteristics

What is science: definition and main characteristics

What is science? Throughout our lives we come across it repeatedly. However, not everyone will be able to give a clear answer to this question. Science is the defining value of contemporary culture, its most dynamic component. It ...

What would happen if the Moon disappears? What is the impact on the Earth Moon?

What would happen if the Moon disappears? What is the impact on the Earth Moon?

Almost everyone at least once in his life thought about what would happen if you fade the Moon and how it affects life on earth. Scientists haven't proved half of what the people believed the truth. But at some point all agree una...

Chamberlain is the court's position

Chamberlain is the court's position

Chamberlain – the name of the court office. The word is a borrowing from the German language. What are the duties of a person who had a rank? What are the derivatives of the words in the modern Russian language?CourtChamberl...

The Rationalism Of Descartes

The Rationalism Of Descartes

Rationalism (ratio) – represents the philosophical idea of recognizing the thinking (mind) as the source of any knowledge and the criterion of its truth. Popular this teaching has become in the 17th century. The foundations ...

Stephen Hawking: life and work

Stephen Hawking: life and work

the Name Stephen Hawking is known today almost everyone, regardless of proximity to the field of math or physics. Because in addition to a significant contribution to the development of modern physics and cosmology, the scientist ...

Empirical level of knowledge in science

Empirical level of knowledge in science

 the Empirical level of knowledge in science to a certain extent corresponds to the sensory level of the study, theoretical-rational or logical. Of course, the absolute conformity of honey in them. It is established that the ...