Wat om formele tale kan toegeskryf word? voorbeelde van gebruik

Wat is die formele taal en hoe dit verskil van die natuurlike? Hoe dit gevorm? Wat om formele tale kan toegeskryf word? En dit word gebruik om te verwys na hom?

Eienskappe van formele tale

So noem ons 'n groep van kunsmatige tale, wat gekenmerk word deur presiese reëls met betrekking tot die konstruksie van uitdrukkings, asook hul begrip. stelsels wat gebruik word vir industriële doeleindes kan toegeskryf word aan formele tale. Hulle is gebou in ooreenstemming met die duidelike reëls, voorsien in ooreenstemming, kompakte en akkurate vertoning van die eienskappe en verhoudings van die bestudeer vakgebied of gemodelleer voorwerpe. Die waarde en betekenis van die punte kan nie verander word deur enige pragmatiese funksies (gebruik van die konteks). Dit is moontlik te danke aan die teenwoordigheid in die formele taal van die reëls van die sintaksis bekering en semantiese interpretasie. Hulle is dikwels gebou met behulp van as 'n basis van wiskunde. As gevolg van die feit dat dit oor die algemeen span van ontwikkeling, gebruik 'n verskeidenheid van simboliese benaming is van toepassing op 'n verskeidenheid van konsepte en voorwerpe. Dit is wat nodig formele tale. Hulle kan aansienlik verminder data. Vroeër, saam met die formele en natuurlike tale gebruik is, maar met die geleidelike komplikasie van die onderwerp en die behoefte aan 'n streng logiese analise van wiskundige redenasie maak, is daar besluit om die verlede te laat vaar. Hierdie proses duur van die Sewentien om die twintigste eeu. Dit is die laaste eeu word beskou as die mees vrugbare in terme van formele tale. verskeie spesiale takke geskep. So, vir rekenaarwetenskap is van besondere belang programmeertale en die algebra van logika, nie net teoretiese, maar ook van 'n praktiese oogpunt.

definisie

Wat om formele tale kan toegeskryf word, het ons reeds kortliks verduidelik. Maar wat kan ons sê oor hulle? Formele taal gegee 'n baie verskillende definisies. Om 'n lys hulle almal, sal dit 'n baie tyd te verlaat, so 'n blik op die gewildste:

1. 'N Eenvoudige lys van woorde in die taal - gewoonlik so sê met betrekking tot die finale tipe konstruksie en oor die mense wat 'n eenvoudige struktuur hê.
2. Woorde wat gegenereer word deur 'n sekere formele grammatika.
3. Die struktuur geskep deur gereelde uitdrukkings.
4. Woorde wat gegenereer word deur die BPF-ontwerp.
5. Die struktuur, herkenbaar deur 'n eindige outomaat.

Kom ons kyk na 'n voorbeeld. Kom ons sê ons het die hele alfabet, gegewe twee nommers 1 en 0. Om die letter "O" vertoon, gebruik ons 'n kombinasie van 1010001. Dit is die gebruik van 'n formele taal. Dit is ook moontlik om leë woorde te gebruik (wanneer die tou het nul lengte, en daar is niks) met 'n spesiale benaming in die vorm bekend aan ons. Maar in meer detail te verstaan wat is 'n formele taal, help 4 voorbeelde wat volgende sal gegee word. Wat doen dit? Om begrip van die leser se is dat 'n formele taal kan toegeskryf word. Maar 'n bietjie meer oor hoe dit geskep word.

Konstruksie van formele tale

Elke taal is 'n formele struktuur wat eens en iemand is geskep. Hulle word gewoonlik gebou op dieselfde patroon:

1. Om mee te begin, kies die alfabet, of 'n paar stel spesifieke karakters wat gebou sal word en uitdrukkings wat in die taal. Deur die formele taal is 'n manier om die program met behulp van 'n rekenaar.
2. Dit beskryf die sintaksis, dit is, eienskappe en reëls wat betekenisvolle sinne te bou.
3. Op sekere reëls vir woorde en uitdrukkings. Hier is daar 'n reël: 'n reeks briewe moet in staat wees om woorde te tel.

Deur formele taal verwys na enige struktuur wat duidelike reëls het - dit moet in gedagte gehou word. Wanneer die bou van, daar is 'n paar eienskappe. So, die term "karakter" is baie multi-funksionele in terme van betekenis, so vir die grootste deel gebruik die term as 'n "brief". Maar onder hulle kan verstaan word nie net die gewone notasie vir ons nie, maar ook die hakies, spesiale karakters, en nog baie meer. Dit geld slegs vir formele tale.

VOORBEELD 1

Kom ons begin met 1 en 0. In sulke gevalle gebruik, hoe meer die konsep van "term" en "formule." Die eerste tree op as 'n analoog van die voorwerp en die naam gebruik om te verwys na iets spesifiek. In die eerste plek verstaan die konstantes en individuele veranderlikes onder hulle. Van hierdie, op sy beurt, bou meer komplekse strukture, wat gebruik word, is gebruik in sommige taal funksie. Onder die voorwaardes van die groep verstaan die formule, die gebruik van wat in 'n sekere programmeertaal is moontlik. Hierdie "opdrag" sal verwerk word, en die persoon sal die gewenste resultaat te kry.

VOORBEELD 2

Kyk na die voorbeeld logika waarin daar is 'n omkering (¬), disjunksie (∧), die samewerking (∨) en die implikasie (⇒) en 'n paar ander. In so 'n opname van beelde kan gegee word as:

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

Soos die karakters A, B, C, vervang die veranderlikes en jy die logiese operasies. Waar om formele tale van hierdie tipe van toepassing? Die wydverspreide gebruik van so 'n meganisme is gevind in programmeertale, wiskunde, verhoudings, logiese en wiskundige funksies, of dele van wat reeds beskryf deur die programmeerder.

VOORBEELD 3

Kom ons kyk na 'n meer komplekse logiese formules:

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

Dit is hoekom ons formele tale nodig. Dink net wat sou gebeur het as dit in woorde beskryf? Nou, gebaseer op 'n formule aflei ons gevolgtrekkings. Betekenisvolle uitdrukkings kan verkry word in die formele taal net vir sekere reëls pre-vorming, verandering en "begrip" van die formules en ingevolge waarvan hulle gemaak is gerespekteer:

1. Konstruksie term formules en;
2. Studie van die semantiese aspek en interpretasie;
3. Die volgorde van een van die formules en ander term.

Elke formele taal moet goed gevestigde stel reëls.

VOORBEELD 4

Te danke aan die teenwoordigheid in die reëls van die taal sintaksis uitset vir terme en formules gemaak kan word isomorfiese transformasie modelle. So dit uitgevoer sal word nie net die weerspieëling (voorstelling van) 'n spesifieke liggaam van kennis wat reeds bestaan, maar kan nuwe inligting ontvang. Verder het die transformasie, al is, en vind plaas volgens duidelike en streng reëls, kan dit outomaties. Soortgelyke tegnieke word gebruik in deskundige stelsels, kennis basisse, en sagteware besluit ondersteuning produkte.

gevolgtrekking

Formele tale is wyd gebruik word in die wetenskap, veral in die kuns. Tydens die wetenskaplike navorsing en die implementering van praktiese aktiwiteite kan hulle interaksie met die natuurlike, in die lig van die aansienlike ekspressiewe vermoëns van die laasgenoemde. Nog formele tale kan meer akkuraat te dra kennis en 'n objektiewe uitruil van inligting opgehoopte deur die mensdom uit te voer.