формальна граматика). В тому випадку, коли кожному слову формальної мови зіставляється його семантика (сенс, значення, інтерпретація), формальну мову...

Алгоритмі́чна мо́ва 1. формальна мова, призначена для записування алгоритмів. Використання алгоритмічної мови базується на можливості формального визначення...

Форма́льна систе́ма (форма́льна тео́рія, аксіомати́чна тео́рія, англ. formal system) — результат строгої формалізації теорії, яка передбачає повну абстракцію...

Формальна граматика або просто граматика в теорії формальних мов — спосіб опису формальної мови, тобто виділення деякої підмножини з множини всіх слів...

Регулярна мова (регулярна множина) — формальна мова третього (найвужчого) класу в ієрархії Чомскі. Регулярну мову можна задати регулярною граматикою або...

інтерпретацією або моделлю (формальна семантика). Перехід до перегляду одиниць природної мови (наприклад, англійської), як формальних символів, було запроваджено...

дефектів та задовольняє певним властивостям. Це може зробити формальна верифікація. Формальна верифікація може використовуватися для перевірки таких систем...

значення мови програмування та моделі обчислень. Формальна семантика мови задається математичною моделлю, яка описує обчислення можливі в мові. Денотаційна...

В інформатиці та математичній теорії формальних мов, локальна мова (2-тестова мова) — це формальна мова, кожне слово якої задається першою й останньою...

семантику (інтерпретації) формальних та природних мов шляхом їх формального опису в математичних термінах. Формальна мова може бути задана без будь-якої...

забезпечує розширення символів і рядків символів об'єктної мови. Докладніше: Формальна мова Формальна мова складається з фіксованого збору пропозицій (також називають...

Формальні методи (англ. Formal methods) — у комп'ютерних науках, побудовані на математиці методи написання специфікацій, розробки та перевірки (англ....

Z-нотація (англ. Z notation, розм. зед) — формальна мова для написання специфікацій для інформаційних систем та модулів. Базується на теорії множин Цермело-Френкеля...

формалізованими природними мовами, як-от Gellish. Gellish має варіанти з природними мовами, скажімо формальна англійська Gellish і формальна голландська Gellish...

 — це мова, на якому написані книги про теорії доказів. З сходами метамови Тарського тісно пов'язана теорія типів Бертрана Рассела. Формальна граматика...

окремих слів). Формальна еквівалентність має тенденцію підкреслювати значення вірності лексичним деталям та граматичній структурі мови оригіналу, тоді...

Адресне програмування (також адресна мова) — математичний формалізм (формальна мова), що ставить за мету опис деяких комп'ютерних операцій, передусім пов'язаних...

Форма́льна специфіка́ція — математичний опис програмного забезпечення або обладнання, яке може бути використане для розробки реалізації. В ній описується...

Language — універсальна мова запитів, або ж англ. contextual query language — контекстуальна мова запитів) — формальна мова для представлення запитів...

арабська мова (Modern Standard Arabic або MSA) — наддіалектний різновид арабської мови, яка використовується на письмі та у формальній мові освічених...

Онтологічні мови — формальні мови для побудови онтологій. Використовуються в комп'ютерних науках і штучному інтелекті. Вони дозволяють кодування знань...

Мо́ва розмі́тки — штучна мова, що використовує набір анотацій до тексту, що надає інструкції стосовно структури тексту чи його відображення. Мови розмітки...

властивість певних класів формальних мов. В багатьох випадках за допомогою цієї леми можна довести, що певна формальна мова є не регулярною або не безконтекстною...

власницька об'єктно-орієнтована мова запитів до реляційних баз даних; наступниця Datalog; Common Query Language (CQL) — формальна мова для подання запитів до систем...

множини другої особи — «ustedes» (як формальну, так і неформальну). В Іспанії існують дві форми: «ustedes» (формальна) та «vosotros» (неформальна). Вимова...

визначення лексичної структури мови програмування. Формальна мова належить до типу i, якщо її породжує граматика типу i. Формально, мова L належить до типу i ∈...

валлійської мови незначні у порівнянні з різницею між розмовною та літературною мовами. Остання набагато більш формальна та є, між іншим, мовою валлійських...

сімейство множин, що моделюють можливі стани такого процесу, або як формальна мова, що моделює різні послідовності, у які можуть бути включені елементи...

багатьма перевагами. Наприклад: Формальна семантика дає можливість математичних доказів коректності програми; Формальна семантика полегшує розробку системи...

мова Інформаційно-пошукова мова Логіко-математична мова Мова програмування Формальна мова Автоматна мова Безконтекстна мова Категоріальна мова Мова породжувана...

Регулярна граматика — формальна граматика типу 3 за ієрархією Чомскі. Регулярні граматики визначають в точності всі регулярні мови, і тому еквівалентні...