形式语言 перевод
- Теория формальных языков
Формальный язык
- 形式语言与形式文法: Формальные языки
- 形式语义学: Семантика (программирование)
- abc (程式语言): ABC (язык программирования)
Примеры
В контейнере может содержаться неограниченное количество электронных словарей.
В теории типов, конструктор типов представляет собой конструкцию полиморфно типизируемого формального языка, которая строит новые типы из старых.
В теории формальных языков теорема Майхилла — Нероуда определяет необходимое и достаточное условия регулярности языка.