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