Див. Також в інших словниках:
Формальна мова - Не слід плутати з формальним стилем мови. У математичній логіці і інформатики формальний мову це безліч кінцевих слів (рядків, ланцюжків) над кінцевим алфавітом. Поняття мови найчастіше використовується в теорії автоматів, теорії обчислюваності і ... Вікіпедія
Формальна мова - то ж, що Формалізована мова. Іноді під терміном «Ф. я. »розуміють також формальну систему (Див. Формальна система) ... Велика радянська енциклопедія
ФОРМАЛЬНИЙ МОВА - в математичній лінгвістиці довільне безліч ланцюжків (т. Е. Слів) в недо ром (кінцевому або нескінченному) алфавіті V (іноді званому також словником), т. Е. Виразів виду де число k, зазвичай позначається є довжина ланцюжка Розглядається ... ... Математична енциклопедія
ФОРМАЛЬНИЙ МОВУ, представимо МАШИНОЮ - формальна мова, розпізнається машиною, безліч всіх тих слів, при роботі над до римі машина потрапляє в одне з виділених станів. Будь-яке рекурсивно перелічуваних безліч слів є формальний мову (ф. Я.), Представимо недо рій Тьюринга ... ... Математична енциклопедія
Мова програмування - штучний (формальний) мова, призначена для запису алгоритмів. Мова програмування задається своїм описом і реалізується у вигляді спеціальної програми: компілятора або інтерпретатора. За англійськи: Programming language Синоніми: ... ... Фінансовий словник
МОВА ПРОГРАМУВАННЯ - це сукупність набору символів (алфавіту) системи, правил освіти (синтаксис) і тлумачення конструкції з символів (семантика) для завдання алгоритмів з використанням символів природної мови. У найзагальнішому вигляді формальну мову ... ... Велика політехнічна енциклопедія
мова концептуальної схеми - Формальна мова для опису концептуальної схеми, її складових частин і дій над ними. [ГОСТ 34.320 96] Тематики бази даних EN conceptual schema language ... Довідник технічного перекладача
МОВА ПРОГРАМУВАННЯ - формальна мова для опису даних (інформації) і алгоритму (програми) їх обробки на ЕОМ. Основу Я. п. Складають алгоритмічні мови. Першими Я. п. Були внутрішні машинні мови, що представляють собою системи команд конкретної ЕОМ, ... ... Великий енциклопедичний політехнічний словник
формальний синтаксис - 3.4.1 формальний синтаксис: Специфікація точно сформульованих пропозицій формальної мови із застосуванням формальної граматики. Примітка 1 Формальна мова це машинно орієнтована мова з інтерпретування. Примітка 2 Формальна ... ... Словник-довідник термінів нормативно-технічної документації
- Системний підхід і загальна теорія систем. А.І. Уемов. Ця книга буде виготовлена в відповідності з Вашим замовленням за технологією Print-on-Demand. У монографії розглядаються філософські проблеми системних досліджень, значення системного ... Детальніше Купити за тисяча чотиреста сімдесят п'ять руб
- Регулярні вирази. Jesse Russell. Ця книга буде виготовлена в відповідності з Вашим замовленням за технологією Print-on-Demand. Увага! Книга являє собою набір матеріалів з Вікіпедії і / або інших online-джерел. ... Детальніше Купити за 1125 руб
- Символи хімічних елементів. Джессі Рассел. Ця книга буде виготовлена в відповідності з Вашим замовленням за технологією Print-on-Demand. Символи хімічних елементів (хімічні знаки) - умовне позначення хімічних елементів. Разом ... Детальніше Купити за 1125 руб