Категорија:Формални језици

• Формални језик

А

• Асоцијативност оператора

Б

• Бакус–Наурова форма

Г

• Граматика без ограничења

Д

• Детерминистичка контекстно слободна граматика
• Детерминистички контекстно слободан језик

Е

• Eliminacija jednostrukih pravila
• Eliminacija nekorisnih simbola
• Eliminacija ε-pravila

И

• Индексиран језик
• Индексирана граматика

К

• Klinijeva algebra
• Клинијево затворење
• Коначни трансдуктор
• Контекст-сензитивни језик
• Контекст-слободни језик
• Контекстно слободна граматика
• Контекстно-сензитивна граматика

Л

• Leva rekurzija
• Логички систем

М

• Металингвистичка формула

Н

• Ниска
• Нормална форма Грибах

П

• Проширена Бакус–Наурова форма

Р

• Regularna gramatika
• Regularni izraz
• Рекурзивни језик
• Рекурзивно пребројив језик

Т

• Тјурингова машина

Х

• Hijerarhija Čomskog