theory

0зной

2ответ

Регулярное выражение равной длины для разворота языка

Я изучаю теорию CS самостоятельно, и я пытался решить жесткое доказательство. Исходная задача определена в формальных терминах здесь: В принципе, я должен доказать, что следующее: учитывая некоторое р

0зной

1ответ

VDM-SL обозначения для одного, конечного подмножества

Не уверен, если это находится в пределах области SO, но: Использование VDM-SL, я искал вокруг для «лучшего» способа описания одного, конечное подмножество ℕ. В моих путешествиях я нашел несколько спос

-1зной

1ответ

писать состав карты и fold_left как fold_left

Учитывая f : A -> B -> A g : A -> A l : list B acc : list A как я могу написать (map g (fold_left f l acc)) как fold_left? Я пытался писать что-то вроде (fold_left (fun x => (g (f x)) l (map g ac

-2зной

3ответ

Как непроверено int overflow work C#

Мы знаем, что значение int имеет максимальное значение 2^31 - 1 и минимальное значение -2^31. Если бы мы должны были установить Int до максимального значения: int x = int.MaxValue; И мы принимаем, ч

0зной

1ответ

Сеть: отправка видео (в теории)

Контекст Мы получили ип нестационарный канал передачи. Некоторые пакеты могут быть потеряны. Отправка одного сетевого пакета в любом направлении (от A до B или от B до A) занимает 3 секунды. Мы допуск

0зной

1ответ

Идеи для обработки потерянных пакетов (теория)

Контекста Мы получили ип нестационарного канала передачи. Некоторые пакеты могут быть потеряны. Отправка одного сетевого пакета в любом направлении (от A до B или от B до A) занимает 3 секунды. Мы доп

1зной

1ответ

Каково имя лямбда-нотации, которое использует целочисленные смещения для ссылки на неявные одиночные аргументы?

Выглядит вроде как это (пример показывает Чёрча и Y-комбинатор): zero := λ.λ.0 one := λ.0 -- or more verbosely: λ.λ.1 0 two := λ.λ.1 (1 0) three:= λ.λ.1 (1 (1 0)) add := λ.λ.λ.λ.3 1 (2 1 0)