6
ответов
Расстояние между регулярным выражением
Мы можем вычислить своего рода расстояние между регулярными выражениями? Идея к mesure, в котором пути два регулярных выражения подобны.
вопрос задан: 25 January 2010 11:18
4
ответа
Почему C ++ не может быть проанализирован с помощью анализатора LR (1)?
Я читал о синтаксических анализаторах и генераторах синтаксических анализаторов и нашел это утверждение на странице анализа LR в Википедии: многие языки программирования могут быть проанализированы с использованием некоторого варианта синтаксического анал
вопрос задан: 30 March 2018 19:55
3
ответа
иерархия chomsky и языки программирования
Я пытаюсь изучить некоторые аспекты Иерархии Chomsky, которые связаны с языками программирования, и я все еще должен прочитать Книгу Дракона. Я считал, что может быть проанализировано большинство языков программирования...
вопрос задан: 26 May 2015 09:49
3
ответа
Что такое формальный язык программирования?
Что означает это язык программирования является формальным языком программирования? И какие языки являются формальными языками программирования? И которые являются неофициальными языками программирования? Я не нашел...
вопрос задан: 19 April 2010 16:36
2
ответа
Shift-reduce: когда прекратить уменьшать?
Я пытаюсь узнать о восходящем синтаксическом анализе. Предположим, что у нас есть следующая грамматика, с помощью рекурсивных правил, которые осуществляют порядок операций, вдохновленных ANSI C Yacc грамматика: S: A; P:...
вопрос задан: 13 April 2010 04:16
1
ответ
Рекурсивные языки по сравнению с контекстно-зависимыми языками
В иерархии Chomsky не определяется набор рекурсивных языков. Я знаю, что рекурсивные языки являются подмножеством рекурсивно перечислимых языков и что все рекурсивные языки разрешимы...
вопрос задан: 26 May 2015 09:15
1
ответ
Против какого класса языка регулярные выражения Perl могут использоваться?
Я знаю, что некоторые возможности механизма регулярного выражения Perl не являются регулярными. Однако, какой класс - это? Это могло бы быть контекстно-свободно, но теория CS никогда не была моим самым сильным предметом.
вопрос задан: 30 September 2009 22:07
0
ответов
Где я могу найти формальную грамматику для MATLAB?
Я хотел бы написать лексический генератор для преобразования базового подмножества языка MATLAB в C#, C++ и т. д. Чтобы помочь мне в этом, я хотел бы найти документ, содержащий формальную грамматику для MATLAB. ...
вопрос задан: 2 July 2019 13:58
0
ответов
Что такое обычный язык?
Я пытаюсь понять концепцию уровней языков (обычный, контекстно-зависимый, контекстно-зависимый и т. Д.). Я могу легко найти это, но все объяснения, которые я нахожу, представляют собой множество символов и говорят о ...
вопрос задан: 4 May 2017 13:54
0
ответов
Доказать, что этот язык неразрешимый
Неразрешима ли следующий язык L? L = {M | M - это описание машины Тьюринга, и существует вход x длины k такой, что M останавливается не более чем через k шагов} Я думаю, что это так, но я не мог ...
вопрос задан: 4 June 2015 04:29
0
ответов
построение CFG
Как я могу построить Граммер без контекста для языка x ^ ay ^ bz ^ 2 (a + b), где a> = 0, b> = 0.
Спасибо за помощь ...
вопрос задан: 22 March 2013 18:43
0
ответов
Как найти язык по регулярному выражению?
Как найти язык для следующих регулярных выражений над алфавитом {a, b}? aUb*
(ab*Uc)
ab*Ubc*
a*bc*Uac EDIT: Прежде чем я получу безумное количество голосов, я был бы признателен, если бы кто-нибудь ...
вопрос задан: 14 September 2012 19:10
0
ответов
Чтобы убедиться :Лемма о накачке только для бесконечных регулярных языков?
Так что речь идет не о лемме о накачке и о том, как она работает, а о предварительном -условии. Везде в сети можно прочитать, что регулярные языки должны пройти лемму о накачке, но нигде никто не говорит...
вопрос задан: 6 August 2012 16:36
0
ответов
Какие формальные языки могут анализировать современные механизмы регулярных выражений?
Здесь на SO люди иногда говорят что-то вроде «вы не можете анализировать X с помощью регулярных выражений, потому что X не является обычным языком». Однако, насколько я понимаю, современные механизмы регулярных выражений могут...
вопрос задан: 7 July 2012 21:19
0
ответов
Как преобразовать NFA в регулярное выражение
Я знал, что для преобразования регулярного выражения в NFA есть алгоритм. Но мне было интересно, есть ли алгоритм для преобразования NFA в регулярное выражение.
Если есть, то что это? И если бы там ...
вопрос задан: 9 February 2012 05:21
0
ответов
Найдите недетерминированную CFL, обратная задача которой детерминирована
У меня есть домашнее задание, и я закончил, кроме одного вопроса (см. заголовок) Для жизни моей, я не могу понять это... поэтому я начал думать, что это вопрос с подвохом. текущий ответ ...
вопрос задан: 2 December 2011 23:09
0
ответов
Зачем нам нужны префиксная, постфиксная нотация
Я знаю, как каждый из них может быть преобразован друг в друга, но никогда толком не понимал, каковы их приложения. Обычная инфиксная операция вполне читаема, но где она Ошибка, которая привела к ...
вопрос задан: 26 September 2011 23:21
0
ответов
Проверка, состоит ли строка из сбалансированных скобок
Я написал следующую программу для проверки строк на наличие сбалансированных скобок: isBalanced xs = isBalanced 'xs [] isBalanced' [] [] = Истина
isBalanced '[] _ = False isBalanced' ('(': xs) ys = isBalanced '...
вопрос задан: 29 August 2011 01:38
0
ответов
Логическое И и НЕ существует в ANTLR?
Нет ли логики в ANTLR? Я в основном пытаюсь опровергнуть правило, которое у меня есть, и мне было интересно, возможно ли это, также есть ли логика И?
вопрос задан: 3 April 2011 21:26