10 відносини: Алгоритмічна мова, Синтаксичний аналіз, Скінченний автомат, Семантика мов програмування, Теорія автоматів, Формальні граматики, Ющенко Катерина Логвинівна, Мова програмування, Інформаційна мова, Енциклопедія кібернетики.
Алгоритмічна мова
Алгоритмі́чна мо́ва 1.
Новинка!!: Формальна мова і Алгоритмічна мова · Побачити більше »
Синтаксичний аналіз
Синтакси́чний ана́ліз (па́рсинг) (parsing) — в інформатиці це процес аналізу вхідної послідовності символів, з метою розбору граматичної структури згідно із заданою формальною граматикою.
Новинка!!: Формальна мова і Синтаксичний аналіз · Побачити більше »
Скінченний автомат
Скінче́нний автома́т — особливий різновид автомату — абстракції, що використовується для описання шляху зміни стану об'єкта в залежності від поточного стану та інформації отриманої ззовні.
Новинка!!: Формальна мова і Скінченний автомат · Побачити більше »
Семантика мов програмування
Семантика в теорії програмування — розділ що вивчає математичне значення мови програмування та моделі обчислень.
Новинка!!: Формальна мова і Семантика мов програмування · Побачити більше »
Теорія автоматів
Тео́рія автома́тів — логіко-математична теорія, об'єктом дослідження якої є абстрактні дискретні автомати — покрокові перетворювачі інформації; розділ теоретичної кібернетики.
Новинка!!: Формальна мова і Теорія автоматів · Побачити більше »
Формальні граматики
Формальна граматика або просто граматика в теорії формальних мов — спосіб опису формальної мови, тобто виділення деякої підмножини з множини всіх слів деякого скінченного алфавіту.
Новинка!!: Формальна мова і Формальні граматики · Побачити більше »
Ющенко Катерина Логвинівна
Катери́на Ло́гвинівна Ю́щенко (Чигирин —) — автор першої у світі мови програмування високого рівня («Адресної мови програмування»), науковець-кібернетик, доктор фізико-математичних наук, член-кореспондент АН УРСР (1976), заслужений діяч науки, лауреат премій Ради Міністрів СРСР, дійсний член Міжнародної академії комп'ютерних наук, двічі — Державної премії України, премії НАН України імені Глушкова.
Новинка!!: Формальна мова і Ющенко Катерина Логвинівна · Побачити більше »
Мова програмування
Мо́ва програмува́ння (Programming language) — це штучна мова, створена для передачі команд машинам, зокрема комп'ютерам.
Новинка!!: Формальна мова і Мова програмування · Побачити більше »
Інформаційна мова
Інформаці́йна мо́ва — штучна мова, призначена для записування семантичної інформації з метою подальшого використання її в інформаційно-пошукових системах і інформаційно-логічних системах.
Новинка!!: Формальна мова і Інформаційна мова · Побачити більше »
Енциклопедія кібернетики
Енциклопе́дія кіберне́тики — перша у світі «Енциклопедія кібернетики» за редакцією В. Глушкова.
Новинка!!: Формальна мова і Енциклопедія кібернетики · Побачити більше »