1
Bir turing makinesine eşdeğerde iki desteli aşağı açılır bir otomat mı?
Gelen bu cevap söz konusu buluşu Düzenli bir dil sonlu bir otomat tarafından tanınabilir. Bağlamsız bir dil yığın gerektirir ve bağlam duyarlı bir dil iki yığın gerektirir (tam bir Turing makinesi gerektirdiğini söylemeye eşdeğerdir) . Yukarıdaki kalın bölümün gerçeği ile ilgili bilmek istedim. Aslında doğru mu değil mi? Buna cevap …