Wat te formele talen kan worden toegeschreven? gebruiksvoorbeelden

Wat is de formele taal en hoe het verschilt van de natuurlijke? Hoe het is ontstaan? Wat te formele talen kan worden toegeschreven? En het wordt gebruikt om te verwijzen naar hem?

Kenmerken van formele talen

Dus noemen we een groep van kunstmatige talen, die gekenmerkt worden door precieze regels over de aanleg van de uitdrukkingen, evenals hun begrip. systemen die worden gebruikt voor industriële doeleinden kan worden toegeschreven aan formele talen. Ze zijn gebouwd in overeenstemming met de duidelijke regels, consistente, compact en nauwkeurige weergave van de eigenschappen en relaties van de bestudeerde vakgebied of gemodelleerd objecten. De waarde en betekenis van de merktekens kan niet worden veranderd door een pragmatische kenmerken (gebruik van de context). Dit is mogelijk dankzij de aanwezigheid in de formele taal van de regels van de syntaxis conversie en semantische interpretatie. Ze worden vaak gebouwd met als basis van de wiskunde. Vanwege het feit dat het over het algemeen overspanning van ontwikkeling, die diverse symbolische aanduidingen zijn toegepast op verschillende concepten en objecten. Dat is wat er moet formele talen. Ze kunnen een aanzienlijke vermindering van data. Eerder, samen met de formele en natuurlijke talen zijn gebruikt, maar met de geleidelijke complicatie van het onderwerp en de noodzaak van een strikte logische analyse van de wiskundige redenering te maken, werd besloten om het verleden te verlaten. Dit proces duurde van de zeventiende tot de twintigste eeuw. Het is de laatste eeuw wordt beschouwd als de meest vruchtbare in termen van formele talen. diverse speciale takken werden gecreëerd. Dus, voor informatica zijn van bijzonder belang programmeertalen en de algebra van de logica, niet alleen theoretisch, maar ook vanuit een praktisch oogpunt.

definitie

Wat te formele talen kan worden toegeschreven, hebben we al kort toegelicht. Maar wat kunnen we zeggen over hen? Formele taal krijgt een heleboel verschillende definities. Om u ze allemaal, het zal veel tijd te verlaten, dus neem een kijkje op de meest populaire:

1. Een eenvoudige lijst van woorden in de taal - meestal zeggen dat met betrekking tot de laatste soort constructie en over degenen die een eenvoudige structuur hebben.
2. Woorden gegenereerd door een formele grammatica.
3. De structuur die door reguliere expressies.
4. Woorden die door de BPF-design.
5. De structuur, herkenbaar aan een eindige automaat.

Laten we eens kijken naar een voorbeeld. Laten we zeggen dat we het hele alfabet, kreeg twee nummers 1 en 0. Om de letter "O" weer te geven, maken we gebruik van een combinatie van 1010001. Dit is het gebruik van een formele taal. Het is ook mogelijk om lege woorden te gebruiken (als de string heeft lengte nul, en er is niets) met een speciale aanduiding in de vorm bekend bij ons. Maar in meer detail te begrijpen wat is een formele taal, helpen 4 voorbeelden die volgende zal worden gegeven. Wat doet het? Voor een beter begrip van de lezer was dat er een formele taal kan worden toegeschreven. Maar een beetje meer over de manier waarop ze worden gemaakt.

De bouw van formele talen

Elke taal is een formele structuur die voor eens en iemand is gemaakt. Ze zijn meestal gebouwd op hetzelfde patroon:

1. Om te beginnen, kiest u het alfabet, of een reeks specifieke tekens die zal worden gebouwd en uitdrukkingen gebruikt in de taal. Door de formele taal is een manier om te programmeren met behulp van een computer.
2. Het beschrijft de syntax, dat wil zeggen, de kenmerken en regels die betekenisvolle zinnen zal bouwen.
3. Op bepaalde regels voor woorden en uitdrukkingen. Hier is er een regel: elke reeks letters moeten in staat zijn om woorden te tellen.

Door formele taal verwijst naar een structuur die duidelijke regels heeft - het moet worden onthouden. Bij het bouwen, zijn er enkele functies. Zo is de term "karakter" is zeer multi-functioneel in termen van betekenis, dus voor het grootste deel gebruikt de term als een "brief". Maar onder hen kan worden begrepen niet alleen de gebruikelijke notatie voor ons, maar ook de beugels, speciale tekens, en nog veel meer. Dit geldt alleen voor formele talen.

Voorbeeld 1

Laten we beginnen met 1 en 0. In dergelijke gevallen de meer het begrip "onder" en "formule." De eerste fungeert als een analoog van het object en de naam die wordt gebruikt om te verwijzen naar iets specifieks. Eerst en vooral inzicht in de constanten en individuele variabelen onder hen. Van deze, op zijn beurt, bouwen meer complexe structuren, die gebruikt wordt gebruikt in sommige taal functie. Krachtens de groep inzicht in de formule, waarvan het gebruik in een bepaalde programmeertaal mogelijk. Deze "instructie" zal worden verwerkt, en de persoon zal het gewenste resultaat te krijgen.

Voorbeeld 2

Beschouw het voorbeeld logica waarin zich een inversie (Â), disjunctie (∧), de conjunctie (∨) en de implicatie (⇒) en verscheidene anderen. In een dergelijke registratie van de beelden kunnen worden gegeven als:

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

Als de letters A, B, C, de plaats van de variabelen en je krijgt de logische bewerkingen. Waar formele talen van dit type toe te passen? Het wijdverbreide gebruik van een dergelijk mechanisme in programmeertalen, wiskunde, verhoudingen, logische en wiskundige functies of delen die zijn beschreven door de programmeur.

Voorbeeld 3

Laten we eens kijken naar een meer complexe logische formules:

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

Daarom hebben we de formele taal nodig hebben. Stel je voor wat er zou zijn gebeurd als het in woorden werd beschreven? Nu, op basis van een formule afleiden we conclusies trekken. Zinvolle uitdrukkingen kan worden verkregen in de formele taal alleen mogelijk wanneer bepaalde regels pre-vorming, verandering en "begrijpen" van de formules en voorwaarden van waaruit ze gemaakt worden nageleefd:

1. Bouw term formules en;
2. Studie van de semantische aspect en interpretatie;
3. De sequentie van één van de formules en andere bepalingen.

Elke formele taal moet goed worden vastgesteld geheel van regels.

Voorbeeld 4

Als gevolg van de aanwezigheid in de regels van de taal syntax-uitgang naar de voorwaarden en formules kan worden gemaakt isomorf transformatie modellen. Dus het zal worden uitgevoerd niet alleen de weerspiegeling (representatie van) een specifieke hoeveelheid kennis die al bestaat, maar kan nieuwe informatie ontvangen. Bovendien is de transformatie, hoewel, en zal plaatsvinden op basis van duidelijke en strikte regels, kan worden geautomatiseerd. Soortgelijke technieken worden gebruikt in expertsystemen, kennisbanken en software ondersteuning van de besluitvorming producten.

conclusie

Formele talen worden op grote schaal gebruikt in de wetenschap, in het bijzonder in de techniek. Tijdens het wetenschappelijk onderzoek en de uitvoering van concrete activiteiten kunnen ze omgaan met de natuurlijke, in het licht van de aanzienlijke expressieve mogelijkheden van de laatste. Toch formele talen kan meer accurate wijze kennis en een objectieve uitwisseling van informatie verzameld door de mensheid uit te voeren.