Бисимуляция
- Бисимуляция — это отношение между системами перехода состояний, объединяющее системы, которые ведут себя одинаково.
- Две системы похожи друг на друга, если они соответствуют ходам друг друга в игре по определенным правилам.
- Бисимуляция — это бинарное отношение, такое, что и R, и его обратное R^T — это симуляции.
- Симметричное замыкание бисимуляции является бисимуляцией, и каждая симметричная симуляция является бисимуляцией.
- Бисимуляция может быть определена в терминах состава отношений, теории фиксированных точек или игры между двумя игроками.
- Существуют различные варианты бисимуляции, такие как бисимуляция заикания и слабая бисимуляция.
- Бисимуляция и модальная логика тесно связаны, так как модели Крипке являются частным случаем помеченных систем перехода состояний.
- Алгоритм проверки бисимметричности двух конечных систем переходов может быть выполнен за полиномиальное время.
Полный текст статьи: