computation-theory

6Ciepło

1Odpowiedz

Udowodnić, że zbiór wszystkich językach ponad alfabetem fi nite jest niezliczona

Próbując zrobić jakieś zmiany, ale nie wiem, na tym jednym: Prove that the set of all languages over a finite alphabet is uncountable. Mam wrażenie, będzie to wymagało stosując metodę Cantor Diagonal

computation-theory countable 2011-01-11

---

7Ciepło

1Odpowiedz

Czy zapewnia == Rozstrzygające?

W teorii obliczeń terminy "Zapewnialny i Rozstrzygalny" są wymierne? Czy mają na myśli to samo? Na przykład często widzisz pytanie, czy coś jest do udowodnienia, określane jako problem decyzyjny (Das

computation-theory decidable 2010-10-12

---

5Ciepło

1Odpowiedz

Algorytm do generowania gramatyki bezkontekstowej z dowolnego regexa

Czy każdy może wyznaczyć dla mnie algorytm, który może przekonwertować dowolny dany regex na równoważny zestaw reguł CFG? wiem, jak zmierzyć się z elementarnej rzeczy takie jak (a | b) *: S -> a A S

regex algorithm nlp context-free-grammar computation-theory 2012-10-30

---

5Ciepło

1Odpowiedz

Czy ktoś może podać prosty, ale nie-zabawny przykład gramatyki kontekstowej?

Próbuję zrozumieć kontekstowych gramatyk, i rozumiem dlaczego języki jak {WW | w jest ciągiem} {a n b n c n | a, b, c są symbolami} kontekst nie są wolne, ale to, co chciałbym wiedzieć, czy to język p

grammar automata computation-theory language-theory context-sensitive-grammar 2012-12-31

---