Результаты поиска

Такие правила состоят из исходного графа, который должен быть сопоставлен с подграфом полного состояния, и заменяющего графа, который заменит сопоставл ...в форме <math>L \rightarrow R</math>, где <math>L</math> называется графом-образцом (или левой стороной), а <math>R</math> называется заменяющим графом (или пр ...

...ное время{{sfn|Eppstein|1999|с=1–27}}{{sfn|Nešetřil, Ossona de Mendez|2012|с= 400–401}}. Иногда также используется название '''сопоставление подграфа''' для той же задачи. Это название делает упор на поиске таких под ...

...значения]], [[Упорядоченная пара|пары]] и [[Список (информатика)|списки]], с помощью кодирования Чёрча представляются в лямбда-исчислении как [[Функция С их помощью, например, можно реализовать функцию вычисления длины списка <ma ...

...м|автоматически находить доказательства]] в некоторых ограниченных теориях с помощью так называемых ''тактик''. Coq применяется для [[Формальная верифик ...авления с образцом]], в частности, <code>(S n')</code> — это сопоставление с [[Конструктор (функциональное программирование)|конструктором]] <code>S</co ...

...ис|си-подобных]] языках программирования. На самом деле, подобные операции с другим синтаксисом имеются и во многих далёких по синтаксису от [[Си (язык Может быть использована в ситуации, не связанной с присваиванием: ...

...ной задачей алгоритма является нахождение строки длины ''m'', называемой ''образцом'', в тексте длины ''n''. Один из простейших алгоритмов для этой задачи прос ...оличество символов, с которыми производится сравнение, может быть сравнимо с ''n/m'' в лучшем случае. Алгоритм Рабина — Карпа вместо этого фокусируется ...

...в в термы. Применяя эту функцию к различным типам, мы будем получать термы с идентичной структурой, но разными типами: Типы Системы F конструируются из набора [[Переменная типа|переменных типа]] с помощью операторов <math>\to</math> и <math>\forall</math>. По традиции для ...

Рисунок иллюстрирует детерминированный конечный автомат с помощью [[Диаграмма состояний (теория автоматов)|диаграммы состояний]]. В э ...чного автомата]] (НКА, {{lang-en|nondeterministic finite automata}}, NFAs) с помощью {{не переведено 5|Конструкция силового агрегата|сведения НКА к ДКА| ...

...ая типизация|сильная]] [[статическая типизация|статическая]] [[вывод типов|с выводом типов]] ...льная и слабая типизация|сильная]], [[статическая типизация|статическая]], с автоматическим [[вывод типов|выводом типов]], основанная на [[Система типов ...

...через [[обмен сообщениями|обмен асинхронными сообщениями]] в соответствии с [[модель акторов|моделью акторов]]. ...ссами. Препроцессор{{Переход|#Препроцессор и макросы}} поддерживает работу с макросами и включение заголовочных файлов. ...

...входе<ref name=Sipser />. Временная сложность алгоритма обычно выражается с использованием нотации [[«O» большое и «o» малое|«O» большое]], которая учи ...алгоритмом с ''[[Линейная функция|линейным]] временем работы'', а алгоритм с <math>T(n)\in O(n^\alpha)</math> для некоторого <math>\alpha > 1</math> наз ...

...ирования{{sfn|Cardelli, "Typeful programming"|1991|loc=2.Typeful languages|с=5}}{{sfn|Rossberg, Russo, Dreyer, "F-ing Modules"|2010|4=}}{{переход|#Крити ...яют новые структуры на основе уже вычисленных, естественно, в соответствии с определёнными сигнатурами. Это позволяет решать самые разнообразные задачи ...

...}}{{sfn|Cardelli|1991|с=3}}{{sfn|Пирс|2012|loc=22.7. Полиморфизм через let|с=354}}. ...зование именно ad-hoc-полиморфизма, а не параметрического{{sfn|Wadler|1988|с=1—2}}. Теория [[Параметрический полиморфизм#Квалифицированный тип|квалифици ...

...elli, Wegner, "On Understanding Types"|1985|loc=1.3. Kinds of Polymorphism|с=6}}, делая язык более выразительным и существенно повышая коэффициент [[пов ...[система типов|системы типов]] называют полиморфными. В сообществах языков с неполиморфными [[система типов|системами типов]] (потомки [[Алгол]]а и [[BC ...

...бы, в случае реализации, первым компьютером в мире, хотя и механическим — с паровым двигателем. ...nkalkül]]», созданный немецким инженером [[Цузе, Конрад|К. Цузе]] в период с [[1943 год|1943]] по [[1945 год]]ы<ref>[[Raúl Rojas|Rojas, Raúl]], et al. ( ...

...метки графа]]. При раскраске элементам графа ставятся в соответствие метки с учётом определённых ограничений; эти метки традиционно называются «цветами» ...етом Аппелем|en|Kenneth Appel}} и [[Хакен, Вольфганг|Вольфгангом Хакеном]] с использованием компьютерного перебора. Идея доказательства во многом опирал ...

...чательный зафиксированный вид МТ приобрёл к X веку н. э.{{sfn|Добыкин|2012|с=41}}{{sfn|Price|2007|p=57}} ...менее 6000 рукописей, содержащих как полный, так и частичный текст Танаха с Масорой, их копирование продолжалось до начала XVI века. ...

...ставит эту статью к лишению статуса. Три сноски, короткое введение, статья с момента избрания не дополнялась. --[[User:Shureg|Shureg]] 20:26, 16 октября * Сноски: полностью согласен с критицизмом. Недостающие ссылки расставил (возможно, не везде). Объём: об А ...