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

Висота ітерації <math>h(L)</math> регулярної мови <math>L</math> визначається як найменша висота ітерації всіх регулярних вир ...лити висоту ітерації регулярного виразу просто, визначення висоти ітерації мови іноді може видатися заплутаним. Наприклад, регулярний вираз ...

...ухт, Роберт|Фрухтом||Robert Frucht}}, для подання [[Кубічний граф|кубічних графів]], що є [[Гамільтонів граф|гамільтоновими]]<ref>{{статья|автор=R. Frucht|за ...их, що наведені нижче в таблиці. Деякі пакети програмного забезпечення для графів містять утиліти для створення графу за його LCF-нотацією<ref>наприклад, [ht ...

...спосіб заснований на використанні орієнтованих зв'язкових графів. Вершини графів відповідають станам автомата, а дуги&nbsp;— переходам між ними. Дві вершини {{main|Синтез логіки|Рівень передачі регістрів|Мови опису апаратури}} ...

** [[Ядро (теорія графів)|Ядро графу]] ...ть англійської мови, призначений для уніфікації [[Метадані|метаданих]] для опису щонайширшого діапазону ресурсів. ...

{{не плутати|Гомеоморфізм графів|гомеоморфізмом графів}} .... Тоді <math>J_5</math>, фактично, гомоморфно еквівалентний [[Ядро (теорія графів)|ядру]] <math>C_5</math>.]] ...

...[онтологія (інформатика)|онтологій]]. Фрагменти [[OWL-DL]] та [[OWL-Lite]] мови вебонтологій [[Web Ontology Language|OWL]] також засновані на описовій логі ...ласності Y», де як X і Y можна підставляти довільні предмети. За допомогою мови Описової логіки можна формулювати твердження загального вигляду&nbsp;— про ...

Нечіткі правила ЯКЩО-ТО&nbsp;— принцип, який використовується для опису логічної залежності між змінними в такій формі: ЯКЩО <math>X_1</math> належ * [[Теорія графів]] ...

...]] та їх опрацювання. [[Теорія мов програмування]] розглядає різні способи опису обчислювальних процесів, теорія [[База даних|баз даних]] стосується управлі ...ювати розв'язувану проблему, максимально близько (у значенні математичного опису) відображаючи досліджувані фізичні явища. Так, електронні потоки можуть вик ...

...ейронні мережі застосовували до [[Обробка природної мови|обробки природної мови]].<ref>{{cite journal|last1=Socher|first1=Richard|last2=Lin|first2=Cliff|la ...цієї послідовності на найвищому рівні. Ця система дієво мінімізує довжину опису або від'ємний [[логарифм]] імовірності даних.<ref name="scholarpedia2015pre ...

...year=1998 |pages=3–9 |language=en}}</ref> З точки зору теорії, систему для опису машинного навчання забезпечує [[імовірно приблизно коректне навчання]]. ...sp;— це споріднена галузь, у якій для подання гіпотез розглядають будь-які мови програмування (а не лише логічне програмування), наприклад, [[Функційне про ...