იხილეთ წყარო გვერდისთვის ჩომსკის იერარქია

{{ვიკი}}
ლინგვისტიკასა და [[ინფორმატიკა|კომპიუტერულ მეცნიერებებში]], კერძოდ, [[ფორმალურ ენებში]], '''ჩომსკის იერარქია''' (აგრეთვე ცნობილი როგორც ჩომსკი–შუცენბერგერის იერარქია) არის [[ფორმალური გრამატიკების]] კლასთა იერარქია. ის აღწერა [[ნოამ ჩომსკი]]მ 1956 წელს<ref>{{cite journal | last = Chomsky | first = Noam | year = 1956 | title = Three models for the description of language | url = http://www.chomsky.info/articles/195609--.pdf | doi = 10.1109/TIT.1956.1056813 | journal = IRE Transactions on Information Theory | issue = 2 | pages = 113–124 | accessdate = 2013-07-01 | archiveurl = https://web.archive.org/web/20100919021754/http://www.chomsky.info/articles/195609--.pdf | archivedate = 2010-09-19 }}</ref>, ხოლო მის სახელწოდებაში არის [[მარსელ–პოლ შუცენბერგერის]] გვარი, რადგან მან მნიშვნელოვანი როლი შეასრულა [[ფორმალური ენების]] განვითარებაში. ჩომსკის იერარქია საშუალებას აძლევს [[კომპიუტინგის]] სფეროს მოღვაწეებს ენებთან დაკავშირებულ პრობლემებს შეხედონ სისტემურად და მარტივად გადაჭრან ისინი.

==ფორმალური გრამატიკები==

[[ფორმალური გრამატიკა]] შედგება შემდეგი ელემენტებისგან:
  
• [[პროდუქციის წესების]] სასრული სიმრავლე (''გამოსახულების მარცხენა მხარე → გამოსახულების მარჯვენა მხარე'') ქვემოთ მოყვანილია მაგალითი.

• [[არატერმინალთა]] სასრული სიმრავლე. (თითოეული არატერმინალი აღნიშნავს, რომ [[პროდუქციის]] პროცესი გაგრძელებადია, ამ არატერმინალიდან შეიძლება დავიწყოთ ახალი პროდუქცია).

• [[ტერმინალთა]] სასრული სიმრავლე. (ტერმინალი აღნიშნავს პროდუქციის საბოლოო შედეგის ერთ ნაწილს, ამ ტერმინალიდან ვერ დავიწყებთ ახალ პროდუქციას).

• საწყისი სიტყვა (სიმბოლო ან სიმბოლოები – უფრო ხშირად არატერმინალი)
 
ფორმალური გრამატიკა აღწერს (წარმოქმნის) ფორმალურ ენას, რომელიც არის (ძირითად შემთხვევებში უსასრულო) სიმრავლე სასრულ სიგრძიანი სიმბოლოთა მიმდევრობისა, რომელიც მიიღება პროდუქციის წესების მოქმედებით სხვა სიმბოლოთა მიმდევრობაზე, ეს მიმდევრობა კი თავის მხრივ შედგება საწყისი სიმბოლოსგან. გრამატიკა მოცემულია ორმხრივი გამოსახულებით, რომელიც გაყოფილია "→" სიმბოლოთი. გრამატიკა არის სიმბოლოთა გარდაქმნის წესთა ერთობლიობა. მარცხენა მხარის არატემინალებზე პროდუქციის წესების მოქმედებით მიიღება რაღაც გამოსახულება, რომლელზე იტერაციით შეიძლება გავაგრძელოთ პროდუქცია. ამ პროცესს წარმოებასაც უწოდებენ. ასეთი გრამატიკა აღწერს ფორმალურ ენას, რომელიც შედგება მხოლოდ ტერმინალ–სიმბოლოთაგან, რომლებიც მიიღება საწყისი სიმბოლოს წარმოებით.

როგორც წესი, არატერმინალები გამოისახება მაღალი რიგის (uppercase) სიმბოლოებით (დიდი სიმბოლოები, რომლებიც გამოიყენება მაგ. წინადადების დასაწყისში)

: <math>S</math> <math>\rightarrow \,</math> <math>ABS</math>
: <math>S</math> <math>\rightarrow \,</math> &epsilon;  (სადაც &epsilon; არის ცარიელი სიმბოლო)
: <math>BA</math> <math>\rightarrow \,</math> <math>AB</math>
: <math>BS</math> <math>\rightarrow \,</math> <math>b</math>
: <math>Bb</math> <math>\rightarrow \,</math> <math>bb</math>
: <math>Ab</math> <math>\rightarrow \,</math> <math>ab</math>
: <math>Aa</math> <math>\rightarrow \,</math> <math>aa</math>

ამ შემთხვევაში, საწყისი სიმბოლო <math>S</math>, აღწერს ყველა იმ სიტყვის ენას, რომელიც არის  <math> a^n b^n </math> ტიპის.

== იერარქია ==
[[Image:Chomsky-hierarchy.svg|thumb|right|200px|alt=The Chomsky hierarchy|Set inclusions described by the Chomsky hierarchy]]
იერარქია შედგება შემდეგი დონეებისაგან:

• ნულოვანი დონის (შეუზღუდავი) გრამატიკა, რომელიც მოიცავს ყველა ფორმალურ გრამატიკას. ამ დონიდან წარმოიქმნება ყველანაირი ენა, რომელიც შეიძლება [[აღიქვას]] [[ტურინგის მანქანამ]]. ეს ენები ასევე ცნობილია, როგორც [[რეკურსიულად თვლადი]] ენები, რომლებიც [[გადაიჭრება]] [[ყოველთვის გაჩერებადი]] [[ტურინგის მანქანით]].

• პირველი დონის (გრამატიკა "მგრძნობიარე კონტექსტით"), რომელიც წარმოქმნის [[მგრძნობიარე კონტექსტის ენებს]]. ამ გრამატიკებს აქვთ წარმოქმნის შემდეგნაირი ფორმა:  <math>\alpha A\beta \rightarrow \alpha\gamma\beta</math>, სადაც <math>A</math> არის არატერმინალი და <math>\alpha</math>, <math>\beta</math> და <math>\gamma</math> ტერმინალები და არატერმინალები. სიმბოლოთა მიმდევრობები: <math>\alpha</math> და <math>\beta</math> შეიძლება იყოს ცარიელი, თუმცა <math>\gamma</math> არ შეიძლება იყოს ცარიელი. გარდაქმნა <math>S \rightarrow \epsilon</math> დაშვებულია, თუ <math>S</math> არ არის მოცემული გრამატიკის არც ერთი წესის მარჯვენა მხარეში. ამ დონის გრამატიკებით აღწერილი ყველა ენის გაერთიანება არის ზუსტად ის სიმრავლე, რომელიც [[აღიქმება]] [[წრფივად შემოსაზღვრული ავტომატებით]] ([[არადეტერმინირებული ტურინგის მანქანა]], რომლის მეხსიერება არის შემოსაზღვრული რაიმე მუდმივი რიცხვის [[შესატან მონაცემთა]] სიგრძეზე ნამრავლით).

• მეორე დონის (ტიპის) გრამატიკები [[თავისუფალი კონტექსტის გრამატიკები]] წარმოქმნიან [[თავისუფალი კონტექსტის ენებს]]. ისინი აღიწერებიან შემდეგი ფორმის წესებით: <math>A \rightarrow \gamma</math>, სადაც <math>A</math> არის არატერმინალი და <math>\gamma</math> არის სიმბოლოთა მიმდევრობა, რომელშიც თითოეული შეიძლება იყოს ტერმინალიც და არატერმინალიც. ამ ენათა სიმრავლე არის ზუსტად ის, რომელიც აღიქმება [[pushdown automaton]]–ით. თავისუფალი კონტექსტის ენები, ანუ [[დეტერმინირებული თავისუფალი კონტექსტის ენები]] არიან თეორიული ბაზისი თითქმის ყველა [[პროგრამირების ენისა]], მიუხედავად იმისა, რომ მათი სინტაქსი ასევე შეიცავს მგრძნობიარე კონტექსტის სახელებს. ხშირად გრამატიკების ქვესიმრავლეები გამოიყენება [[გადარჩევის]](parsing) გასაიოლებლად, მაგ. [[LL parser]].

• მესამე დონის (ტიპის) გრამატიკები [[რეგულარული გრამატიკები]] წარმოქმნიან [[რეგულარულ ენებს]]. ამ გრამატიკებს აქვთ შემდეგი შეზღუდვები: მათ აქვთ მხოლოდ ერთი არატერმინალი მარცხენა მხარეს, ხოლო მარჯვენა მხარე შედგება ერთი ტერმინალისაგან, რომელსაც შეიძლება მოსდევდეს([[მარჯვენა რეგულარული]]) ან წინ უსწრებდეს([[მარცხენა რეგულარული]]) არატერმინალი. ორივე შემთხვევა წარმოქმნის ერთსა და იმავე ენებს, თუმცა თუ მათ წესებს კომბინირებულად გამოვიყენებთ, მიღებული ენა არ იქნება რეგულარული. წესი <math>S \rightarrow \epsilon</math> დასაშვებია, თუ <math>S</math> არ არის გრამატიკის არც ერთი წესის მარჯვენა მხარეს. ამ გრამატიკებით მიიღება ენათა სიმრავლე, რომელიც გადაიჭრება [[სასრული ავტომატებით]], ამასთან, ეს სიმრავლე შეიძლება მივიღოთ [[რეგულარული ჩანაწერებით]]. რეგულარული ენები გამოიყენება პროგრამირების ენებში ძებნის მოდელებისა და ლექსიკური სტრუქტურების აღსაწერად.

აღსანიშნავია, რომ გრამატიკათა ის ნაწილი, რომელიც შეესაბამება [[რეკურენტული ენები|რეკურენტულ ენებს]], არ არის ამ იერარქიაში; ეს ნაწილი მოთავსებულია პირველ და მეორე დონეებს შორის.

<big>რეზიუმე:</big>
  
ყველა რეგულარული ენა არის თავისუფალი კონტექსტის;<br />
ყველა  თავისუფალი კონტექსტის ენა, რომელიც არ შეიცავს ცარიელ სიმბოლოს, არის მგრძნობიარე კონტექსტის;<br />
ყველა მგრძნობიარე კონტექსტის ენა არის რეკურენტული;<br />
ყველა რეკურენტული ენა არის რეკურსიულად თვლადი;
 
სხვაგვარად რომ ვთქვათ, 
არსებობს რეკურსიულად თვლადი ენები, რომლებიც არ არიან თავისუფალი კონტექსტის;<br />
არსებობს მგრძნობიარე კონტექსტის ენები, რომლებიც არ არიან თავისუფალი კონტექსტის;<br />
არსებობს თავისუფალი კონტექსტის ენები, რომლებიც არ არიან რეგულარული;

ცხრილში მოცემულია გრამატიკათა ტიპები ჩომსკის იერარქიის მიხედვით, ასევე ენათა კლასები, რომლებცას ისინი წარმოქმნიან, ავტომატთა ტიპები, რომლებიც მათ აღიქვამენ და ამ გრამატიკათა წესების ფორმები.

{| class="wikitable"
|-
! გრამატიკა
! ენები
! ავტომატები
! წარმოების წესები (შეზღუდვები)
|-
| ნულოვანი დონის
| [[რეკურსიულად გადათვლადი ენა|რეკურსიულად გადათვლადი]]
| [[ტურინგის მანქანა]]
| <math>\alpha \rightarrow \beta</math> (არაა შეზღუდვები)
|-
| პირველი დონის
| [[მგრძნობიარე კონტექსტის გრამატიკა|მგრძნობიარე კონტექსტი]]
| [[წრფივად შემოსაზღვრული ავტომატი|წრფივად შემოსაზღვრული არადეტერმინირებული ტურინგის მანქანა]]
| <math>\alpha A \beta \rightarrow \alpha \gamma \beta</math>
|-
| მეორე დონის
| [[თვისუფალი კონტექსტის გრამატიკა|თვისუფალი კონტექსტი]]
| არადეტერმინირებული [[pushdown automaton]]
| <math>A \rightarrow \gamma</math>
|-
| მესამე დონის
| [[რეგულარული გრამატიკა|რეგულარული]]
| [[სასრული ავტომატი]]
| <math>A \rightarrow a</math><br /> and<br /><math>A \rightarrow aB</math>
|}

== სქოლიო ==
{{სქოლიოს სია}}

*{{cite journal
 | last = Chomsky
 | first = Noam
 | year = 1959
 | title = On certain formal properties of grammars
 | journal = Information and Control
 | issue = 2
 | pages = 137–167
 | doi = 10.1016/S0019-9958(59)90362-6
 | volume = 2
 | url = http://www.diku.dk/hjemmesider/ansatte/henglein/papers/chomsky1959.pdf
 | accessdate = 2013-06-30
 | archiveurl = https://web.archive.org/web/20150923214821/http://www.diku.dk/hjemmesider/ansatte/henglein/papers/chomsky1959.pdf
 | archivedate = 2015-09-23
 }}
*{{cite book
 | last = Chomsky
 | first = Noam
 | coauthors = Schützenberger, Marcel P.
 | editor = Braffort, P.; Hirschberg, D.
 | others = 
 | title =  Computer Programming and Formal Languages
 | year = 1963
 | month = 
 | publisher = North Holland
 | location = Amsterdam
 | id = 
 | pages = 118–161
 | chapter = The algebraic theory of context free languages
 }}
*{{Cite book
 | author=Davis, Martin E.; Sigal, Ron; Weyuker, Elaine J. 
 | authorlink= 
 | coauthors= 
 | title=Computability, complexity, and languages: Fundamentals of theoretical computer science 
 | year=1994 
 | publisher=Academic Press, Harcourt, Brace 
 | location=Boston  
 | isbn=0-12-206382-1 
 | pages=327
 }}
== რესურსები ინტერნეტში ==
* http://www.staff.ncl.ac.uk/hermann.moisl/ell236/lecture5.htm

[[კატეგორია:ინფორმატიკა]]
[[კატეგორია:ფორმალური ენები]]