«automata» etiketlenmiş sorular

Hesaplama Teorisi dersimde, sorunlarımızın birçoğu, sonlu otomata hakkında ifadeleri kanıtlamak için giriş dizesinin uzunluğuna indüksiyon kullanmayı içerir. Matematiksel tümevarımı anlıyorum, ancak dizeler çaldığında gerçek açıldım. Birisi adım adım böyle bir kanıt yapma sürecinden geçerse gerçekten çok memnun olurum. İşte bir örnek problem (Hopcroft ve Ullman 3rd Edition'dan Egzersiz 2.2.10): Aşağıdaki …

20 automata  finite-automata  proof-techniques  reference-question  induction 

Tüm deterministik olmayan sonlu otomatalar eşdeğer deterministik sonlu otomata dönüştürülebilir. Bununla birlikte, deterministik bir sonlu otomata, bir durumdan işaret eden sembol başına sadece bir oka izin verir. Bu nedenle, devletleri NFA devletlerinin güç setinin üyeleri olmalıdır. Bu, DFA'nın durum sayısının NFA'nın durum sayısı açısından katlanarak ölçeklenebileceğini göstermektedir. Ancak, bunu nasıl …

20 automata  finite-automata  nondeterminism 

Hücresel otomatlarda kural 110 için wikipedia sayfasını okudum ve az ya da çok nasıl çalıştıklarını biliyorum (bir dizi kural sonraki 1 veya 0 nerede çizileceğine karar verir). Sadece Turing tamamlandıklarını okudum, ama 'kural 110'da nasıl' programlayacağınızı bile anlayamıyorum?

19 computability  automata  turing-completeness  cellular-automata 

İzin Vermek L={an∣∃p≥n p, p+2 are prime}.L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. Mı düzenli?LLL Bu soru ilk bakışta şüpheli görünüyordu ve bunun ikili ana varsayımla bağlantılı olduğunu fark ettim . Benim sorunum, varsayımın henüz çözülmediği için, dilin düzenli olduğuna …

19 formal-languages  automata  regular-languages  finite-automata 

Turing makinesinin (TM) birincil tanımı, en azından kendi referans ders kitabımda (Hopcroft + Ullman 1979) belirleyicidir. Dolayısıyla, durma problemine ilişkin kendi anlayışım öncelikle deterministik TM içindir, ancak diğer otomata türleri için de düşünülebileceğinin farkındayım. Ayrıca determinizmin insanların TM'ye ya da durma problemine sık sık başvurma biçiminde genellikle az ya da …

19 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata 

Aşağıdaki soruya takılıp kaldım: "Düzenli diller tam olarak sonlu otomatalar tarafından kabul edilen dillerdir. Bu gerçek göz önüne alındığında, eğer dili LLLbazı sonlu otomatlar tarafından kabul edilirse, LRLRL^{R} de bir sonlu tarafından kabul edilir; ters LLRLRL^{R} kelimelerinin tümünden oluşur ."LLL

19 formal-languages  regular-languages  automata  finite-automata 

Boş hücrelere yazma yeteneği olmayan bir Turing makinesi standart Turing'den daha az güçlü mü? Bence cevap evet ama standart Turing makinesinin yapabileceği bir hesaplama bulamıyorum ama bu makine yapamıyor. Herhangi bir fikir?

18 formal-languages  turing-machines  computability  automata 

Bağlamdan bağımsız bir dilbilgisi, bir otomattaki "ölü haller" gibi G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\}, A\big)\,? ve üretim kuralları sonsuza dek dönecek ve asla bir kelime üretmeyecektir. Buna izin veriliyor mu yoksa üretim kuralları bir noktada bir terminalle mi sona …

18 context-free  automata  formal-grammars 

Örneğin, alt dizeleri olmayan dizelerin kullanılmasına izin veren bir DFA'yı düşündüğümüzde 00veya 11aşağıdaki iki DFA'yı üretebilirim:

17 automata  finite-automata 

Dijital ardışık devre tasarımlarında FSM kullandım. Ama Sonlu Otomata'yı bilmiyorum. Birisi ikisi arasındaki 'temel' farkı anlamama yardımcı olabilir mi?

16 terminology  automata  finite-automata 

Bunun mümkün olup olmadığını merak ediyorum, çünkü . Bu nedenle 'ın geri kalanından ayırabilecek bir PDA da kabul edebilir bu bana çelişkili geliyor.{anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL}w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\}{a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} Sanırım PDA'ların deterministik olmayan doğasından faydalanmalıyım ama fikirlerim bitti. Bazı tavsiyeler sunabilirseniz çok …

16 formal-languages  automata  context-free  pushdown-automata 

Deterministik bir sonlu otomat (DFA), tüm ve sadece normal dilleri kabul edebilen bir durum makine modelidir. DFA'lar, her bir durumun giriş alfabesinin tüm elemanları için bir geçiş sağlaması gerektiği şekilde tanımlanabilir (ve genellikle tanımlanabilir); diğer bir deyişle, geçiş fonksiyonu δ:Q×Σ→Qδ:Q×Σ→Q\delta : Q \times \Sigma \rightarrow Q bir (toplam) fonksiyon olmalıdır. …

16 formal-languages  automata  finite-automata 

Bu bir takip soru bu bir . Egzotik durum makineleri hakkında önceki bir soruda , Alex ten Brink ve Raphael tuhaf bir tür devlet makinesinin hesaplama yeteneklerini ele aldı: min-yığın otomata. Bu tür makineler tarafından kabul edilen dil kümesinin ( HALHALHAL ), bağlamsız dil kümesinin ne bir alt kümesi ne …

16 formal-languages  automata  closure-properties 

İki veya daha fazla sayacı olan sayaç makinelerinin tipik olarak hesaplama teorisi derslerinde Turing makinelerine eşdeğer olduğu gösterilmiştir. Ancak, hangi dillerin tek sayaçlı bir makine tarafından tanınabileceğine dair resmi bir analiz görmedim. Bu diller bağlamdan bağımsız dillerle eşdeğer midir (belki de PDA'larla ilgili bazı akıllı yapılarla) veya tamamen farklı bir …

15 computability  automata 

Doğrusal sınırlı otomatların kararlaştırılamaz özellikleri var mı (boş ayarlanmış dil numarasından kaçınıyor)? Deterministik bir sonlu otomat ne olacak? (çekilmezliği bir kenara koyun). Turing makinelerini açıkça kullanmadan tanımlanamayan bir problemin (mümkünse) bir örneğini almak istiyorum . Hesaplanamayan problemleri desteklemek için bir modelin bütünlüğünü tamamlamak gerekli midir?

15 computability  automata  undecidability