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

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

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

Якщо у мене є граматика типу 3, вона може бути представлена ​​на автоматичному віджиманні (не виконуючи жодної операції над стеком), тому я можу представляти регулярні вирази за допомогою контекстних вільних мов. Але чи можу я знати, якщо граматика типу 3 - , , тощо, не будуючи таблиць розбору?L R ( …

16 formal-languages  regular-languages  formal-grammars  parsers  regular-expressions 

Зауважте, це питання, пов’язане з навчанням у курсі CS в університеті, це НЕ домашнє завдання і його можна знайти тут під іспитом осінь 2011 року2. Ось два питання, які я розглядаю з минулого іспиту. Вони, здається, пов'язані першими: Дозволяти FINITECFG={<G>∣G is a Context Free Grammar with |L(G)|<∞}FINITECFG={<G>∣G is a Context …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

Перетин контекстної вільної мови L із звичайною мовою M, як кажуть, завжди вільний від контексту. Я зрозумів переконливі конструкції продукту, але все ще не розумію, чому це контекстно, але не регулярно. Мова, породжена таким перетином, має рядки, які приймаються як PDA, так і DFA. Оскільки його приймає DFA, чи не …

16 regular-languages  context-free  finite-automata  formal-grammars 

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

16 formal-languages  terminology  regular-languages 

Нещодавно було задано цікаве запитання та згодом його видалили. Для звичайної мови LLL її складність DFA - це розмір мінімальної DFA, що приймає її, а її складність NFA - це розмір мінімальної NFA, що приймає її. Загальновідомо, що між двома складностями існує експоненціальне розділення, принаймні, коли розмір алфавіту не обмежений. …

15 regular-languages  finite-automata 

Чи існує алгебраїчна характеристика кількості слів заданої довжини у звичайній мові? Вікіпедія констатує результат дещо неточно: Для будь-якого регулярного мови існують константи і многочлени таким чином, що для кожного числа з слова довжиною в задовольняють рівнянню .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 

Давши мову 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 

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

14 formal-languages  regular-languages  finite-automata  combinatorics 

Відомо, що мова слів, що містять рівну кількість 0 і 1, не є регулярною, тоді як мова слів, що містять рівну кількість 001 і 100, є регулярною ( див. Тут ). Враховуючи два слова w1,w2w1,w2w_1,w_2 , чи вирішується мова, якщо мова слів, що містять рівну кількість і є регулярною?w1w1w_1w2w2w_2

14 regular-languages  undecidability 

Мені було цікаво, коли мови, які містять однакову кількість примірників двох підрядків, будуть регулярними. Я знаю, що мова, що містить рівну кількість 1s та 0s, не є регулярною, але є такою мовою, як , де = кількість екземплярів підрядка "001" дорівнює кількості екземплярів підрядки " 100 " регулярно? Зауважте, що …

14 formal-languages  regular-languages  pumping-lemma 

Під час виконання поточного завдання для моїх офіційних мов та курсів автоматів я наче зациклювався на вправах, що стосуються одинарних мов (я сподіваюся, що це правильний термін), тобто мов, які будуються на одній букві. Я не хочу питати про конкретні вправи, але, скоріше, про набагато більш загальну думку, яку я …

13 formal-languages  regular-languages 

Нехай мова буде регулярною.L⊆Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* Факторизація - це максимальна пара наборів слів із ( X , Y )LL\mathcal{L}(X,Y)(X,Y)(X,Y) X⋅Y⊆LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠∅≠YX≠∅≠YX \neq \emptyset \neq Y , де | .x ∈ X , y ∈ Y }X⋅Y={xyX⋅Y={xyX \cdot Y = \{xyx∈X,y∈Y}x∈X,y∈Y}x \in X, y \in Y\} (X,Y)(X,Y)(X,Y) …

13 algorithms  regular-languages  optimization 

Я дуже люблю вашу допомогу з наступним: Для будь-якого фіксованого мені потрібно вирішити, чи є закриття під такими операторами:L2L2L_2 Аr( L ) = { x ∣ ∃ y∈ L2: х у∈ L }Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} .Ал( L ) = { x ∣ ∃ …

13 formal-languages  regular-languages  closure-properties 

LLL - звичайна мова над алфавітом . Лівий коефіцієнт щодо - це мова L w ∈ Σ ∗ w - 1 L : = { v ∣ w v ∈ L }Σ = { a , b }Σ={a,b}\Sigma = \{a,b\}LLLw ∈ Σ∗w∈Σ∗w \in \Sigma^*ш- 1L : = { v ∣ …

13 formal-languages  regular-languages  closure-properties