Вопросы с тегом «theory»

Может ли кто-нибудь дать прямое (но не более простое, чем возможно) объяснение транзакции применительно к вычислениям (даже если оно скопировано из Википедии)?

114 database  concurrency  transactions  theory  failover 

С помощью службы RESTful вы можете создавать, читать, обновлять и удалять ресурсы. Все это хорошо работает, когда вы имеете дело с чем-то вроде активов базы данных - но как это преобразовать в потоковую передачу данных? (Или нет?) Например, в случае с видео кажется глупым рассматривать каждый кадр как ресурс, который …

101 rest  streaming  theory 

В настоящее время этот вопрос не подходит для нашего формата вопросов и ответов. Мы ожидаем, что ответы будут подтверждены фактами, ссылками или опытом, но этот вопрос, скорее всего, потребует дебатов, аргументов, опросов или расширенного обсуждения. Если вы считаете, что этот вопрос можно улучшить и, возможно, снова открыть, обратитесь за помощью …

96 java  php  oop  theory 

Может ли компьютер «выучить» регулярное выражение на примерах, предоставленных пользователем? Чтобы уточнить: Я не хочу изучать регулярные выражения. Я хочу создать программу, которая «изучает» регулярное выражение на примерах, которые интерактивно предоставляются пользователем, возможно, путем выбора частей из текста или выбора маркеров начала или конца. Является ли это возможным? Есть ли …

95 regex  artificial-intelligence  theory  automata 

Закрыто. Этот вопрос не по теме . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы он соответствовал теме Stack Overflow. Закрыт 8 лет назад . Уточните этот вопрос «Шутка» в # 505 xkcd рекламирует: «Я называю правило 34 правила 34 Вольфрама». Я знаю, что …

86 theory  cellular-automata 

Какой класс языков действительно распознают настоящие современные регулярные выражения? Всякий раз, когда есть группа захвата неограниченной длины с обратной ссылкой (например (.*)_\1), регулярное выражение теперь соответствует нерегулярному языку. Но S ::= '(' S ')' | εодного этого недостаточно, чтобы сопоставить что-то вроде - контекстно-свободный язык сопоставления пар пар пар символов. …

83 regex  perl  theory  context-free-grammar  language-theory 

Как проверить, является ли ориентированный граф ацикличным? А как называется алгоритм? Буду признателен за ссылку.

82 algorithm  theory  directed-graph  directed-acyclic-graphs 

Я видел этот вопрос , и мне было любопытно, что это за лемма о перекачке ( Википедия мало помогла). Я понимаю, что это в основном теоретическое доказательство, которое должно быть истинным, чтобы язык принадлежал определенному классу, но кроме этого, я этого не понимаю. Кто-нибудь хочет попытаться объяснить это на довольно …

82 theory  proof  pumping-lemma 

Смысл константной корректности состоит в том, чтобы иметь возможность предоставить представление об экземпляре, которое не может быть изменено или удалено пользователем. Компилятор поддерживает это, указывая, когда вы нарушаете константность из константной функции или пытаетесь использовать неконстантную функцию константного объекта. Итак, без копирования константного подхода, есть ли методология, которую я могу …

79 c#  theory  const-correctness