Результати пошуку
Перейти до навігації
Перейти до пошуку
Збіги в назвах сторінок
- '''Мови специфікацій''' — спеціальні [[Дескриптивна лінгвістика|дескриптивні]] ...150930020243/http://www.programsfactory.univ.kiev.ua/ru/content/books/2/75 Мови специфікації програм і їхня класифікація] ...4 КБ (57 слів) - 13:30, 22 лютого 2020
- {{short description|Статистична модель структури мови}} Модель мови забезпечує [[контекст]] для розрізнювання слів та фраз, які звучать схоже. ...36 КБ (2073 слова) - 21:14, 11 лютого 2024
- Висота ітерації <math>h(L)</math> регулярної мови <math>L</math> визначається як найменша висота ітерації всіх регулярних вир ...лити висоту ітерації регулярного виразу просто, визначення висоти ітерації мови іноді може видатися заплутаним. Наприклад, регулярний вираз ...15 КБ (685 слів) - 01:21, 10 червня 2022
Збіги в текстах сторінок
- ...снує константа n (залежна від L), для якої кожен ланцюжок <math>w</math> з мови L, який задовільняє нерівність <math>|w|\geq n</math>, можна розбити на лан |назва = Формальні мови та алгоритмічні моделі ...2 КБ (54 слова) - 15:52, 25 жовтня 2023
- Для визначення приналежності мови до класу регулярних існує [[Лема про накачку для регулярних мов]] та [[теор «Стандартними» способами опису регулярної мови є представлення її у вигляді [[Скінченний автомат|скінченного автомату]], р ...6 КБ (170 слів) - 10:24, 13 грудня 2022
- ...еорії [[Формальна мова|формальних мов]], '''лема про накачку''' для певної мови стверджує, що мова належить класу мов, якщо будь-який досить довгий рядок в ...класу мов, і не можуть використовуватись для доведення факту приналежності мови класу, через те, що лема про накачку є тільки [[необхідна умова|необхідною] ...5 КБ (172 слова) - 03:09, 2 грудня 2024
- Будь-яка мова <math>L_1</math> називається '''звідною за Карпом''' до мови <math>L_2</math>, якщо існує функція <math>F\colon \Sigma^* \mapsto \Sigma^ ...</math>. Таким чином, неформально мова <math>L_1</math> «не складніше» від мови <math>L_2</math>. ...4 КБ (162 слова) - 22:37, 23 березня 2022
- ...ого виробу відповідає слову ἄναξ (''ánax'', «Князь») із класичної грецької мови.]] ...[[хі (літера)|хі (X)]]. Однак, літеру ксі було запозичено із фінікійської мови пізніше за інші літери. ...2 КБ (49 слів) - 06:19, 6 травня 2022
- '''Мови специфікацій''' — спеціальні [[Дескриптивна лінгвістика|дескриптивні]] ...150930020243/http://www.programsfactory.univ.kiev.ua/ru/content/books/2/75 Мови специфікації програм і їхня класифікація] ...4 КБ (57 слів) - 13:30, 22 лютого 2020
- [[Категорія:Формальні мови]] ...896 байтів (48 слів) - 22:39, 12 жовтня 2023
- ...ропонований [[Джон Моклі|Джоном Моклі]] у [[1949]] році. Оригінальна назва мови, надана автором — Brief Code. {{Мови програмування}} ...3 КБ (113 слів) - 15:16, 11 лютого 2023
- ...над алфавітом <math>\Sigma</math> називається локальною, якщо існують такі мови <math>L_1\subseteq \Sigma^*</math>,<math>L_2\subseteq \Sigma^*</math> та <m * Розглянемо алфавіт <math>\Sigma=\{a,b,c\}</math> та мови <math>L_1,L_2,L_3</math> над <math>\Sigma</math>. <math>L_1=\{a,b\}</math>, ...4 КБ (274 слова) - 04:25, 17 червня 2020
- |<math>\begin{array}{r} L(r_1) \\ L(r_2) \end{array}</math> - різні мови [[Категорія:Формальні мови]] ...3 КБ (146 слів) - 18:03, 29 червня 2024
- * [[компілятор]]и — перетворюють текст програми [[мови високого рівня|мовою високого рівня]] на [[об'єктний код]] чи [[байт-код]]. Оскільки компілятори та інтерпретатори реалізують мови програмування, вони мають спільні риси: їх структура досить схожа, в основу ...4 КБ (196 слів) - 18:16, 20 лютого 2024
- ...мови]] її номер. З її допомогою можна явно пронумерувати наступні об'єкти мови: [[Змінна|змінні]], [[Предметна константа|предметні константи]], [[Функціон ..., чи є воно номером чи ні, і якщо є, то побудувати відповідний йому об'єкт мови. Нумерація Геделя дуже схожа на посимвольне [[кодування]] рядків числами, а ...5 КБ (200 слів) - 22:22, 19 січня 2025
- ...чів для кожної комбінації підтримуваних мов, оскільки кількість комбінацій мови є лінійною (<math>n-1</math>), а не квадратичною <math>\left(\textstyle{\bi ...екладу вносить можливі помилки та двозначності — використання опорної мови передбачає два кроки, а не один. Наприклад, коли [[Ернан Кортес]] спілкував ...9 КБ (158 слів) - 18:25, 15 лютого 2024
- ...ua/s/Kvintyljjon ''КВІНТИЛЬЙОН — Академічний тлумачний словник української мови''] ''(онлайнсловник '''sum.in.ua'''; процитовано 9-го лютого 2024-го)''.</r ...1 КБ (34 слова) - 01:57, 9 грудня 2024
- Біграми використовують в одній з найуспішніших [[Модель мови|мовних моделей]] для [[розпізнавання мовлення]].<ref>{{cite book |last1=Col ...біграм є одним з підходів до статистичної [[Визначення мови|ідентифікації мови]]. ...8 КБ (372 слова) - 19:53, 10 серпня 2023
- ...й рядок|порожньому слову]] (epsilon, ε) перебувати в множині слів описаної мови. Авторкою концепції нормальної форми є [[Шейла Грайбах]]. [[Категорія:Формальні мови]] ...4 КБ (203 слова) - 09:28, 1 вересня 2024
- ...типовою]] мовою програмування. Нові програми створюються шляхом розширення мови «новими словами» (позначення для підпрограм у Forth). ...ьзом Муром наприкінці 1960-х — початку 1970-х років. Перша реалізація мови Forth з'явилася у 1971 році, під час роботи Мура в Національній радіоастрон ...9 КБ (348 слів) - 05:46, 6 травня 2022
- ...'<ref>{{Cite book|url=http://sum.in.ua/p/7/445/2|title=Словник української мови: в 11 томах. — Том 7|last=Білоштан|first=А.П.|year=1976|publisher=Наукова д ...1 КБ (75 слів) - 15:53, 12 серпня 2017
- == Мови породжені КЗ-граматиками == ...алежні мови]]. Тобто, кожна КЗ граматика породжує КЗ мову, і для кожної КЗ мови існує КЗ граматика, що її породжує. ...9 КБ (461 слово) - 09:19, 5 травня 2021
- == Мови програмування == ! colspan="2" |Мови програмування ...8 КБ (433 слова) - 23:46, 9 грудня 2024