formal-languages

1зной

1ответ

P неразрешима, а не полуразрешима, Q неразрешима и полуразложима и P ⊂ Q

Моя проблема: Определите два набора P и Q слов (то есть две проблемы), такие как: P неразрешима и не может быть полуразмерна, Q неразрешимые и полуразрешимые и P ⊂ Q

formal-languages decidable 2015-02-22

---

2зной

1ответ

Когда звезда Клейна на конечном языке свободна?

Я ищу ссылки, которые дают алгоритм для решения этой проблемы: Проблемы: Учитывая конечный алфавит Σ и конечный язык L & subseteq; Σ *, определить, является ли L * является свободным моноидом. Эквивал

algorithm parsing string-matching formal-languages kleene-star 2015-03-11

---

-1зной

1ответ

Язык, созданный Контекстом Свободная грамматика?

Какой язык сгенерирован? я бы сказал, что все его слова ровно 2 or 3 b's, но я не совсем уверен.

formal-languages 2015-03-17

---

1зной

1ответ

Удаление эпсилон-продукции из грамматики

мне интересно, как избавиться от эпсилон-производств в грамматике: S → S0 S → 1 S → AB B → AC A → ε C → ε Я знаю, что из-за C → ε и A → ε мы должны переписать: B → AC как: B → A | C | AC и S

compiler-construction context-free-grammar formal-languages 2015-02-03

---

0зной

1ответ

ElasticSearch несколько языков

В настоящее время я пытаюсь выяснить схемы анализа для моего кластера ElasticSearch. Я использую ES для индексации документов pdf, word, powerpoint и excel. Я использую Apache Tika для извлечения текс

elasticsearch formal-languages 2015-03-27

---

1зной

1ответ

Полная система для создания однозначных грамматик

Я нахожусь в классе бакалавриата, где мы изучаем формальные грамматики прямо сейчас. Я спросил своего учителя, существует ли какой-либо известный набор правил для создания контекстных свободных грамма

grammar context-free-grammar formal-languages decidable 2015-02-13

---