Хассе ( см. § 1.1), a Pn ( 4YA), WA)) - предикат, задающий пары мографов, ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Горбатов В.А. Логическое управление информационными процессами


Хассе ( см. § 1.1), a Pn ( 4YA), WA)) - предикат, задающий пары мографов, в которых один мограф может быть получен из другого удалением букв из слов, есть задача характеризации упорядочиваемых мографов. Множество запрещенных фигур в большинстве случаев является бесконечным. Это не дает нам права говорить в таких случаях о неразрешимости задачи характеризации [74], так как чаще всего это множество все-таки может быть описано с помощью различных гомоморфизмов или с привлечением процедур порождения систем, подобных графовым грамматикам.

(cкачать страницу)

Смотреть книгу на libgen

Хассе ( см. § 1.1), a Pn ( 4YA), WA)) - предикат, задающий пары мографов, в которых один мограф может быть получен из другого удалением букв из слов, есть задача характеризации упорядочиваемых мографов. Множество запрещенных фигур в большинстве случаев является бесконечным. Это не дает нам права говорить в таких случаях о неразрешимости задачи характеризации [74], так как чаще всего это множество все-таки может быть описано с помощью различных гомоморфизмов или с привлечением процедур порождения систем, подобных графовым грамматикам.