Რა ფორმალური ენები შეიძლება აიხსნას? მაგალითები გამოყენების

რა არის ფორმალური ენის და როგორ განსხვავდება ბუნებრივი? როგორ შეიქმნა ეს? რა ფორმალური ენები შეიძლება აიხსნას? და იგი გამოიყენება მის მიმართ?

მახასიათებლები ფორმალური ენები

ამიტომ, ჩვენ მოვუწოდებთ ჯგუფის ხელოვნური ენები, რომლებიც ხასიათდება ზუსტი წესები მშენებლობასთან დაკავშირებით გამონათქვამები, ისევე, როგორც მათი გაგება. სისტემები სამრეწველო მიზნებისათვის გამოიყენება შეიძლება მიეკუთვნოს ფორმალური ენებზე. ისინი შენდება შესაბამისად ნათელი წესები, თანმიმდევრული, კომპაქტური და ზუსტი ჩვენება თვისებები და ურთიერთობები შეისწავლეს საგნობრივი ან მოდელირებული ობიექტები. ღირებულება და მნიშვნელობა ნიშნები არ შეიძლება შეიცვალოს ნებისმიერ პრაგმატული თვისებები (გამოყენების კონტექსტში). ეს შესაძლებელია, მადლობა თანდასწრებით ფორმალური ენის წესების სინტაქსი კონვერტაციის და სემანტიკური ინტერპრეტაცია. ისინი ხშირად აშენდა გამოყენებით, როგორც ბაზა მათემატიკა. იმის გამო, რომ ის ფაქტი, რომ, მთლიანობაში span განვითარების, გამოიყენება სხვადასხვა სიმბოლური აღნიშვნები უკვე მიმართა სხვადასხვა ცნებები და ობიექტები. ეს არის ის, თუ რა სჭირდება ფორმალური ენებზე. მათ შეუძლიათ მნიშვნელოვნად შეამცირებს მონაცემები. მანამდე, ერთად ფორმალური და ბუნებრივი ენებზე იქნა გამოყენებული, მაგრამ თანდათანობით გართულების საგანი და საჭიროება, რათა მკაცრი ლოგიკური ანალიზი მათემატიკური აზროვნება, გადაწყდა, რომ უარი თქვას წარსული. ეს პროცესი გრძელდებოდა XVII XX საუკუნის. ეს არის გასული საუკუნის ითვლება ყველაზე ნაყოფიერი თვალსაზრისით ფორმალური ენებზე. სხვადასხვა სპეციალური ფილიალი შეიქმნა. ასე რომ, კომპიუტერულ მეცნიერებათა განსაკუთრებით მნიშვნელოვანია პროგრამირების ენები და ალგებრა ლოგიკა, არა მხოლოდ თეორიული, არამედ პრაქტიკული თვალსაზრისით.

განმარტება

რა ფორმალური ენები შეიძლება მიეწერება, ჩვენ უკვე მოკლედ განმარტა. მაგრამ რა შეგვიძლია ვთქვათ, მათ შესახებ? ფორმალური ენის ეძლევა ბევრი სხვადასხვა განმარტებები. ჩამოვთვალოთ ყველა, ის დატოვებს ბევრი დრო, ასე რომ შევხედოთ ყველაზე პოპულარული:

1. მარტივი სიტყვების სია იმ ენაზე - როგორც წესი, ამბობენ ასე მიმართებაში საბოლოო ტიპის მშენებლობა და პირობა, რომ აქვს მარტივი სტრუქტურა.
2. Words მიერ გამომუშავებული გარკვეული ფორმალური გრამატიკა.
3. სტრუქტურა ქმნის რეგულარული გამოსახულებების.
4. Words მიერ გამომუშავებული BPF დიზაინი.
5. სტრუქტურა, ცნობადი სასრულ automaton.

მოდით შევხედოთ მაგალითს. მოდით ვთქვათ, რომ ჩვენ გვაქვს მთელი ანბანი, მოცემული ორი ციფრები 1 და 0. არიან ასო "O" ჩვენ ვიყენებთ კომბინაცია 1010001. ეს არის გამოყენების ფორმალური ენაზე. ეს არის ასევე შესაძლებელია გამოიყენოთ ცარიელი სიტყვები (როდესაც string ნულოვანი სიგრძე, და არ არსებობს არაფერი) სპეციალური აღნიშვნა სახით ნაცნობია ჩვენთვის. მაგრამ უფრო დეტალურად გავიგოთ, რა არის ფორმალური ენის, დაეხმაროს 4 მაგალითები, რომ მიეცემა შემდეგი. რას აკეთებთ? იმისათვის, რომ მკითხველს ესმის, ფორმალური ენის შეიძლება აიხსნას. მაგრამ ცოტა უფრო მეტი როგორ იქმნება.

