| Source | Target | | атомарная формула | atomic formula |
| безопасное форматирование | safe format |
| блок управления форматом по вертикали | electronic vertical format unit (EVFU) |
| блок управления форматом по вертикали | EVFU (electronic vertical format unit) |
| блок форматирования по вертикали | vertical format unit (VFU) |
| блок форматирования по вертикали | VFU (vertical format unit) |
| вывод (формального языка) | derivative (of a formal language) |
| Геделевская нумерация формальной системы | G? del numbering of a formal system |
| гомоморфный образ формального языка | homomorphic image of a formal language |
| датчик отсутствия бумаги | form stop |
| дизъюнктивная нормальная форма | disjunctive normal form |
| конъюктивная нормальная форма | CNF (conjunctive normal form) |
| конъюктивная нормальная форма | conjunctive normal form (CNF) |
| нормальная форма Бэкуса, форма Бэкуса-Наура, БНФ | Backus normal form (Backus-Naur form; BNF) |
| нормальная форма Бэкуса, форма Бэкуса-Наура, БНФ | BNF (Backus normal form; Backus-Naur form) |
| нормальная форма Грейбаха: частный класс бесконтекстных грамматик | Greighbach normal form |
| нормальная форма Хомского | Chomsky normal form |
| нормальная форма, канонический вид | normal form |
| правильно построенная формула | well-formed formula (WFF) |
| программа из пакета Norton Utilities, обеспечивающая быстрое форматирование и повышающая надежность сохранения данных на диске | Safe Format (SFORMAT.EXE) |
| программа из пакета Norton Utilities, обеспечивающая быстрое форматирование и повышающая надежность сохранения данных на диске | SFORMAT.EXE (Safe Format) |
| промышленный стандарт на интерфейс форматтера | industry standard formatter interface |
| пропозициональная форма, сентенциальная форма | sentential form |
| синтаксический моноид формального языка L | syntactic monoid of a formal language L |
| средства форматирования текстов | text formatter |
| теория формальных языков | formal language theory |
| форма | form |
| форма Бэкуса-Наура, нормальная форма Бэкуса, БНФ | Backus-Naur form (Backus normal form; BNF) |
| формальная логика | formal logic |
| формальный язык | formal language |
| формат | format |
| формат адреса | address format |
| формат диска | disk format |
| формат кодирования | encoding format |
| формат команды | instruction format |
| формат ленты | tape format |
| формат печати | printer format |
| форматированный бланк | form overlay |
| форматтер подсистемы памяти, программа форматирования текстов | formatter |
| элемент алфавита, символ (в теории формальных языков) | letter (in formal language theory) |
