Wat fir formell Sproochen kann ugin ginn? Beispiller vum Gebrauch

Wat ass d'formell Sprooch a wéi et Ënnerscheed aus dem natierlechen? Wéi et gemaach? Wat fir formell Sproochen kann ugin ginn? An et ass vun Ufank un him ze leeden?

Charakteristiken vun formell Sproochen

Also ruff mir e Grupp vu kënschtlech Sproochen, déi duerch präzis Regelen iwwert de Bau vun Ausstralung charakteriséiert sinn, wéi och hir Versteesdemech. Systemer fir industriell Zwecker benotzt kënne bis formell Sproochen zougeschriwwen ginn. Si mat der kloer Regelen an Anhale gebaut, déi konsequent, kompakt a genee Kaart vun der Eegeschaften a Relatiounen vun der studéiert Sujet Géigend oder modeliséiert Objeten. De Wäert a Bedeitung vun der Mark kann net vun all pragmatesch Fonctiounen (Benotzung vun der Kontext) geännert ginn. Dat ass méiglech duerch d'Präsenz vun der offizieller Sprooch vun de Regele vun Siwebiergen Konversioun a Schüler Interpretatioun. Si sinn oft benotzt als Basis vun Mathematik gebaut. Wéinst der Tatsaach, datt et, op der ganzer span vun Entwécklung, hunn eng Rei vu symbolesch Bezeechnung benotzt ginn, fir eng Rei vu Konzepter a Objete applizéiert. Dat ass wat formell Sproochen brauch. Si kann vill Daten reduzéieren. Virdrun, zesumme mat der offizieller an natierlech Sproochen hunn benotzt ginn, mä mat der moderate Komplikatiounen vun der Thema an der brauchen eng strikt logesch Analyse vun mathematesch dofir ze maachen, et gouf decidéiert der Vergaangenheet fir opzeginn. Dëse Prozess gedauert vum XVII dem XX Joerhonnert. Et ass de leschten Joerhonnert am meeschte gesin wat vun offizieller Sproochen considéréiert gëtt. verschidde speziell Secteuren goufen ugeluecht. Also, fir Computer Wëssenschaft sinn vun besonnesch Bedeitung programméiere Sproochen an der Algebra vun Logik, net nëmmen theoretesch, mä och aus enger praktescher Siicht.

Definitioun

Wat fir formell Sproochen zougeschriwwen kann, hu mir scho kuerz erkläert. Mä wat kann soen mir iwwer hinnen? Formell Sprooch ass vill vun verschidden Definitiounen entscheet. Hinnen all Lëscht, ass et vill Zäit verloossen, sou huelt e Bléck op déi populär:

1. Eng einfach Lëscht vu Wierder an der Sprooch - normalerweis soen sou mat Respekt un d'Finale Typ vu Bau an un déi déi eng einfach Struktur hunn.
2. Wierder vun engem bestëmmte formell z'absolvéieren generéiert.
3. D'Struktur vun regelméisseg Ausstralung geschaf.
4. Wierder vun der BPF-Design generéiert.
5. D'Struktur, erkennbar duerch eng Haapt automaton.

Loosst d'op e Beispill am Wanterschlof war. Dëst ass d'Benotzung vun enger offizieller Sprooch Loosst d'soen mir de ganzen Alphabet hunn, ginn zwou Zuelen 1 an 0 de Bréif "O" Fir Kaart, benotze mir eng Kombinatioun vun 1010001.. Et ass och méiglech eidel Wierder ze benotzen (wann der Kompiléierung null Längt huet, an et ass näischt) mat engem spezielle Bezeechnung a Form kennt eis. Awer méi am Detail ze verstoen wat ass eng formell Sprooch, hëllefen 4 Beispiller déi nächst entscheet ginn. Wat heescht et maachen? Fir de Versteesdemech d'Lieser huet, datt eng formell Sprooch zougeschriwwen kann. Awer e bësse méi iwwer wéi se geschaf ginn.

Bau vun formell Sproochen

All Sprooch ass eng formell Struktur déi eemol an een geschafen. Si meeschtens op déi selwecht Muster gebaut:

