«automata» etiketlenmiş sorular

Bir girdi akışı sembolünü sembolle okuyan ve bir çıkış akışı üretmek için bir durum geçiş haritası kullanan matematiksel aygıtlarla ilgili sorular, belki ikincil depolama kullanıyor olabilir.

7
Bir Turing Makinesi “tanımı gereği” en güçlü makine midir?
Bir Turing Makinesinin "tüm olası matematik problemlerini" yapabileceğini kabul ediyorum. Ancak bunun nedeni sadece bir algoritmanın bir makine temsili olmasıdır: ilk önce bunu yapın, sonra bunu yapın, sonunda çıktı alın. Çözülebilir her şeyin bir algoritma ile temsil edilebileceği anlamına gelir (çünkü bu tam olarak 'çözülebilir' tanımıdır). Bu sadece bir totoloji. …


2
Min-öbek (veya diğer egzotik) durum makinelerinin özelliklerinin belirlenmesi
Min-öbek otomatların tanımları hakkında bazı açıklamalar için bu yazının sonuna bakınız. Devlet makineleri tarafından kullanılmak üzere bilgilerin depolanması için çeşitli veri yapılarının kullanılması düşünülebilir. Örneğin, aşağı açılır otomatik veriler bilgileri bir yığında depolar ve Turing makineleri bir bant kullanır. Kuyruk kullanan devlet makinelerinin ve iki çoklu yığın veya bant kullananların, …

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 …

2
Doğasında belirsiz ve deterministik bağlamsız diller var mı?
Bağlamsız bir dili, sadece deterministik bir aşağı otomat tarafından kabul edilebiliyorsa ve yoksa başka türlü belirlenemez olarak belirleyelim. Yalnızca dili oluşturan tüm bağlamsız gramerler belirsiz ise ve aksi takdirde belirsiz ise, bağlamsız bir dili doğal olarak belirsiz olarak tanımlayalım. Deterministik ve belirsiz bir dilin örneği dildir: Belirsiz ve belirsiz bir …

6
Sonlu olmayan herhangi bir otomat var mı?
Otomata teorisinde, hepimiz otomatayı en baştan, sonlu otomata olarak okuruz. Bilmek istediğim şu ki, neden otomatlar sonlu? Açık olmak gerekirse, sonlu bir otomatın içinde ne var - alfabe, dil, düzenli ifadelerle yapılan ipler ya da ne? Ve (teoride) herhangi bir sonlu olmayan otomata var mı?


2
Büchi otomata ve linear calculus denkliği
Her LTL formülünün bir Büchi- automaton ile ifade edilebileceği bilinen bir gerçektir . Fakat görünüşe göre, Büchi otomatları daha güçlü ve etkileyici bir modeldir. Bir yerlerde Büchi otomatlarının linear-time calculus'a eşdeğer olduğunu duydum (yani, normal fiksasyon noktaları ve sadece bir temporal işleci ile calculus: ).ωω\omegaμμ\muμμ\muXX\mathbf{X} Bu eşitliğin bir algoritması (yapıcı …

2
C'nin boş tipi neden boş / alt tipe benzemiyor?
Vikipedi ile birlikte bulduğum diğer kaynaklar voidgibi boş bir türe karşılık C tipi tipini birim tipi olarak buldum . Bu kafa karıştırıcı buluyorum ki voidboş / alt tip tanımına daha iyi uyuyor. voidSöyleyebileceğim kadarıyla hiçbir değer yok . Geri dönüş tipi boşluğu olan bir işlev, işlevin hiçbir şey döndürmediğini ve …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

6
Elementlerin tekrarı olmadan bir çift setinden kombinasyon oluşturma
Bir çift çiftim var. Her çift, (x, y) formundadır, öyle ki, x, y, aralıktaki tam sayılara aittir [0,n). Yani, n 4 ise, o zaman aşağıdaki çiftleri var: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Zaten çiftlerim var. Şimdi, n/2tamsayıların hiçbirinin tekrarlanmayacağı şekilde çiftler kullanarak bir kombinasyon oluşturmam gerekiyor (başka bir deyişle, …

4
Sonlu durumlu otomatlarda geri referansları, görünüşleri ve görünüşleri nasıl simüle edebilirim?
Bu soru edildi göç o Bilgisayar Bilimleri Stack Exchange'de yanıtlanabilir çünkü yığın taşması gelen. 7 yıl önce göç etti . Düzenli bir ifade alıp ayrıştırma ağacını oluşturmak için basit bir düzenli ifade yazıcısı ve ayrıştırıcı oluşturdum. Bu ayrıştırma ağacından deterministik olmayan bir sonlu durum otomatı oluşturmak, temel normal ifadeler için …

3
Bir NFA'nın eşdeğer DFA'sının maksimum boyutta olması için şartlar nelerdir?
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 …

10
Determinizm neden faydalı bir kavram?
Bir otomat dijital bir bilgisayarın soyut bir modelidir. Dijital bilgisayarlar tamamen belirleyici; onların herhangi bir zamanda durumları girdi ve ilk durumdan benzersiz bir şekilde tahmin edilebilir. Gerçek sistemleri modellemeye çalıştığımızda, neden Narateterminizmi Otomata teorisine dahil etmiyorsunuz?

1
Bağlam içermeyen bir dilin deterministic pushdown automaton tarafından kabul edilip edilemeyeceğine karar verin
Bağlamsız bir dilbilgisi G verildiğinde, G'nin kabul ettiği dili tam olarak kabul eden Nondeterministik bir Pushdown Otomatonu N yoktur. (ve tersi) Orada may ayrıca G de kabul aynen dili kabul eden bir Deterministik Aşağı Açılan Otomat D mevcuttur. Dilbilgisine bağlıdır. G'nin ürettiği algoritmalar ile D'nin var olup olmadığını belirleyebiliriz?


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.