Аннотация:
Начинается изучение строения псевдоконечных унаров. Формулируются необходимое (достаточное) условия псевдоконечности связных унаров без циклов, не содержащих цепей; приводятся примеры, показывающие, что эти условия не являются достаточным (необходимым соответственно). Замечается, что копроизведение цепей — псевдоконечный унар, в частности цепь — псевдоконечный унар. Демонстрируется пример не псевдоконечного связного унара без циклов, содержащего ровно одну цепь. Для связных унаров без циклов, содержащих две цепи, даётся необходимое условие псевдоконечности и приводится пример не псевдоконечного унара.
Ключевые слова:
псевдоконечный унар, связный унар без циклов.