1. Ze fänken, wielt d'Alphabet, oder eng Formatioun vun spezifesch Zeechen datt gin gebaut gëtt an Ausstralung an der Sprooch benotzt. Vun der offizieller Sprooch ass keng Aart a Weis e Computer ze Programm benotzt.
2. Et beschreift de Siwebiergen, dat ass, Charakteristiken a Regelen, sënnvoll Sätz bauen gëtt.
3. Op bestëmmte Regele fir Wierder an Ausstralung. Hei gëtt et eng Regel: all Haaptrei vu Bréiwer muss gebass gin Wierder ze zielen.

Vun offizieller Sprooch rappeléiert all Struktur dass kloer Regelen huet - et huet wéinst ginn soll. Wann Gebai, sinn et e puer Funktiounen. Also, ass de Begrëff "Charakter" ganz Multi-funktionell an Conditioune vun Bedeitung, also fir déi Deel benotzt de Begrëff als "Bréif". Awer naischt hinnen kann net nëmme fir eis déi üblech mellen verstane ginn, mä och de Klammeren, speziell Personnagen, a méi. Dat gëllt nëmmen fir formell Sproochen.

BEISPILL 1

Loosst d'mat 1 an 0 An esou Fäll ufänken, benotzen déi méi de Konzept vun "Begrëff" an "Formel." Den éischten Akten als eng analog vum Objet an den Numm spezifesch ze leeden, fir eppes benotzt. Éischt vun all verstoen der léisst an eenzelne Verännerlechen ënnert hinnen. Vun dësen, am Tour, bauen méi komplex Strukturen, déi an e puer Sprooch Funktioun benotzt ginn ass. Ënner Konditiounen vun der Grupp der Formel verstoen, ass de Gebrauch vun déi an engem bestëmmte programméiere Sprooch méiglech. Dëst "Uweisunge" wäert realiséiert, an der Persoun gëtt de gewënschte Resultat kritt.

BEISPILL 2

Betruecht der Beispill Logik an deem et eng Stuerz (¬), Violonist (∧), déi verzweifelt (∨) an der deemno (⇒) an e puer anerer. An esou Opnahmen vun Biller kann als entscheet ginn:

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

Als Zeeche A, B, C, Auswiesselspiller der Verännerlechen an Dir kritt d'logesch Operatiounen. Wou formell Sproochen vun dësem Typ ze gëllen? D'verbreet Gebrauch vun engem sou Mechanismus ass an programméiere Sproochen, Mathematik, Bezéiungen, logesch a mathematesch Funktiounen, oder Deeler vun deem vum Programméierer beschriwwe goufen fonnt.

BEISPILL 3

Loosst d'bei engem méi komplex logesch Formelen kucken:

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

Dat ass firwat mir formell Sproochen brauchen. Stellt wat wier geschitt hun wann et am Wierder beschriwwen huet? Elo, baséiert op engem Formel deduce mir Conclusiounen. Sënnvoll Ausstralung kann nëmmen an der offizieller Sprooch kritt gin wann verschidde Regelen Pre-Opstellung respektéiert ginn, änneren an "Versteesdemech" vun der Formelen a wat déi si gemaach ginn:

1. Bau Begrëff Formelen an;
2. Etude vum Gebai Aspekt an Interpretatioun;
3. D'Haaptrei vun eent vun de Formelen an aner Begrëff.

All offizieller Sprooch gutt etabléiert ginn soll vun Regelen Formatioun.

BEISPILL 4

Wéinst der Präsenz kann an der Regelen vun der Sprooch Siwebiergen Wasserstoff fir Begrëffer an Formelen isomorphic Transformatioun Modeller gemaach ginn. Sou wäert et duerchgefouert net nëmmen d'Reflexiounen (Representatioun vun) eng spezifesch Kierper vun Wëssen, datt schonn, mä vläicht nei Informatioune kréien. Ausserdeem, d'Transformatioun, obwuel, an Plaz no kloer a strikt Regele huelen gëtt, kann et automatiséiert ginn. Ähnlech Techniken sinn am benotzt Expert Systemer, Wëssen Base a Software Decisioun Ënnerstëtzung Produiten.

Konklusioun

Formell Sproochen sinn an der Wëssenschaft, virun allem an der Konscht oft benotzt. Während der wessenschaftlecher Fuerschung an der Ëmsetzung vun praktesch Aktivitéite kënnen se mat der natierlecher, am Hibléck vun der bedeitend expressiver Fähegkeeten vun der Pai zesummekomm. Nach formell Sproochen kann méi präziist Wëssen wäschen an eng objektiv Austausch vun Informatiounen vun Mënschheet cumuléierten ze üben.