მშენებლობა ფორმალური ენები

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

1. დასაწყისისთვის, აირჩიოს ანბანი, ან კომპლექტი კონკრეტული პერსონაჟი, რომელიც აშენდება და გამონათქვამები ენაზე. ფორმალური ენის არანაირად პროგრამის გამოყენებით კომპიუტერის.
2. იგი აღწერს სინტაქსი, რომ არის, მახასიათებლები და წესები, რომელიც აშენება შინაარსიანი სასჯელს.
3. გარკვეული წესების სიტყვები და გამოთქმები. აქ არის წესი: ნებისმიერი თანმიმდევრობა წერილები უნდა შეეძლოს ითვლიან სიტყვებს.

ფორმალური ენის ეხება ნებისმიერი სტრუქტურა, რომელსაც აქვს მკაფიო წესები - ეს უნდა ახსოვდეს. როდესაც მშენებლობის, არსებობს გარკვეული თვისებები. აქედან გამომდინარე, ტერმინი "ხასიათი" ძალიან მრავალფუნქციური თვალსაზრისით მნიშვნელობა, ასე რომ დიდი ნაწილი გამოიყენა ტერმინი, როგორც "წერილი". მაგრამ ქვეშ მათ შეიძლება გავიგოთ, არა მხოლოდ ჩვეულებრივი notation ჩვენთვის, არამედ ფრჩხილებში, სპეციალური სიმბოლოების, და სხვა. ეს ვრცელდება მხოლოდ ფორმალური ენებზე.

მაგალითი 1

დავიწყოთ 1 და 0. ასეთ შემთხვევაში, გამოიყენოს უფრო კონცეფცია "ტერმინი" და "ფორმულა". პირველი მოქმედებს, როგორც იუმორისტული ობიექტი და სახელი გამოიყენება აღნიშნავს რაიმე კონკრეტული. პირველ რიგში მესმის მუდმივები და ინდივიდუალური ცვლადები მათ. ეს, თავის მხრივ, ავაშენოთ უფრო რთული სტრუქტურები, რომელიც გამოიყენება გამოიყენება რამდენიმე ენის ფუნქცია. პირობების ჯგუფი მესმის ფორმულა, რომლის გამოყენების გარკვეული პროგრამირების ენა არის შესაძლებელი. ეს "დავალებით" იქნება დამუშავებული, და პირი მიიღებს სასურველ შედეგს.

მაგალითი 2

ვნახოთ, ლოგიკა, რომელშიც არ არის inversion (¬), გათიშვის (∧), ერთობლიობაში (∨) და გულისხმობს (⇒) და სხვ. ასეთ ჩაწერა images შეიძლება მიეცეს, როგორც:

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

როგორც სიმბოლო A, B, C, შეიცვალა ცვლადები და თქვენ ლოგიკური ოპერაციები. სად მივმართოთ ფორმალური ენები ამ ტიპის? გავრცელებული გამოყენების ასეთი მექანიზმი გამოჩენას პროგრამირების ენები, მათემატიკა, ურთიერთობები, ლოგიკური და მათემატიკური ფუნქციები, ან ნაწილები, რომლებიც არ იყო აღწერილი პროგრამისტი.

მაგალითი 3

მოდით შევხედოთ უფრო რთული ლოგიკური ფორმულები:

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

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

1. მშენებლობის ვადა ფორმულები და;
2. შესწავლა სემანტიკური ასპექტი და ინტერპრეტაცია;
3. თანმიმდევრობა ერთი ფორმულები და სხვა ვადა.

თითოეული ფორმალური ენის კარგად უნდა დადგენილი წესები.

მაგალითი 4

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

დასკვნა

ოფიციალური ენები ფართოდ გამოიყენება სამეცნიერო, განსაკუთრებით ხელოვნებაში. დროს სამეცნიერო-კვლევითი და პრაქტიკული საქმიანობის მათ შეუძლიათ ურთიერთქმედება ბუნებრივია, ხედი მნიშვნელოვანი გამომხატველი შესაძლებლობები ამ უკანასკნელის. თუმცა ფორმალური ენები უფრო ზუსტად გადმოცემა ცოდნა და განახორციელოს ობიექტური ინფორმაციის გაცვლა დაგროვილი კაცობრიობის.