«fl.formal-languages» etiketlenmiş sorular

biçimsel diller, gramerler, otomata teorisi

1
L (M) DCFL'de olacak şekilde bir PDA M verildiğinde, L (N) = L (M) olacak şekilde bir DPDA N oluşturun
Bu otomat tarafından kabul edilen dilin deterministik bağlamsız bir dil olduğu ve kabul edilen dili tam olarak kabul eden deterministik bir aşağı itme otomatiği çıkardığı vaadiyle birlikte giriş olarak bir aşağı itme otomatiği alan bir algoritma oluşturmak mümkün müdür? tarafından ?MMML(M)L(M)L(M)NNNMMM Eşdeğer bir problem, girdi olarak aşağı itmeli bir otomata …

2
Pattern Calculus, dillerde ileriye doğru bir adımı mı temsil ediyor yoksa sadece LISP'ye mi dönüyoruz?
Kitabında Barry Jay bazı cesur iddialarda bulunuyor - temel olarak, bir programın özünde her şeyin ya atomik ya da bestelendiğini söyleyerek. Daha sonra işler sadece bu kompozisyon ilişkisinde gezinerek kolayca yinelenebilir, filtrelenebilir, güncellenebilir. Bu , Bilgisayar Bilimleri alanında bilgisayar dilleri için yeni bir sınır mı - yoksa sadece LISP'ye mi …

1
Olasılıksal otomata giriş
Olasılıksal otomata ve nereden tanıdıklarına nereden bir giriş bulabilirim (kelimelerden e kadar bazı fonksiyonlar )? Belirleyici sonlu otomatların (DFA'lar) tanıdığı "normal diller" e benzeyen olasılıklı otomatlar tarafından tanınan bu tür fonksiyonlar için standart bir terim var mı?[ 0 , 1 ][0,1][0,1] DFA'lar ve ifade, kapanış ve karar verilebilirlik özellikleri gibi …


2
Sözcük listelerini ayırma
Biçimsel dillerde Ayırma Sorunu olarak bilinen açık bir sorun vardır; kısaca iki farklı uzunluk dizesi olarak verildiği, kısaca bir DFA'nın bunları "ayırmak" için ne kadar büyük olması gerektiği anlamına gelir, yani bir dizeyi kabul etmek, diğerini reddetmek.nnn İşte bazı ilgili makaleler 1 , 2 . (Birkaç tane daha var, ancak …

2
En Aza Otomat kabul
Büchi-Automata'nın (ya da Müller-Automata'nın) en aza indirilmesinde standart yaklaşım nedir? Alışılmış tekniğin sonlu kelimelerden aktarılması, yani kabul edilen durumların "tükenmesi" kelimeleri aynı ise, iki durumun eşit olması işe yaramaz. Örneğin, Büchi-Automoton'u, bir başlangıç ​​ve bir son durum olmak üzere iki durumdan oluşan sonsuz sayıda a ile tüm kelimeleri kabul ettiğinizi …

1
Tersinir Turing brandaları?
Bu soru, "tersinir" in Axelsen ve Glück anlamında ve "tarpit" in çok daha gayri resmi bir kavram olduğu (ve çok iyi bir kelime seçimi olmayabileceği) bilinen herhangi bir tersinir Turing brandasının olup olmadığıyla ilgilidir. ama ne demek istediğimi açıklamak için elimden geleni yapacağım. Ne demek istediğim "tarpit" Bazı hesaplama modelleri …

2
Doğrusallaştırma neden bir güvenlik özelliği ve güvenlik özellikleri neden kapalı kümeler?
Nancy Lynch'in "Dağıtılmış Algoritmalar" kitabının 13.Bölümünün "Atomik Nesneleri" nde doğrusallaştırılabilirliğin (atomisite olarak da bilinir) bir güvenlik özelliği olduğu kanıtlanmıştır. Yani, karşılık gelen izleme özelliği Bölüm 8.5.3'te tanımlandığı gibi boş, önek kapalı ve sınır kapalıdır . Gayri resmi olarak, bir güvenlik mülkü genellikle belirli bir “kötü” şeyin asla gerçekleşmediğini söyleyerek yorumlanır. …


2
Dil üretmek için en küçük Boole devresi
uzunluğundaki ikili dizelerin boş olmayan dilini düşünün . , girişli bir Boolean devresi ile ve doğru olduğunda bir çıkışla tanımlayabilirim : bu iyi bilinir.n L C n C ( w ) w ∈ LLLLnnnLLLCCCnnnC( w )C(w)C(w)w ∈ Lw∈Lw \in L Ancak, temsil etmek istiyorum bir Boolean devresi ile ile çıkışları …

1
Ön düzeltme ve son düzeltme altında açık bağlam içermeyen dillerin kapatılması.
Let bir bağlam-dil ol. Tanımlama öncesi ve sonek kapatılması için , diğer bir deyişle, her içeren 'nin ön ve postfixes ve dolayısıyla kendisi. Benim sorum: bağlamdan bağımsız ve belirsiz bir dilbilgisine sahipse, için de aynı şey geçerli mi?LLLp p c ( L )ppc(L)ppc(L)LLLp p c ( L )ppc(L)ppc(L)LLLLLLLLLp p c …

2
Dikkate değer düzenli ifade otomatalarının sınıflandırılması
Belirli alanlarda karmaşık özelliklerinin bazı ampirik testleri gerçekleştirmek için düzenli ifadeleri otomata dönüştürmek için algoritmalar bir taksonomi çizmek çalışıyorum. Birkaç 'büyük' ​​adın farkındayım, ör. Thompson "Düzenli İfade Arama Algoritması", Thompson, 1968 Glushkov "Düzenli Bir İfadeyi Otomasyona Dönüştüren Yeni Bir Karesel Algoritma", Ponty, et. al, 1996 Antimirov "Düzenli İfadelerin Kısmi Türevleri …




Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.