термами
1АВТОМАТОВ СПОСОБЫ ЗАДАНИЯ — варианты описания автоматов, их функционирования или поведения. А. с. з. зависят от подхода к определению понятия автомата. При макроподходе (см. Автомат конечный).описывается внешнее поведение автомата; при микроподходе задание должно содержать… …
2Рим город* — Содержание: I. Р. Современный; II. История города Р.; III. Римская история до падения западной Р. империи; IV. Римское право. I. Рим (Roma) столица Итальянского королевства, на реке Тибре, в так называемой Римской Кампанье, под 41°53 54 северной… …
3Рим, город — Содержание: I. Р. Современный; II. История города Р.; III. Римская история до падения западной Р. империи; IV. Римское право. I. Рим (Roma) столица Итальянского королевства, на реке Тибре, в так называемой Римской Кампанье, под 41°53 54 северной… …
4ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …
5АВТОМАТ — управляющая система, являющаяся автоматом конечным или некоторой его модификацией, полученной путем изменения компонент или функционирования. Основное понятие конечный А. возникло в середине 20 в. в связи с попытками описать на математическом… …
6Подстановка — Это статья о подстановке как о синтаксической операции над термами. Возможно, вас интересует перестановка. В математике и компьютерных науках подстановка  это операция синтаксической замены подтермов данного терма другими термами, согласно… …
7Расширенная форма Бэкуса — Наура — (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие. Используется для описания контекстно… …
8Лямбда-куб — Лямбда куб. Стрелка вдоль каждого ребра указывает на направление включения; более простая система является частным случаем более сложной. Лямбда куб (λ куб) задает единообразное описание восьми различных систем типизированного лямбда исчисления с …
9Расширенная Бэкус — Наурова форма — Расширенная форма Бэкуса Наура (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие.… …
10Расширенная форма Бэкуса-Наура — (расширенная Бэкус Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие. Используется для описания контекстно… …
