Also various communication protocols are often specified using the explicit notion of "state" (see, e.g., RFC 793).
Кроме того, явное выделение состояний используется в описании сетевых протоколов (см., например, RFC 793).