Вопросы по теме 'quantifiers'
JavaScript: недопустимый квантификатор в регулярном выражении
Регулярное выражение строится на лету, но я вывел его в firebug:
(.{1,38})(+|$\n?)
ошибка
invalid quantifier +|$\n?)
Я не уверен, с чего начать.
Фактический код:
var re = top.RegExp;
var regex = new re("(.{1," + len +...
18733 просмотров
schedule
15.12.2023
Может кто-нибудь объяснить, что здесь происходит? экзистенциальные универсальные квантификации
Я должен запрограммировать (С++) и найти истинное значение следующего. Я не уверен в том, что именно это означает.
AxAy(C(x, y) -> ((Aw(C(x, w) -> w = y) ^ (Az(C(z, y) -> z = x))
обратите внимание, что -> — это импликация, C(x, y) —...
74 просмотров
schedule
24.11.2023
Регулярное выражение JavaScript с переменной квантификатора класса символов
Я пытаюсь создать регулярное выражение с классом символов, который имеет определенный квантификатор, который является переменной, например:
var str = "1234.00";
var quantifier = 3;
str = str.replace(/(\d)(\d{quantifier}\.)/,"$1,$2");
//str should...
2472 просмотров
schedule
04.12.2022
Какова теоретическая основа экзистенциальных типов?
Haskell Wiki хорошо объясняет, как использовать экзистенциальные типы, но я не совсем разбирайтесь в теории, стоящей за ними.
Рассмотрим этот пример экзистенциального типа:
data S = forall a. Show a => S a -- (1)
чтобы...
4221 просмотров
schedule
14.02.2023
Инструменты для исключения квантификаторов в линейной целочисленной арифметике
Существуют ли какие-либо другие доступные (и до сих пор поддерживаемые) инструменты SMT, которые выполняют исключение квантификаторов для линейной целочисленной арифметики помимо Z3?
Спасибо.
241 просмотров
schedule
17.06.2022
Определение пользовательских квантификаторов
Я пытаюсь заставить Z3 проверить некоторые формальные доказательства, использующие повторяющийся максимум в обозначениях. Например, для f функция (↑i: 0 ≤ i ‹ N: f(i)) обозначает наибольшее значение f, когда она применяется к значению между 0 и N. Ее...
199 просмотров
schedule
25.05.2022
Есть ли разница между квантификаторами `{m}` и `{m}?`?
Пожалуйста, приведите пример, где можно увидеть разницу между жадной и ленивой версиями квантификатора "повторить точно m раз". Вопрос возник из здесь и здесь . Если различий нет, то зачем квантификатор {m}? существует?
98 просмотров
schedule
22.05.2024
Гипотеза универсальной количественной оценки в Coq
Я хочу изменить гипотезу H из формы ниже
mL : Map
mR : Map
H : forall (k : RecType) (e : String.string),
MapsTo k e (filter (is_vis_cookie l) mL) <->
MapsTo k e (filter (is_vis_cookie l) mR)...
197 просмотров
schedule
21.06.2022
Притяжательные квантификаторы регулярных выражений Java
Учитывая это регулярное выражение:
x[^x]*+x
и эта входная строка для сопоставления:
xbbbx
Результатом является совпадающий текст xbbbx , начинающийся с индекса 0 и заканчивающийся индексом 5.
Но, изменив только последнюю букву x...
159 просмотров
schedule
30.03.2024
Как определить «Большинство» в Isabelle/FOL?
Я пытаюсь дополнить FOL.thy квантором MOST , который я намереваюсь определить как простое большинство, т. е.
(MOST x. P(x)) ==> card P(x) > card ~P(x).
Я не знаю, как изменить файл FOL.thy . Под axiomatization думал добавить:...
240 просмотров
schedule
17.12.2022
Регулярное выражение - сопоставьте диапазон символов с квантификатором, который соответствует только числам
Я нашел аналогичный вопрос на SO, но ничего не могу понять. Вот что мне нужно;
6 или более цифр, разрешены эти символы \s\-\(\)\+
Вот что у меня есть /^[0-9\s\-\(\)\+]{6,}$/
Проблема в том, что я не хочу, чтобы что-либо, кроме числа,...
2303 просмотров
schedule
04.04.2023
z3 истекает в случае формулы с кванторами
Я получаю тайм-аут в следующем примере. http://rise4fun.com/Z3/zbOcW
Есть ли какой-нибудь трюк, чтобы заставить это работать (например, переформулируя проблему или используя триггеры)?
84 просмотров
schedule
11.07.2022
четкое понимание притяжательных кванторов
Я прочитал так много вопросов и ответов о притяжательных квантификаторах в java на этом веб-сайте и в руководствах по java, но мужчины, я все еще в замешательстве !! я не понимаю!! например скажем
my regex is .*+foo
my input string is mdfoo...
78 просмотров
schedule
26.02.2022
Квантификаторы регулярных выражений и классы символов
В учебнике по Java есть примеры и описания квантификаторов регулярных выражений.
Жадный - съедает всю строку, затем отступает на один символ и повторяет попытку
Regex: .*foo // greedy
String to search: xfooxxxxxxfoo
Found "xfooxxxxxxfoo"...
931 просмотров
schedule
28.01.2023
Лучший способ выполнить универсальное создание в Coq
Предположим, у меня есть гипотеза H : forall ( x : X ), P x и переменная x : X в контексте. Я хочу выполнить универсальное инстанцирование и получить новую гипотезу H' : P x . Как это сделать наиболее безболезненно? Видимо apply H in x не...
502 просмотров
schedule
15.03.2023
Есть ли способ расширить область действия квантора экзистенциального типа в Scala, чтобы убедить средство проверки типов в том, что две переменные имеют один и тот же тип?
Рассмотрим следующий фрагмент кода:
case class Foo[A](a:A)
case class Bar[A](a:A)
def f[B](foo:Foo[Seq[B]], bar:Bar[Seq[B]]) = foo.a ++ bar.a
val s : Seq[T] forSome {type T} = Seq(1, 2, 3)
f(Foo(s), Bar(s))
Последняя строка не проходит...
115 просмотров
schedule
20.04.2022
исключение квантора в z3
Я пытаюсь получить z3, чтобы упростить формулу ∃u. (U = x) ∧ (u = y) до (x = y). Я пытался:
(declare-sort A)
(declare-const x A)
(declare-const y A)
(assert (exists ((u A)) (and (= u x) (= u y))))
(apply (then ctx-solver-simplify qe))
но это...
222 просмотров
schedule
04.07.2022
Экзистенциальные и универсальные кванторы в ИИ
Я только что начал логику предикатов первого порядка. Почему квантор универсальности и одиночная импликация идут рука об руку? Точно так же квантор существования и конъюнкция идут вместе?
Возьмем утверждение: Некоторые лягушки зеленые Почему...
540 просмотров
schedule
24.07.2022
Ограничивающая универсальная количественная переменная
Я хотел бы знать, можно ли ограничить диапазон значений универсальной количественной переменной в Z3.
Например, предположим, что у меня есть переменная типа Real с именем time, которая используется для моделирования времени в системе. Допустим, у...
128 просмотров
schedule
05.08.2022
Регулярное выражение: количественная оценка одного и того же символа
Как я могу сопоставить повторение символа n раз?
Например, с этим образцом текста
абв ddd d123
123456 777 xssx
Я хочу сопоставить три последовательных 7 и три последовательных d
я пробовал с
.{3}
Но квантификатор {3}, а также...
71 просмотров
schedule
25.06.2022