Пара вопросов по теории автоматов

[FrenchCheese]

что такое конгруенция?
и что это по отношению к контекстно эквивалентным словам в частности?
что такое моноид переходов? из чего состоит это множество, какой смыл имеет?

[Профессор Снэйп]

FrenchCheese в сообщении #390552 писал(а):

что такое конгруенция?
и что это по отношению к контекстно эквивалентным словам в частности?

А что такое "контекстно эквивалентные слова", напомните, пожалуйста

Конгруенция - слишком общее слово, много где применяющееся. В универсальной алгебре конгруенция - отношение эквивалентности, возникающее при гомоморфизмах моделей. А конкретно в теории автоматов - не знаю