Семантика Крипке
Продолжая тему общих подходов, можно было бы выделить «динамические системы» и «конечные автоматы». По первой мы можем заблудиться в дебрях философии открытых систем (синергетики), а вторая настолько обширна и неоднородна, что требует отдельного обозначения её направлений, например, «клеточные автоматы». Тем не менее, существует направление, объединяющие обе эти темы - темпоральная логика и её развитие - TLA+.
Недетерминированные конечные автоматы
Модель Крипке и Семантика Крипке