1. (ა) მართალია, რადგან ყველა ჩვეულებრივი ენა კონტექსტისგან თავისუფალია, ყველა ენა კონტექსტის გარეშე გადაწყვეტილია და ყველა გადაწყვეტადი ენა ტურინგის ამოცნობაა.
რატომ არის კონტექსტისგან თავისუფალი ენების გადაწყვეტა?
გადაუწყვეტელ პრობლემას არ აქვს ალგორითმი, რომელიც განსაზღვრავს პასუხს მოცემულ შეყვანაზე კონტექსტის გარეშე ენების გაურკვევლობა: კონტექსტისგან თავისუფალი ენის გათვალისწინებით, არ არსებობს ტურინგის მანქანა, რომელიც ყოველთვის გაჩერდით სასრულ დროში და უპასუხეთ, ენა ორაზროვანია თუ არა.
შესაძლებელია თუ არა კონტექსტისგან თავისუფალი ენის ქვეჯგუფი?
2 პასუხი. Σ არის კონტექსტის გარეშე (ნამდვილად, ის ჩვეულებრივია) და მას აქვს ბევრი ქვეჯგუფი. თუ L არის უსასრულო ზომის ენა კონტექსტისგან თავისუფალი, მაშინ არის L-ის J ქვესიმრავლეები, რომლებიც გადაწყვეტადია და ზოგიერთი გადაუჭრელი. მაგალითად, ცარიელი ქვესიმრავლე გადასაწყვეტია.
CFL-ის გადასაწყვეტია?
CFL: არის გადაწყვეტილება სიცარიელის, სასრულობის და წევრობის პრობლემისთვის.
რამდენი ენაა კონტექსტისგან თავისუფალი?
(1) არის კონტექსტისგან თავისუფალი ენების უთვალავი უსასრულო რაოდენობა. ეს ასეა, რადგან კონტექსტისგან თავისუფალი ენის ყველა აღწერა სასრული სიგრძისაა, ამიტომ ასეთი აღწერილობების უსასრულო რაოდენობა არსებობს. (2) არსებობს ენების უთვალავი რაოდენობა.
