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

Чи є наступним мовний контекст вільним? L = { u x v y∣ u , v , x , y∈ { 0 , 1 }+, | u | = | v | , u ≠ v , | х | = | у| ,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

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

25 formal-languages  programming-languages  regular-expressions 

Ось припущення щодо регулярних виразів: Для регулярного виразу нехай довжина | R | бути кількістю символів у ньому, ігноруючи круглі дужки та оператори. Наприклад | 0 ∪ 1 | = | ( 0 ∪ 1 ) ∗ | = 2RRR| R ||R||R|| 0∪1 | = | (0∪1 )∗| =2|0∪1|=|(0∪1)∗|=2|0 \cup …

25 formal-languages  regular-languages  regular-expressions 

Це питання було перенесено з Теоретичної біржі стека комп'ютерних наук, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 6 років тому . Я натрапив на багато визначень рекурсивних та рекурсивно перелічених мов. Але я не міг повністю зрозуміти, що вони є. Може хтось, будь ласка, скажи мені, що вони …

24 formal-languages  computability  turing-machines 

Ми знаємо, що DFA еквівалентні NFA в потужності виразності; Існує також відомий алгоритм перетворення NFA в DFA (на жаль, я зараз знаю винахідника цього алгоритму), який, в гіршому випадку, дає нам станів, якщо в нашому NFA був станів. S2S2S2^SSSS Моє запитання: що визначає найгірший сценарій? Ось транскрипція алгоритму у випадку …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

Конструктивістська логіка - це система, яка знімає як аксіоми Закон виключеного середини, а також подвійне заперечення. Це описано у Вікіпедії тут і тут . Зокрема, система не дозволяє довести протиріччя. Мені цікаво, чи знайомий хтось із тим, як це впливає на результати стосовно машин Тюрінга та формальних мов? Я зауважую, …

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

EPAL, мова навіть паліндром, визначається як мова, породжена наступною однозначною без контексту граматикою: S→aaS→aaS \rightarrow a a S→bbS→bbS \rightarrow b b S→aSaS→aSaS \rightarrow a S a S→bSbS→bSbS \rightarrow b S b EPAL - це «бана» багатьох алгоритмів розбору: мені ще не доводилося стикатися з будь-яким алгоритмом розбору однозначних CFG, який …

23 formal-languages  formal-grammars  parsers 

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

23 formal-languages  regular-expressions 

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

22 formal-languages  formal-grammars  proof-techniques  reference-question 

Чи є якась "природна" мова, яку не можна визначити? "природний" я маю на увазі мову, визначену безпосередньо властивостями рядків, а не через машини та їх еквівалент. Іншими словами, якщо мова виглядає як , де М являє собою Т.М., DFA (або регулярного досвіду), КПК (або граматика), і т.д .., то L …

22 formal-languages  automata  computability  undecidability 

Це питання було перенесено з Теоретичної біржі стека комп'ютерних наук, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 7 років тому . Я шукаю математичні теорії, які стосуються опису формальних мов (набору рядків) загалом, а не лише граматичних ієрархій.

22 formal-languages  formal-grammars 

При розгляді машинних моделей обчислень ієрархія Хомського зазвичай характеризується (по порядку), кінцевими автоматами, штовхаючими автоматами, лінійно пов'язаними автоматами і машинами Тюрінга. Для першого та останнього рівнів 1 (звичайні мови та рекурсивно перелічувані мови) це не має значення для потужності моделі, вважаємо ми детерміновані чи недетерміновані машини, тобто DFA еквівалентні NFA, …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

Безконтекстні мови не закриваються доповненням, ми це знаємо. Наскільки я розумію, безконтекстні мови, які є підмножиною для деяких букв , закриваються під доповненням (!?) a , ba∗b∗a∗b∗a^*b^*a,ba,ba,b Ось мій аргумент. Кожна мова CF має напів-лінійний Parikh зображення . Напівлінійні набори закриті доповненням. Сукупність векторів, які представляють напівлінійний набір, легко перетворити …

20 formal-languages  reference-request  context-free  closure-properties 

У Вікіпедії є таке визначення накачаної леми для звичайних мов ... Нехай - звичайна мова. Тоді існує ціле число ≥ 1 , що залежить тільки від таким чином, що кожен рядок в довжини щонайменше ( називається «накачування довжиною») може бути записана в вигляді = (тобто, можна розділити на три підрядки), …

20 formal-languages  regular-languages  pumping-lemma  finite-sets 

Я хочу проаналізувати визначені користувачем мови домену. Ці мови, як правило, близькі до математичних позначень (я не розбираю природну мову). Користувачі визначають свою DSL у позначенні BNF, наприклад: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * expr Введення типу "подібне" 1 + ( 2 …

20 formal-languages  parsers  compilers