text: Формально: Помеченный мультиорграф G — это кортеж из 8 элементов G = ( Σ V , Σ A , V , A , s , t , ℓ V , ℓ A ) {\displaystyle G=(\Sigma _{V},\Sigma _{A},V,A,s,t,\ell _{V},\ell _{A})} , в котором V — множество вершин и A — множество дуг, Σ V {\displaystyle \Sigma _{V}} и Σ A {\displaystyle \Sigma _{A}} — конечный алфавит, доступный для разметки дуг и вершин, s : A → V {\displaystyle s\colon A\rightarrow \ V} и t : A → V {\displaystyle t\colon A\rightarrow \ V} — два отображения, определяющие начальную и конечную вершины дуги, ℓ V : V → Σ V {\displaystyle \ell _{V}\colon V\rightarrow \Sigma _{V}} и ℓ A : A → Σ A {\displaystyle \ell _{A}\colon A\rightarrow \Sigma _{A}} — два отображения, описывающие разметку вершин и дуг.