ГРАФИЧЕСКОЕ РАВЕНСТВО

ГРАФИЧЕСКОЕ РАВЕНСТВО - отношение между двумя конструктивными объектами, заключающееся в том, что эти объекты одинаковым образом составлены из одинаковых элементарных знаков. Г. р. двух слов означает, что они составлены из одних и тех же букв, одинаково следующих друг за другом. Точнее Г. р. слов можно охарактеризовать следующим образом: а) пустое слово считается графически равным только самому себе; б) два непустых слова Рξ и Qη (здесь ξ и η означают последние буквы этих слов) считаются графически равными тогда и только тогда, когда Р и Q графически равны, а буквы ξ и η одинаковы. Обычно Г. р. обозначается знаками =̣, ≖.

Лит.: [1] Марков А. А., Теория алгорифмов, М., 1954 (Тр. матем. ин-та АН СССР, т. 42), с. 13-14.

Н. М. Нагорный.

Источники:

1. Математическая Энциклопедия. Т. 1 (А - Г). Ред. коллегия: И. М. Виноградов (глав ред) [и др.] - М., «Советская Энциклопедия», 1977, 1152 стб. с илл.