Конечная последовательность - символ
Cтраница 1
Конечные последовательности символов называются словами. [1]
 |
Графическая иллюстрация понятия вывода. а - вывод слова в, . 6 - дерево вывода слова в. [2] |
Конечная последовательность символов алфавита системы Е называется словом. [3]
Слово - конечная последовательность символов ( букв) некоторого алфавита, образованная в соответствии с правилами грамматики данного языка. [4]
Формулы исчисления высказываний представляют собой конечные последовательности символов описанных категорий. [5]
Цепочка в N ( JT есть конечная последовательность символов N T. [6]
Каждая формула исчисления предикатов представляет собой некоторую конечную последовательность символов этого исчисления. [7]
Каждая формула в исчислении предикатов является некоторой конечной последовательностью символов из указанного выше алфавита, составленной по следующим правилам. [8]
В цифровых управляющих машинах информация представляется в виде конечной последовательности символов - цифр, в основе которых могут лежать разные системы счисления. Наиболее распространенной из них является двоичная система счисления. В большинстве случаев для передачи одного сообщения число имеет строго определенное количество разрядов п, которое определяет точность передачи как входных данных, так и результатов вычислений. [9]
Доопределим теперь геделеву нумерующую так, чтобы всем конечным последовательностям символов табл. 15 - 1 были приписаны геделевы номера. Мы не делаем различия между отдельным символом и последовательностью, состоящей из одного этого символа. [10]
Как мы уже указывали, каждая формула является конечной последовательностью символов или, иначе говоря, словом в алфавите, содержащем все указанные выше символы. Однако этим понятие формулы еще не определено. Мы должны определить, какие слова называются формулами. [11]
Множество всех высказываний относительно множества 5 есть наименьшее множество 2 конечных последовательностей символов из ef, такое, что каждый высказывательный символ S принадлежит множеству 2 и, если г з и 6 принадлежат множеству 2, то и ( - г 7) и ( г м 6) принадлежат ему. [12]
 |
Кодер для сверточного кода. [13] |
Описанный декодер называется прямым, поскольку решение о символе Ef принимается в результате анализа полученной конечной последовательности символов без учета прошлой работы декодера. [14]
Формальный аспект исчисления высказываний характеризуется тем, что в этом случае полностью отвлекаются от содержательного смысла формул, рассматривая их просто как конечные последовательности индивидуально различимых символов. [15]
Страницы: 1 2