Графическое Равенство

Отношение между двумя конструктивными объектами, заключающееся в том, что эти объекты одинаковым образом составлены из одинаковых элементарных знаков. Г. р. двух слов означает, что они составлены из одних и тех же букв, одинаково следующих друг за другом. Точнее Г. р. слов можно охарактеризовать следующим образом: а) пустое слово считается графически равным только самому себе; б) два непустых слова и (здесь и означают последние буквы этих слов) считаются графически равными тогда и только тогда, когда Ри Qграфически равны, а буквы и одинаковы. Обычно Г. р. обозначается знаками . Лит.:[1] Марков А. А., Теория алгорифмов, М., 1954 (Тр. матем. ин-та АН СССР, т. 42), с. 13 — 14. Н. М. Нагарный.