Lifestyle
Khazanah
Profil Baru
Dram Lists
Ensiklopedia
Technopedia Center
PMB University Brochure
Faculty of Engineering and Computer Science
S1 Informatics
S1 Information Systems
S1 Information Technology
S1 Computer Engineering
S1 Electrical Engineering
S1 Civil Engineering
faculty of Economics and Business
S1 Management
S1 Accountancy
Faculty of Letters and Educational Sciences
S1 English literature
S1 English language education
S1 Mathematics education
S1 Sports Education
Registerasi
Brosur UTI
Kip Scholarship Information
Performance
Weltenzyklopädie
Категорія:Формальні мови
Search
Категорія:Формальні мови
Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації
Перейти до пошуку
Портал «Мовознавство»
Формальні мови
у сестринських Вікіпроєктах
Файли
у Вікісховищі
?
Основний елемент категорії —
Формальна мова
.
Підкатегорії
Показано 8 підкатегорій із 8.
А
Алгоритми синтаксичного розбору
(4 С)
Г
Граматичні фреймворки
(4 С)
З
Зіставляння із взірцем
(3 К, 10 С)
К
Комп'ютерні мови
(8 К, 12 С)
Л
Логічні символи
(2 К, 29 С)
М
Мови програмування з залежними типами
(3 С)
Мови специфікацій
(3 К, 7 С)
С
Синтаксичний аналіз
(2 К, 12 С)
Сторінки в категорії «Формальні мови»
Показано 50 сторінок цієї категорії (із 50).
Формальна мова
*
Формальна граматика
А
Абетка (інформатика)
Абстрактне синтаксичне дерево
Адресне програмування
Алгоритмічна мова
Антиматроїд
Б
Біграми
В
Висота ітерації мови
Вступ до теорії автоматів, мов і обчислень
Г
Граматика визначених тверджень
З
Задача про найдовшу зростаючу підпослідовність
Зірочка Кліні
Знако-розрядна система числення
І
Ієрархія Чомскі
Інтерпретація (логіка)
Інформаційна мова
К
Конкатенація
Контекстно-вільна граматика
Контекстно-залежна граматика
Л
Лема про накачку
Лема про накачку для регулярних мов
Локальна мова
М
Машина Тюрінга
Мова розмітки даних
Мови опису апаратури
Н
Нормальна форма Грайбах
Нормальна форма Хомського
Нотація Бекуса — Наура
О
Онтологія (інформатика)
П
Підрядок
Порожній рядок
Представлення символів у регулярних виразах
Р
Регулярна граматика
Регулярна мова
Регулярний вираз
Рерайтинг (математика)
Розширена нотація Бекуса — Наура
Рядок (програмування)
С
Символ (логіка)
Синтаксична діаграма
Синтез скінченних автоматів
Ф
Формальна система
Формальне доведення
Ч
Числення Поста
D
Diff
J
JFLAP
L
LL(k)-граматика
M
Граматика Монтегю
S
SCIgen
Категорії
:
Мовознавство
Граматика
Теоретична інформатика
Комбінаторика слів
Металогіка
Математична логіка
Математична лінгвістика
Синтаксис (логіка)
Формальні науки
Прихована категорія:
Вікіпедія:Категорії, які мають основні статті
14 bahasa
indonesia
Polski
العربية
Deutsch
English
Español
Français
Italiano
مصرى
Nederlands
日本語
Português
Sinugboanong Binisaya
Svenska
Українська
Tiếng Việt
Winaray
中文
Русский
Sunting pranala