Вопросы по теме 'formal-languages'
контекстно-зависимая токенизация кода
Я работаю над парсером для языка, на котором
идентификаторы (например, буква, за которой следует ряд буквенно-цифровых символов или знак подчеркивания),
целые числа (любое количество цифр и, возможно, символы вставки ^ ),
некоторые...
243 просмотров
schedule
27.09.2021
Проверка модели: свойства безопасности и живучести
Я знаю, что такое свойства «Безопасность» и «Живучесть», а также связь между префиксами «Безопасность» и «Плохой» свойства LT. Я хотел понять свойства закрытия и почему закрытие свойства безопасности является самим свойством. Изображение для...
188 просмотров
schedule
14.10.2021
Может ли КПК с двумя стеками принимать RE Language?
Итак, мне было немного трудно понять, что именно подразумевается под строкой, на которой машина Тьюринга не останавливается. Я где-то читал, что машина Тьюринга эквивалентна детерминированному автомату с двумя стеками. Но как детерминированный...
622 просмотров
schedule
27.02.2022
Контекстно-зависимые и полные по Тьюрингу формальные языки
Знаете ли вы о каких-либо, которые могут задавать контекстно-зависимую грамматику? Например * разрешение неоднозначности указателя символа/умножения. Я ищу формальный язык, который позволит разрешить такие двусмысленности. Язык, который я ищу,...
230 просмотров
schedule
17.03.2022
Доказательство через количество шагов вывода
Даны G = {a, b, c, d}, {S, X, Y}, S, {S->XY, X->aXb, X->ab, Y->cYd, Y->cY, Y ->кд}}
Докажите, что |w|c-|w|d+|w|a≥|w|b
|w|a — это количество букв «a» в строке. Это имеет смысл, так как будет больше (или такое же количество) 'c', чем 'd',...
55 просмотров
schedule
26.04.2022
Что такое обычный язык?
Я пытаюсь понять концепцию уровней языков (обычный, контекстно-зависимый, контекстно-зависимый и т. Д.).
Я могу легко это найти, но все объяснения, которые я нахожу, представляют собой множество символов и говорят о наборах . У меня два вопроса:...
48256 просмотров
schedule
28.05.2022
Формальная грамматика XML
Я пытаюсь создать небольшой парсер для XML-файлов на C. Я знаю, что мог бы найти несколько готовых решений, но мне нужны только некоторые базовые вещи для встроенного проекта. Я пытаюсь создать грамматику для описания XML без атрибутов, только теги,...
985 просмотров
schedule
17.06.2022
Что это за грамматика? Бесконтекстный или контекстно-зависимый
Я изучаю формальные языки и теорию автоматов, и у меня есть вопрос о проблеме в книге, на которую нет ответа. вопрос в том:
Этот язык является контекстно-свободным, регулярным или контекстно-зависимым?
L = {a n w w R b n | w - это (a...
697 просмотров
schedule
19.06.2022
Грамматика BNF, порождающая язык L
Я трачу много времени, но до сих пор не могу понять, как это решить. У меня есть ответ. Можете рассказать, как он это придумал?
Существуют ли определенные правила или стандартная конструкция, которым я могу следовать? Я знаю правила объединения...
147 просмотров
schedule
03.08.2022
Как построить Pushdown Automata для данного языка
Как построить автоматы выталкивания для следующего языка L = {a^n b^m a^2m | m, n принадлежат N}.
369 просмотров
schedule
13.08.2022
Преобразование регулярного выражения в обычную грамматику/праволинейную грамматику
Я хотел бы убедиться, что я правильно преобразовываю это регулярное выражение в праволинейную грамматику на основе информации из этого предыдущего вопроса и замечательного ответа Грижеша: Левая и правая линейная грамматика
Вот вопрос: «Напишите...
2425 просмотров
schedule
19.08.2022
Рисование простого недетерминированного конечного автомата (NFA)
Как я могу нарисовать NFA (автомат) для этого вопроса?
Сначала он должен принять:
алфавит = х, у, г
L = {ш | w такой, что одно из числа вхождений x,y,z кратно трем. }
Например: {xxx, yyy, zzz, xyxyzzz, xyxyx, zyzyz...}
2507 просмотров
schedule
07.09.2022
Создание DFA, который принимает язык с объединением
Я пытаюсь понять, как создать DFA, который принимает язык с буквой ∑ = {a, b}. Это часть набора домашних заданий, и я думаю, что у меня есть очень базовое представление о том, как создавать простые DFA, но я не могу понять символ объединения и,...
270 просмотров
schedule
23.09.2022
Преобразование в нормальную форму Хомского
Мне нужна твоя помощь. У меня есть эти производства:
1) A--> aAb
2) A--> bAa
3) A--> ε
Я должен применить нормальную форму Хомского (CNF).
Чтобы применить вышеуказанное правило, я должен:
исключить ε продукции...
1477 просмотров
schedule
12.07.2023
какова длина языка, содержащего эпсилон?
1, у меня есть NFA, который может распознавать два слова: «аа» и «эпсилон». Таким образом, язык L1, который распознает этот NFA, представляет собой набор {aa, epsilon}. Какова длина этого языка? |L1| = 1? или |L1| = 2?
2. Предположим, у меня...
5944 просмотров
schedule
04.12.2022
Почему дополнение к регулярному языку по-прежнему остается регулярным языком?
Согласно моему учебнику, дополнение L1 = A * - L1 является обычным языком до тех пор, пока L1 является обычным языком. Разве A * также не включает контекстно-свободные языки, контекстно-зависимые языки и языки с рекурсивным перечислением? A * -L1...
9179 просмотров
schedule
29.01.2023
Есть ли у этого DFA решение?
Я пытаюсь создать DFA, который может распознавать строки с алфавитом {a,b,c}, где a и c появляются четное количество раз, а b появляется нечетное количество раз.
Мне интересно, что это может быть выражено только с помощью других методов, таких как...
110 просмотров
schedule
30.04.2023
Как указать математическое выражение, используя спецификацию Z?
как я могу указать математическое выражение, используя нотацию Z? Я думаю, что свободные типы подходят для этой ситуации, потому что выражения имеют рекурсивный характер. учтите, что в нашем выражении могут быть скобки и переменные. и разрешены...
99 просмотров
schedule
09.07.2023
Захват несмежного текста с помощью регулярных выражений. Как мне это сделать?
Я хочу захватить несмежный текст из строки с помощью регулярного выражения, и мне это очень сложно. (Не удалось заставить это работать)
У меня есть следующее:
«Апельсины Джона Кей Си Мэри Ви».
KC и V — это теги, и они всегда будут...
781 просмотров
schedule
13.01.2023
Грамматика, сгенерированная BNFC, не работает на простейших примерах
Я хотел бы написать интерпретатор на haskell для простого императивного языка. Для этого я сначала написал грамматику этого языка для инструмента BNFC ( http://bnfc.digitalgrammars.com/ ).
Часть этой грамматики посвящена арифметическим выражениям,...
120 просмотров
schedule
22.06.2023