Que langues officielles peut être attribuée? exemples d'utilisation

Quelle est la langue officielle et la façon dont il diffère du naturel? Comment il a été formé? Que langues officielles peut être attribuée? Et il est utilisé pour se référer à lui?

Caractéristiques des langues officielles

Nous appelons donc un groupe de langues artificielles, qui sont caractérisées par des règles précises en ce qui concerne la construction d'expressions, ainsi que leur compréhension. les systèmes utilisés à des fins industrielles peuvent être attribuées aux langues officielles. Ils sont construits dans le respect des règles claires, à affichage cohérent, compact et précise des propriétés et des relations de l'étude zone objet ou objets modélisés. La valeur et la signification des marques ne peuvent être modifiés par des caractéristiques pragmatiques (utilisation du contexte). Ceci est possible grâce à la présence dans la langue officielle des règles de conversion de la syntaxe et l'interprétation sémantique. Ils sont souvent construits en utilisant comme base des mathématiques. En raison du fait que, dans l'ensemble de la durée du développement, utilisé diverses appellations symboliques ont été appliquées à une variété de concepts et d'objets. C'est ce qui a besoin de langues officielles. Ils peuvent réduire considérablement les données. Plus tôt, ainsi que les langues officielles et naturelles ont été utilisées, mais avec la complication progressive du sujet et la nécessité de faire une analyse stricte logique du raisonnement mathématique, il a été décidé d'abandonner le passé. Ce processus a duré du XVII au XX siècle. Il est le siècle dernier est considéré en termes de langues officielles les plus fécondes. diverses branches spéciales ont été créées. Ainsi, pour la science informatique sont des langages de programmation particulier d'importance et l'algèbre de la logique, non seulement théorique, mais aussi d'un point de vue pratique.

définition

Que des langues officielles peut être attribuée, nous avons déjà brièvement expliqué. Mais que pouvons-nous dire à leur sujet? Le langage formel est donné beaucoup de définitions différentes. Pour les énumérer, il laissera beaucoup de temps, alors jetez un oeil à la plus populaire:

1. Une simple liste de mots dans la langue – dire généralement si par rapport au dernier type de construction et sur ceux qui ont une structure simple.
2. Les mots générés par une certaine grammaire formelle.
3. La structure créée par des expressions régulières.
4. Mots générés par la FPB-conception.
5. La structure, reconnaissable par un automate fini.

Regardons un exemple. Disons que nous avons tout l'alphabet, étant donné deux numéros 1 et 0. Pour afficher la lettre « O », nous utilisons une combinaison de 1010001. C'est l'utilisation d'un langage formel. Il est également possible d'utiliser des mots vides (lorsque la chaîne a une longueur nulle, et il n'y a rien) avec une désignation spéciale sous la forme familière. Mais plus en détail pour comprendre ce qui est un langage formel, aider à 4 exemples qui seront donnés à côté. Que fait-il? Pour la compréhension du lecteur était qu'un langage formel peut être attribuée. Mais un peu plus sur la façon dont ils sont créés.

Construction des langues officielles

Chaque langue est une structure formelle qui a été créé une fois et quelqu'un. Ils sont généralement construits sur le même modèle:

1. Pour commencer, choisissez l'alphabet, ou un ensemble de caractères spécifiques qui seront construits et les expressions utilisées dans la langue. Par la langue officielle est une façon de programmer à l'aide d'un ordinateur.
2. Il décrit la syntaxe, qui est, les caractéristiques et les règles qui construiront des phrases significatives.
3. Sur certaines règles pour les mots et expressions. Ici, il y a une règle: toute séquence de lettres doit pouvoir compter les mots.

En langage formel fait référence à toute structure qui a des règles claires – il faut se rappeler. Lors de la construction, il y a quelques fonctionnalités. Ainsi, le terme « caractère » est très polyvalent en termes de sens, donc pour la plupart utilisé le terme comme une « lettre ». Mais sous eux peut être compris non seulement la notation habituelle pour nous, mais aussi les supports, des caractères spéciaux, et plus encore. Ceci ne concerne que des langues officielles.

EXEMPLE 1

Commençons par 1 et 0. Dans ce cas, utilisez plus le concept de « terme » et « formule ». Le premier agit comme un analogue de l'objet et le nom utilisé pour désigner quelque chose de spécifique. Tout d'abord comprendre les constantes et les variables individuelles sous eux. Parmi ceux-ci, à son tour, construire des structures plus complexes, qui est utilisée dans certains fonction de la langue. Aux termes du groupe comprennent la formule, dont l'utilisation dans un certain langage de programmation est possible. Cette « instruction » sera traitée, et la personne va obtenir le résultat souhaité.

EXEMPLE 2

Considérons la logique d'exemple dans lequel il y a une inversion (¬), disjonction (∧), la conjonction (∨) et l'implication (⇒) et plusieurs autres. Dans un tel enregistrement d'images peut être donné comme:

1. A;
2. A∧V ⇒ ¬A
3. ¬ (A∨¬S)

Comme les caractères A, B, C, remplacer les variables et vous obtenez les opérations logiques. Où appliquer des langues officielles de ce type? L'utilisation généralisée d'un tel mécanisme se trouve dans les langages de programmation, les mathématiques, les relations, les fonctions logiques et mathématiques, ou dont certaines parties ont été décrites par le programmeur.

EXEMPLE 3

Regardons une des formules logiques plus complexes:

¬ (A∨¬S) ⇔ ¬A∧S = 1

Voilà pourquoi nous avons besoin de langues officielles. Imaginez ce qui serait arrivé si elle a été décrite par des mots? Maintenant, sur la base d'une formule on déduit des conclusions. expressions significatives peuvent être obtenues dans la langue officielle que lorsque certaines règles sont respectées préformation, le changement et la « compréhension » des formules et des termes dont ils sont faits:

1. formules à long terme de construction et;
2. Etude de l'aspect sémantique et l'interprétation;
3. La séquence de l'une des formules et autres terme.

Chaque langue officielle doit être bien établi un ensemble de règles.

EXEMPLE 4

En raison de la présence dans les règles de la sortie de la syntaxe du langage pour les termes et formules peuvent être faites modèles isomorphes de transformation. Ainsi, il sera réalisé non seulement la réflexion (représentation) d'un corps spécifique de connaissances qui existe déjà, mais peut recevoir de nouvelles informations. De plus, la transformation, cependant, et aura lieu selon des règles claires et strictes, il peut être automatisé. Des techniques similaires sont utilisées dans les systèmes experts, bases de connaissances, et des produits de soutien à la décision du logiciel.

conclusion

langues officielles sont largement utilisés dans la science, en particulier dans l'art. Au cours de la recherche scientifique et la mise en œuvre des activités pratiques qu'ils peuvent interagir avec le naturel, compte tenu des capacités expressives considérables de ce dernier. Pourtant, langues officielles peuvent transmettre de façon plus précise des connaissances et de procéder à un échange d'information objective accumulées par l'humanité.