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

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

...] та [[математик]]а [[Марсель Шутценберґер|Марселя Шутценберґера]]) — поняття в теоретичній інформатиці, яким позначають ієрархію [[формальна граматика|ф ...кладів застосування формальних мов можна назвати [[мова програмування|мови програмування]] або [[мова розмітки даних|мови розмітки даних]], наприклад, [[XML]] або [ ...

...систем, необов'язково числових — [[Булевий вираз|логічні]], [[Рядок (програмування)|текстові]], матричні, векторні, тензорні, аналітичні, теоретико-множинні т ...терпретацію]] [[Формальна мова|формальних]] та [[Природна мова|природних]] мов шляхом їх формального опису в математичних термінах. ...

...({{lang-en|Liskov Substitution Principle}}, LSP) в [[Об'єктно-орієнтоване програмування|об'єктно-орієнтованому програмуванні]] — це спеціальне визначення ''[[ Таким чином ідея Лісков про «підтип» визначає поняття ''заміщення'' — якщо S підтип T, тоді об'єкти типу T в програмі можуть ...

...standard type hierarchy.png|thumb|Ієрархія стандартних типів даних у мові програмування [[Python]] версії 3]] ...ограмування)|змінній]], [[Підпрограма|функції]], полю запису, [[Константа (програмування)|константі]], [[Масив (структура даних)|масиву]] тощо). Тип даних визначає ...

...ослідовності]]; (потенційно) нескінченний аналог списку — це [[Потік (програмування)|потік]]. Списки є основним прикладом [[Контейнер (програмування)|контейнерів]], оскільки вони містять інші значення. Якщо ж значення зустрі ...

Інколи поняття ''Польської нотації'' включає (як протилежність ''[[Інфіксна нотація|інфікс ...чне відношення з інфіксною нотацією. Тому [[Лісп]] та споріднені йому мови програмування визначають їх синтаксис у визначеннях префіксної нотації (тоді як інші вико ...

...ма типізації|системами типів]] — особливістю [[Мова програмування|мов програмування]], яка призначена для зменшення кількості [[Баг|помилок]]. Теорія типів бул == Базові поняття == ...

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

{{Парадигми програмування}} ...ї [[Математична логіка|математичної логіки]]. Найвідомішою мовою логічного програмування є [[Prolog]], що є за своєю суттю універсальною машиною виводу, що працює в ...

...1-2 (1992): 71-99.</ref> та [[Декларативне програмування|декларативних мов програмування]].<ref>Frühwirth, Thom. "[http://www.sciencedirect.com/science/article/pii/ ...совані для їх перетворення. Найбільш загальна (однозначна) установка цього поняття називається '''абстрактною системою скорочення''' (англ. '''ARS'''), хоча о ...

...ра|задачі комівояжера]] за допомогою [[Динамічне програмування|динамічного програмування]]. Визначення, чи є два логічних твердження еквівалентними за допомогою [[П ...ame||en|}} порівнює продуктивність реалізацій типових задач в деяких мовах програмування. ...

'''Автоматизація процесу програмування'''&nbsp;— це засіб автоматизації при створенні імітаційних програмних модел ...ієнтовані методи автоматизації створення програмних систем і розкриваються поняття, які використовуються під час розроблення засобів автоматизації проектуванн ...

== Поняття абстрактної теорії автоматів == Наведені поняття є достатньо загальними і не конструктивні у випадку, коли Q є нескінченним. ...

{{Мова програмування |paradigm = [[Процедурне програмування|Процедурна]] ...

...також як основа для розробки [[Функційне програмування|функціональних мов програмування]]. Вона заснована на '''комбінаторах,''' які були введені [[Шейнфінкель Мой ...икативного функтора [[Віллард Ван Орман Квайн|Квайна]]. Хоча [[Виразність (програмування)|виразність]] комбінаторної логіки зазвичай перевищує за цим параметром [[Л ...

...нтика мов програмування|семантика]] і [[Формальні методи|верифікація]] мов програмування, [[Теорія автоматів|теорію автоматів]], а також [[Теорія випадкових процесі ...ами, можна обчислити функції на декількох станах одночасно. Це призвело до поняття [[Квантовий комп'ютер|квантового комп'ютера]] в другій половині 20-го столі ...

...то визначення класу ''P'' для машин Т'юрінга і для будь-якої існуючої мови програмування збігаються. Клас складності ''NP'' визначається для множини мов, тобто множин слів над кінцевим алфавітом ''Σ''. Мова ''L'' належить класу ...

...ієнтованих графів]] і [[висота ітерації мови]] [[Регулярна мова|регулярних мов]]{{Sfn|Bodlaender et al|1998}}{{Sfn|Rossman|2008}}{{Sfn|Nešetřil, Ossona de ...иції дерева]] і стандартною технікою [[Динамічне програмування|динамічного програмування]] для графів з обмеженою деревною шириною, щоб обчислити глибину за лінійни ...

...у об'єкта в залежності від поточного стану та інформації отриманої ззовні. Поняття скінченного автомата було запропоновано як [[Математична модель|математичну ...тем]] і в [[лінгвістика|лінгвістиці]] для опису граматики природних [[мова|мов]]. ...