«formal-languages» etiketlenmiş sorular

Aşağıdaki dil içeriği ücretsiz mi? L = { u x v y| U , v , x , y∈ { 0 , 1 }+, | u | = | v | , u ≠ v , | x | = | y| ,X≠Y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

Bu sorunun cevabını net olarak araştırdım ve görünüşe göre cevabı benden başka herkes biliyormuş gibi görünüyor. Muhtemelen bunun nedeni, umursayan tek insanın konuyla ilgili yükseköğretim eğitimi almış olmasıdır. Öte yandan, lise ödevi için derinlere atıldım. Benim sorum şu, biçimsel dillerle ilgili programlama dilleri tam olarak nasıl? Okuduğum her yerde "programlama …

25 formal-languages  programming-languages  regular-expressions 

İşte normal ifadeler için bir varsayım: Normal ifade , uzunluğuparantez ve operatörleri yok sayarak içindeki sembollerin sayısı. Ör| R | | 0 ∪ 1 | = | ( 0 ∪ 1 ) ∗ | = 2R,RR| R ||R||R|| 0∪1 | = | (0∪1 )*| =2|0∪1|=|(0∪1)∗|=2|0 \cup 1| = |(0 \cup …

25 formal-languages  regular-languages  regular-expressions 

Bu soru, Teorik Bilgisayar Bilimleri Yığın Değişim Borsası'ndan taşınmıştır , çünkü Bilgisayar Bilimleri Yığın Değişim Borsasında yanıtlanabilir. 6 yıl önce göç etmiş . Özyinelemeli ve özyinelemeyle numaralandırılabilir dillerin birçok tanımlarına rastladım. Ama ne olduklarını tam olarak anlayamadım. Birileri lütfen bana basit kelimelerle ne olduklarını söyleyebilir mi?

24 formal-languages  computability  turing-machines 

DFA'ların ifade gücündeki NFA'lara eşdeğer olduğunu biliyoruz; en kötü durumda bize veriyor (ne yazık ki şimdi bu algoritmanın mucit biliyor musunuz) DFAs için NFA'ler dönüştürmek için bilinen bir algoritma da var bizim NFA olsaydı, devletleri S devletler.2S2S2^SSSS Sorum şu: En kötü durum senaryosunu belirleyen nedir? İşte belirsizlik durumunda bir algoritmanın …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

Yapılandırmacı mantık, Hariç Tutulan Orta Yasasını ve Çifte Olumsuzluğu aksiyom olarak kaldıran bir sistemdir. Burada ve burada Vikipedi'de tanımlanmıştır . Özellikle, sistem çelişki ile ispatlamaya izin vermez. Merak ediyorum, bunun Turing Makineleri ve biçimsel dillerle ilgili sonuçları nasıl etkilediğini bilen var mı? Bir dilin kararsız olduğu hemen hemen her ispatın …

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

Hatta palindromların dili olan EPAL, aşağıdaki net bağlamsız gramer tarafından oluşturulan dil olarak tanımlanmaktadır: S→ Bir BirS→aaS \rightarrow a a S→ b bS→bbS \rightarrow b b S→ a SbirS→aSaS \rightarrow a S a S→ b SbS→bSbS \rightarrow b S b EPAL, pek çok ayrıştırma algoritmasının 'temelini oluşturuyor: dili tanımlayan herhangi …

23 formal-languages  formal-grammars  parsers 

Başlığın dediği gibi, geçen hafta sonu birkaç saatimi , kalıp içinde rasgele kod yürütmeye izin veren eşleşen bir operatör hariç olmak üzere Perl uyumlu normal ifadelerle eşleşen dillerin sınıfı hakkında düşünmeye çalışarak geçirdim . PCRE'lerin ne olduğunu bilmiyorsanız, lütfen bunu ve bunu okuyun . Sorun şu ki, internette mevcut olan …

23 formal-languages  regular-expressions 

Resmi dilbilgileri vererek biçimsel dilleri belirtmek sıkça bir iştir: Dilbilgileri sadece dilleri tanımlamak için değil, aynı zamanda onları ayrıştırmak ve hatta uygun bilim yapmak için de kullanmamız gerekir . Her durumda, eldeki dilbilgisinin doğru olması, tam olarak istenen kelimeleri üretmesi önemlidir . Dilbilgisinin neden istenen dilin yeterli bir temsili olduğunu …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

Kararsız olan herhangi bir "doğal" dil var mı? "doğal" ile, dizgelerin özellikleri ile tanımlanan, makinelerle ve eşdeğerleriyle değil, doğrudan bir dili kastediyorum. Başka bir deyişle, gibi dil görünüyor eğer nereye M bir TM DFA (veya normal-exp), PDA (veya dilbilgisi), vs .., o zaman L değildir doğal. Ancak L = { …

22 formal-languages  automata  computability  undecidability 

Bu soru, Teorik Bilgisayar Bilimleri Yığın Değişim Borsası'ndan taşınmıştır , çünkü Bilgisayar Bilimleri Yığın Değişim Borsasında yanıtlanabilir. 7 yıl önce göç etti . Ben sadece dilbilgisi hiyerarşilerini değil, genel olarak biçimsel dilleri (dizgiler kümesi) tanımlamayı ele alan matematiksel teoriler arıyorum.

22 formal-languages  formal-grammars 

Makine hesaplama modellerini değerlendirirken, Chomsky hiyerarşisi normalde (sırayla), sonlu otomata, aşağı itmeli otomata, doğrusal bağlı otomata ve Turing Makineleri ile karakterize edilir. İlk ve son düzeyleri için 1 (düzenli diller ve ardışık enumerable dilleri), biz deterministik veya nondeterministic makineleri düşünün olsun modelin gücüne hiç fark etmez, yani DFA'ler NFA'lerde eşdeğer …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

Bağlamdan bağımsız diller tamamlayıcı altında kapalı değildir , bunu biliyoruz. Bildiğim kadarıyla bir alt kümesidir, bağlamdan-bağımsız diller anlamak gibi Bazı mektuplar için bir , b tamamlayıcı altında kapalıdır (!?)a∗b∗a∗b∗a^*b^*a,ba,ba,b İşte benim argümanım. Her CF dili yarı doğrusal Parikh görüntüsüne sahiptir π ( L ) = { ( m , n …

20 formal-languages  reference-request  context-free  closure-properties 

Wikipedia , düzenli diller için pompalama lemmasının aşağıdaki tanımına sahiptir ... Let düzenli bir dil olması. Daha sonra, bir tam sayı vardır ≥ 1 sadece olarak , örneğin, her bir dize Bu olarak , en azından uzunluğunun ( "pompalama uzunluğu" olarak adlandırılır) olarak yazılabilir = (yani üç ayrılabilir alt dizeler).LLLpppLLLwwwLLLppppppwwwxyzxyzxyzwww …

20 formal-languages  regular-languages  pumping-lemma  finite-sets 

Kullanıcı tanımlı etki alanına özgü dilleri ayrıştırmak istiyorum. Bu diller genellikle matematiksel gösterimlere yakındır (doğal bir dili ayrıştırmıyorum). Kullanıcılar DSL'lerini aşağıdaki gibi bir BNF notasyonunda tanımlar: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * expr Like 1 + ( 2 * 3 )girişi kabul …

20 formal-languages  parsers  compilers