Переходные системы

Бисимуляция Бисимуляция — это отношение между системами перехода состояний, объединяющее системы, которые ведут себя одинаково.  Две системы похожи друг на […]