Запитання з тегом «formal-languages»

Це наступне питання цього . У попередньому запитанні про екзотичні державні машини Алекс десять Брінк та Рафаель зверталися до обчислювальних можливостей своєрідного державного машинного апарату: автоматів міні-купи. Вони змогли показати, що набір мов, прийнятих такими машинами ( ), не є ні підмножиною, ні надмножиною набору без контекстних мов. Враховуючи успішне …

16 formal-languages  automata  closure-properties 

Мені незрозуміло щодо використання словосполучень "нескінченна" мова або "кінцева" мова в комп'ютерній теорії. Я думаю , що корінь проблеми в тому , що мова як L={ab}∗L={ab}∗L=\{ab\}^* є нескінченною в тому сенсі , що він може генерувати нескінченну (але рахункове) число рядків. Тим не менш, його все ще можна розпізнати за …

16 formal-languages  terminology  regular-languages 

Нехай . Мова Кажуть , має властивість «анти-паліндром» , якщо для кожного рядка , що є паліндром, . Крім того, для кожного рядка який не є паліндром, ні u \ in L, ні \ mathrm {Reverse} (u) \ in L , але не обидва (!) (Виключні або).L ⊆ Σ ∗ …

15 formal-languages 

У моїй текстовій книзі зазначається, що: де ∅ порожня мова.∅∗={ϵ}∅∗={ϵ}\emptyset^*=\{\epsilon\}∅∅\emptyset Однак ми знаємо, що , де L - будь-яка мова.L⋅∅=∅L⋅∅=∅L \cdot \emptyset = \emptysetLLL Я не в змозі інтуїтивно зрозуміти це поняття, оскільки операція зірки Клейна вказує на те, що .∅∗=∅0∪∅1∪∅2∪⋯∅∗=∅0∪∅1∪∅2∪⋯\emptyset^*=\emptyset^0 \cup \emptyset^1 \cup \emptyset^2 \cup \cdots То чому не …

15 formal-languages  kleene-star 

Таким чином, L в основному задовольняє умовам накачувальної леми для CFL, але не є CFL (що можливо відповідно до визначення леми).

15 formal-languages  context-free  pumping-lemma 

Це наступне питання цього . У попередньому запитанні про екзотичні державні машини Алекс десять Брінк та Рафаель зверталися до обчислювальних можливостей своєрідного державного машинного апарату: автоматизованих міні-купи. Вони змогли показати, що набір мов, прийнятих такими машинами ( ), не є ні підмножиною, ні надмножиною набору без контекстних мов. Враховуючи успішне …

15 formal-languages  automata  nondeterminism 

Чи існує алгебраїчна характеристика кількості слів заданої довжини у звичайній мові? Вікіпедія констатує результат дещо неточно: Для будь-якого регулярного мови існують константи і многочлени таким чином, що для кожного числа з слова довжиною в задовольняють рівнянню .LLLλ1,…,λkλ1,…,λk\lambda_1,\,\ldots,\,\lambda_kp1(x),…,pk(x)p1(x),…,pk(x)p_1(x),\,\ldots,\,p_k(x)nnnsL(n)sL(n)s_L(n)nnnLLLsL(n)=p1(n)λn1+⋯+pk(n)λnksL(n)=p1(n)λ1n+⋯+pk(n)λkns_L(n)=p_1(n)\lambda_1^n+\dotsb+p_k(n)\lambda_k^n Не вказано, в якому просторі живе ( , я припускаю), і чи потрібно, …

15 formal-languages  regular-languages  word-combinatorics 

Можна стверджувати, що більшість мов, створених для опису повсякденних проблем, є чутливими до контексту. З іншого боку, можна і не важко знайти деякі мови, які не є рекурсивними або навіть не рекурсивно-перелічуючими. Між цими двома типами є рекурсивні не контекстно-чутливі мови. Вікіпедія наводить тут один приклад : Прикладом рекурсивної мови, …

15 formal-languages  complexity-theory  formal-grammars 

Давши мову LLL , визначте набір довжини LLL як набір довжин слів у LLL : LS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Які набори цілих чисел можуть бути набором довжин звичайної мови?

15 formal-languages  computability  regular-languages  finite-automata 

Визначте мову як L = { a , b } ∗ - { w w ∣ w ∈ { a , b } ∗ } . Іншими словами, L містить слова, які не можуть бути виражені як слово, повторене двічі. Є чи L контекстно-вільний чи ні?LLLL={a,b}∗−{ww∣w∈{a,b}∗}L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - …

15 formal-languages  context-free  formal-grammars 

Зазвичай я використовую символ для порожнього рядка (порожнє слово або нульовий рядок). Але я знаю, що деякі люди використовують замість .εε\varepsilonλλ\lambdaεε\varepsilon Я думаю, що походить від слова "Порожня". Однак я не знаю, яке походження .εε\varepsilonλλ\lambda У теорії автоматів існує епсилонний перехід автоматів, а також його називають лямбда-переходом. Наприклад, програмне забезпечення …

14 formal-languages  automata  reference-request  notation  history 

Дано алфавіт , скільки різних регулярних мов може бути прийнято -державним недетермінованим кінцевим автоматом?Σ={a,b}Σ={a,b}\Sigma = \{ a,b \}nnn В якості прикладу розглянемо . Потім у нас є різних конфігурацій переходу та різних конфігурацій стартового та кінцевого стану, тому у нас є верхня межа різних мов. Однак багато з них будуть …

14 formal-languages  regular-languages  finite-automata  combinatorics 

Я намагаюся навчити себе вживати зубрів. Сторінка бізона (1) говорить про зубра: Створіть детермінований LR або узагальнений парсер LR (GLR), використовуючи LALR (1), IELR (1) або канонічний LR (1) парсер таблиць. Що таке IELR-аналізатор? Усі релевантні статті, які я знайшов у всесвітній мережі Інтернету, платні.

14 formal-languages  terminology  formal-grammars  parsers 

Згідно зі статтею Вікіпедії , L у означає "сканування зліва направо", а "R" означає "найправіше виведення". Однак в оригінальній статті Кнута про граматики L R ( k ) він визначає L R ( k ) (на стор. 610) як мову, що "перекладається зліва направо із пов'язаною k ".LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)kkk Я здогадуюсь, …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Нехай GGG - граматика без контексту. Рядок терміналів і нетерміналів з GGG називається бути сентенціальной формою з GGG , якщо ви можете отримати його шляхом застосування постановки GGG нуля або більше разів для початкового символу SSS . Нехай SF(G)SF⁡(G)\operatorname{SF}(G) безліч пропозіціональних форм GGG . Нехай α∈SF(G)α∈SF⁡(G)\alpha \in \operatorname{SF}(G) , і …

14 formal-languages  context-free  formal-grammars  closure-properties