 |
| Russian | English |
| нумерация Гёделя для формальных систем | Godel numbering of a formal system (т.е. нумерация используемых в них символов, формул и последовательностей формул, обеспечивающая однозначную интерпретацию любого алгоритма в такой системе) |
| формальное описание набора правил и соглашений, которые управляют обменом информацией между устройствами в сети | protocol |
| формальный контроль изменений, вносимых в систему | change control |
| язык типа 0 1, 2, 3 в соответствии с классификацией формальных языков по иерархии Хомски — один из четырёх типов языков, обладающих произвольной контекстно-зависимой, бесконтекстной, регулярной грамматикой и распознаваемый машиной Тьюринга | type 0 1, 2, 3 language |