2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Проблема тождества в полугруппах.
Сообщение19.12.2014, 02:59 
Есть теорема: проблема равенства слов в полугруппах алгоритмически неразрешима.
Но что есть равенство слов в полугруппе, если её элементы - классы эквивалентности по отношению достижимости в туэвской системе двусторонних правил? Как мы можем сравнивать классы эквивалентности?

 
 
 
 Re: Проблема тождества в полугруппах.
Сообщение19.12.2014, 03:53 
Классы эквивалентности — как любые другие множества, по содержанию (и даже чуть удобнее: если элемент одного класса есть в другом, то они, ясно, сразу же равны).

 
 
 [ Сообщений: 2 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group