border=0

Foarbyld 8.2

Besykje in formele grammatika dy't in fragmint fan in natuerkundige generearret. Lit T = { a , b, ... i, A, B, ... I } de set fan terminalsymboalen - de letters fan it Russyske alfabet. It net-terminale alfabet is boud fan 'e symboalen N = { Q , R , S }, wêrby Q = { q 1 , ... q n } is de namme fan minsken yn it Russyske alfabet, R = { r 1 , ... r m } tiidwurden yn 'e tredde persoan yndividueel fan' e hjoeddeiske tenei, r i en q j binne skreaun mei help fan terminal symboalen. Lit it permutearingssysteem wêze:

Fansels ûntstiet dizze grammatika in taal dy't bestiet út útdrukkingen lykas: "sa as dat liket dat", bygelyks "Masha lêst", "Vasya sliept" , ensfh. De grammatoarch wurket sa: yn 'e earste stap wurdt it type fan' e wurden fêststeld; de twadde stap generearret in spesifike namme, en de tredde stap - in spesifike aksje (verb). Ut dit foarbyld is de betsjuttige betsjutting fan net-terminal symboalen sichtber - se kinne ferskate klassen fan konkrete wurden bepale, benammen tradisjonele grammatikale lessen - dielen fan spraak, sintrale leden, ensfh.

Oan 'e formele grammatika yn ferbân mei de needsaak om in strik (unyk te ferstean) beskriuwing fan' e algoritme te bouwen, sjogge wy dat de gebieten fan har applikaasje yn kompjûterwittenskip folle mear wiidweidich binne. Op grûn fan formele grammatika binne programmingtalen en oersetters foar harren makke. By it oplossen fan problemen fan keunstmjittige yntelliginsje, wurde se yn masine-oersettingssysteem brûkt, en ek foar syntaktysk korrekte siningen yn responsen fan ekspertssystemen oan brûkersfragen. Formale grammatika kinne brûkt wurde yn trening en oare programma's (bygelyks Microsoft Word), wêr't ferifikaasje fan 'e ynstelde tekst ferplicht is en sykjen nei flaters yn.

Sjoch ek:

Referinsjes

Kodearringnûmers yn in kompjûter en aksjes op har

Entropy Properties

Seksje 2. ALGORITHMS. MODELS. SYSTEMS

Seksje 1. INFOROARING THEORY

Gean werom nei Tafel Ynhâld: Teoretyske Stiftingen fan Computer Science

2019 @ edudocs.fun