Вопросы с тегом «formal-languages»

Вопросы, связанные с формальными языками, грамматикой и теорией автоматов

2
Является ли язык слов, содержащих одинаковые числа 001 и 100, регулярным?
Мне было интересно, когда языки, которые содержат одинаковое количество экземпляров двух подстрок, будут регулярными. Я знаю, что язык, содержащий равное количество единиц и нулей, не является регулярным, но является языком, таким как , где = число экземпляров подстроки "001" равно числу экземпляров подстроки " 100 " обычный? Обратите внимание, что …
3
Что вы получите, если добавите параметры в контекстно-свободные грамматики?
Я думал о грамматиках для чувствительных к индендангу языков, и похоже, что грамматики CF сработают, если их объединить с параметрами. В качестве примера рассмотрим этот фрагмент для упрощенной грамматики Python в ANTLR-подобном формате: // on top-level the statements have empty indent program : statement('')+ ; // let's consider only one …
2
Как слово «производство» стало синонимом слова «правило» в контексте компьютерных наук?
Я изучаю формальные языки и системы баз производства (системы баз правил), и меня немного смущает вопрос, почему эти два слова «производство» и «правило» означают одно и то же во многих контекстах компьютерных наук. В английском языке они не означают одно и то же. Я не являюсь носителем английского языка, но …
2
Регулярен ли унарный язык, если его показатель является линейной функцией?
Выполняя текущее задание по курсу формальных языков и автоматов, я как бы застрял на упражнениях с унарными языками (надеюсь, это правильный термин), то есть на языках, которые основаны на одной букве. Я не хочу спрашивать о конкретных упражнениях, а о гораздо более общей гипотезе, с которой я столкнулся: Пусть и …
3
неразрешимая проблема и ее отрицание неразрешима
Тем не менее, многие «знаменитые» неразрешимые проблемы, по крайней мере, полуразрешимы, а их дополнение неразрешимо. Одним из примеров, прежде всего, может быть проблема остановки и ее дополнение. Тем не менее, кто-нибудь может привести пример, в котором проблема и ее дополнение неразрешимы и не полурегулируемы? Я думал о языке диагонализации Ld, …
1
Как мне найти кратчайшее представление для подмножества powerset?
Я ищу эффективный алгоритм для следующей задачи или доказательства NP-твердости. Пусть Σ - множество, а A ⊆ P ( Σ ) - множество подмножеств Σ . Найдите последовательность w ∈ Σ ∗ наименьшей длины, такую, что для каждого L ∈ A найдется такое k ∈ N , что { w …
4
Теоремы Бриджа для теории групп и формальных языков
Есть ли какой-нибудь естественный или заметный способ связать или связать математические группы и формальные языки CS или какую-то другую основную концепцию CS, например машины Тьюринга? Я ищу ссылки / приложения. Однако обратите внимание, что я знаю о связи между полугруппами и языками CS (а именно через конечные автоматы ). (Эта …
1
что такое семантика?
Есть много популярных языков. Но компьютерные ученые говорят нам, что для того, чтобы точно понять поведение программ на этих языках и однозначно спорить с поведением программы (например, доказать их идентичность), нам нужно перевести их на другой, хорошо понятный язык. Они называют такой язык "семантикой". Авторы предлагают одну из многих семантик. …
2
Как доказать, что обычные языки закрыты под левым частным?
LLL - обычный язык над алфавитом . Левый фактор относительно - это язык Σ={a,b}Σ={a,b}\Sigma = \{a,b\}LLLw∈Σ∗w∈Σ∗w \in \Sigma^*w−1L:={v∣wv∈L}w−1L:={v∣wv∈L}w^{-1} L := \{v \mid wv \in L\} Как я могу доказать, что регулярно?w−1Lw−1Lw^{-1}L
2
Закрытие против правильного отношения с фиксированным языком
Мне бы очень понравилась ваша помощь в следующем: Для любого фиксированного мне нужно решить, есть ли замыкание под следующими операторами:L2L2L_2 Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} .Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in L : xy \in L_2\} Соответствующие варианты: Обычные языки закрыты под соответственно A r , …
1
Существует ли не зависящий от контекста нерегулярный язык
Я знаю, что существуют нерегулярные языки, поэтому является регулярным, но все примеры, которые я могу найти, являются контекстно-зависимыми, но не контекстно-свободными.L∗L∗L^* Если нет ни одного, как вы это докажете?
1
Может ли POSIX BRE выразить все обычные языки?
Похоже, что «Основные регулярные выражения», как определено в POSIX.1-2008 , не поддерживают чередование a|b(хотя некоторые реализации grep распознают экранированную версию \|). Поскольку регулярные языки по определению замкнуты относительно объединения, означает ли это, что POSIX BRE обладает меньшей выразительной силой, чем конечный автомат? Или есть какой-то способ имитации чередования с использованием …
4
Почему в регулярных выражениях нет перестановок? (Даже если обычные языки, кажется, могут это сделать)
Проблема Нет простого способа получить перестановку с помощью регулярного выражения. Перестановка: Получение слово ( «ААБК») в другом порядке, без изменения числа или рода писем.w=x1…xnw=x1…xnw=x_1…x_n Regex: Регулярное выражение. Для подтверждения: «Перестановки регулярных выражений без повторения» Ответ создает код JavaScript вместо регулярного выражения, предполагая, что это будет более простым. «Как найти все …
3
Обычные языки, которые нельзя выразить только с помощью двух операций регулярного выражения
Я думал, что все регулярные языки могут быть выражены с помощью регулярных выражений (если язык регулярный, он может быть выражен с помощью регулярных выражений), но мне сказали, что для этого вам нужны все три регулярные операции (конкатенация, объединение и звездочка) держать. Например, мне сказали, что если бы я мог использовать …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.