Logo tr.boatexistence.com

Bağlamdan bağımsız diller kararlaştırılabilir mi?

İçindekiler:

Bağlamdan bağımsız diller kararlaştırılabilir mi?
Bağlamdan bağımsız diller kararlaştırılabilir mi?
Anonim

1. (a) Doğru, her normal dil bağlamdan bağımsız olduğundan, bağlamdan bağımsız her dil karar verilebilir ve karar verilebilir her dil Turing tarafından tanınabilir.

Bağlamdan bağımsız diller neden kararlaştırılabilir?

Karar verilemez bir sorunun belirli bir girdinin cevabını belirleyecek bir algoritması yoktur Bağlamdan bağımsız dillerin belirsizliği: Bağlamdan bağımsız bir dil verildiğinde, her zaman sınırlı bir süre içinde durun ve dilin belirsiz olup olmadığına cevap verin.

Bağlamdan bağımsız bir dilin alt kümesine karar verilebilir mi?

2 Cevaplar. Σ bağlamdan bağımsızdır (aslında normaldir) ve birçok alt kümesi vardır. L sonsuz boyutta bağlamdan bağımsız bir dilse, o zaman L'nin karar verilebilir ve bazıları karar verilemez olan J alt kümeleri vardır. Örneğin, boş alt kümeye karar verilebilir.

CFL'lere karar verilebilir mi?

CFL: boşluk problemi, sonluluk problemi ve üyelik problemi için karar verilebilir.

Kaç dil bağlamdan bağımsızdır?

(1) Sayılabilir şekilde sonsuz sayıda bağlamdan bağımsız dil vardır. Bu doğrudur, çünkü bağlamdan bağımsız bir dilin her açıklaması sonlu uzunluktadır, dolayısıyla bu tür tanımların sayılabilir sonsuz sayıda vardır. (2) Sayılamayan sayıda dil vardır.

Önerilen: