Логотип
Юніонпедія
Зв'язок
Завантажити з Google Play
Новинка! Завантажити Юніонпедія на вашому Android™ пристрої!
безкоштовно
Більш швидкий доступ, ніж браузер!
 

Граматика визначених тверджень

Індекс Граматика визначених тверджень

Грама́тика ви́значених тве́рджень (Definite Clause Grammar (DCG), DC-грамматика) — це спосіб представлення граматики природних або формальних мов у логічних мовах програмування, таких як Пролог.

28 відносини: NEC, Контекстно-вільна граматика, Контекстно-залежна граматика, Природна мова, Пролог, Обробка природної мови, Абстрактне синтаксичне дерево, Англійська мова, Роберт Ковальський, Синтаксичний цукор, Словозміна, Французька мова, Франція, Формальна мова, Шотландія, Марсель, Мова програмування, Граматика, Диз'юнкт Горна, Ієрархія Чомскі, Единбург, Единбурзький університет, Логічне програмування, Логіка першого порядку, 1972, 1978, 1984, 1995.

NEC

NEC (скорочення від Nippon Electric Corporation, 日本電気株式会社) — японська корпорація, виробник електронної, комп'ютерної техніки, телекомунікаційного устаткування, одна з найбільших світових телекомунікаційних компаній.

Новинка!!: Граматика визначених тверджень і NEC · Побачити більше »

Контекстно-вільна граматика

Контекстно-вільна граматика (скорочено КВ граматика) — формальна граматика типу 2 в ієрархії Чомскі.

Новинка!!: Граматика визначених тверджень і Контекстно-вільна граматика · Побачити більше »

Контекстно-залежна граматика

Контекстно-залежна граматика (скорочено КЗ-граматика) — формальна граматика типу 1 в ієрархії Чомскі.

Новинка!!: Граматика визначених тверджень і Контекстно-залежна граматика · Побачити більше »

Природна мова

Приро́дна мо́ва.

Новинка!!: Граматика визначених тверджень і Природна мова · Побачити більше »

Пролог

Проло́г (Prolog, Prolog) — мова логічного програмування загального призначення, пов'язана зі штучним інтелектом та математичною лінгвістикою.

Новинка!!: Граматика визначених тверджень і Пролог · Побачити більше »

Обробка природної мови

Обро́бка приро́дної мо́ви (Natural-language processing, NLP) — загальний напрям інформатики, штучного інтелекту та математичної лінгвістики.

Новинка!!: Граматика визначених тверджень і Обробка природної мови · Побачити більше »

Абстрактне синтаксичне дерево

Абстрактне синтаксичне дерево (Abstract syntax tree) (АСД) в інформатиці — це скінченна множина, позначене і орієнтоване дерево, в якому внутрішні вершини співставлені з відповідними операторами мови програмування, а листя з відповідними операндами.

Новинка!!: Граматика визначених тверджень і Абстрактне синтаксичне дерево · Побачити більше »

Англійська мова

Англі́йська мо́ва (English, the English language) — мова, що належить до германської групи індоєвропейської сім'ї мов.

Новинка!!: Граматика визначених тверджень і Англійська мова · Побачити більше »

Роберт Ковальський

Роберт Ентоні Ковальський — американський логік і вчений, який провів більшу частину своєї кар'єри в Сполученому Королівстві.

Новинка!!: Граматика визначених тверджень і Роберт Ковальський · Побачити більше »

Синтаксичний цукор

Синтаксичний цукор (syntactic sugar) — термін, що позначає доповнення синтаксису мови програмування, які не додають нових можливостей, а роблять використання мови зручнішим для людини.

Новинка!!: Граматика визначених тверджень і Синтаксичний цукор · Побачити більше »

Словозміна

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

Новинка!!: Граматика визначених тверджень і Словозміна · Побачити більше »

Французька мова

Францу́зька мо́ва (français) — мова французів (офіційна мова Франції), франкомовного населення Бельгії, Швейцарії, Канади (у яких є однією з офіційних).

Новинка!!: Граматика визначених тверджень і Французька мова · Побачити більше »

Франція

Фра́нція, офіційна назва Францу́зька Респу́бліка (La France, République française) — держава на заході Європи, республіка, що межує на північному сході з Бельгією, Люксембургом і Німеччиною, на сході з Німеччиною, Швейцарією, південному-заході з Іспанією й Андоррою, на південному-сході з Італією та Монако на півдні омивається Середземним морем, на заході — Атлантичним океаном.

Новинка!!: Граматика визначених тверджень і Франція · Побачити більше »

Формальна мова

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

Новинка!!: Граматика визначених тверджень і Формальна мова · Побачити більше »

Шотландія

Шотла́ндія (Альба, Alba, Scotland) — країна, частина Об'єднаного Королівства, колись незалежна держава.

Новинка!!: Граматика визначених тверджень і Шотландія · Побачити більше »

Марсель

--> |країна карта.

Новинка!!: Граматика визначених тверджень і Марсель · Побачити більше »

Мова програмування

Мо́ва програмува́ння (Programming language) — це штучна мова, створена для передачі команд машинам, зокрема комп'ютерам.

Новинка!!: Граматика визначених тверджень і Мова програмування · Побачити більше »

Граматика

Грама́тика (γραμματική, від γράμμα — «літера», «написання») — термін, який вживається в двох пов'язаних значеннях: як будова мови і як розділ мовознавства, що вивчає граматичну будову мови.

Новинка!!: Граматика визначених тверджень і Граматика · Побачити більше »

Диз'юнкт Горна

В математичній логіці та логічному програмуванні диз'ю́нкт Го́рна (Horn clause) — це логічна формула певного правилоподібного вигляду, який надає їй корисних властивостей для застосування в логічному програмуванні, формальних специфікаціях та теорії моделей.

Новинка!!: Граматика визначених тверджень і Диз'юнкт Горна · Побачити більше »

Ієрархія Чомскі

Ієра́рхія Чо́мскі, або Ієра́рхія Чо́мскі-Шутценбе́рґера (названа на честь мовознавця Ноама Чомскі та математика Марселя Шутценберґера) — поняття в теоретичній інформатиці, яким позначають ієрархію формальних граматик, які породжують формальні мови.

Новинка!!: Граматика визначених тверджень і Ієрархія Чомскі · Побачити більше »

Единбург

Единбу́рг (Ембра, Edinburgh, Edinburgh, Dùn Èideann) — столиця і друге за величиною місто Шотландії, адміністративний центр області Единбург.

Новинка!!: Граматика визначених тверджень і Единбург · Побачити більше »

Единбурзький університет

Единбу́рзький університе́т (University of Edinburgh) — найбільший вищий навчальний заклад Шотландії, один з найдавніших у країні, заснований у 1583 року.

Новинка!!: Граматика визначених тверджень і Единбурзький університет · Побачити більше »

Логічне програмування

IBM's Blue Gene/P масивно паралельний суперкомп'ютер Логі́чне програмува́ння — парадигма програмування, а також розділ дискретної математики, що вивчає методи і можливості цієї парадигми, засновані на виведенні нових фактів з даних фактів згідно із заданими логічними правилами.

Новинка!!: Граматика визначених тверджень і Логічне програмування · Побачити більше »

Логіка першого порядку

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

Новинка!!: Граматика визначених тверджень і Логіка першого порядку · Побачити більше »

1972

Без опису.

Новинка!!: Граматика визначених тверджень і 1972 · Побачити більше »

1978

Без опису.

Новинка!!: Граматика визначених тверджень і 1978 · Побачити більше »

1984

Без опису.

Новинка!!: Граматика визначених тверджень і 1984 · Побачити більше »

1995

Без опису.

Новинка!!: Граматика визначених тверджень і 1995 · Побачити більше »

Перенаправлення тут:

DC-граматика, Граматика визначених речень.

ВихідніВхідний
Гей! Ми на Facebook зараз! »