Posizione attuale: Home -  Scarpe Louis Vuitton Outlet Uomo ottenuta aumentando BPA con la stella

Scarpe Louis Vuitton Outlet Uomo ottenuta aumentando BPA con la stella

Scarpe Louis Vuitton Outlet Uomo

Questo articolo presenta una assiomatizzazione equazionale di bisimulazione equivalenza sopra la lingua di Basic Process Algebra (BPA) con multi-uscita iterazione. Multi-uscita di iterazione è una generalizzazione del binario funzionamento a stella Kleene standard che consente per la specifica di agenti che, fino a bisimulazione equivalenza, sono soluzioni di sistemi di equazioni ricorsive del modulo u0026 lt; img height = border '17' = '0' style = 'vertical-align: bottom' width = '118' alt = '' title = '' src = 'http://origin-ars.els-cdn.com/content/image/1-s2.0-S0890540197926456 -si1.gif 'u0026 gt; ⋮ u0026 lt; img height =' 'border =' 0 17 'style =' vertical-align: bottom 'width =' 123 Louis Vuitton Uomo Outlet 'alt =' 'title =' 'src =' http: // origin-ars.els-cdn.com/content/image/1-s2.0-S0890540197926456-si2.gif'u0026gt;wherenis un numero intero positivo e termini di processo thePiand theQiare. L'aggiunta di multi-uscita iterazione di BPA produce un linguaggio più espressivo di quella ottenuta aumentando BPA con la stella standard di Kleene binario (BPA *). Di conseguenza, la prova della completezza del assiomatizzazione equazionale proposto per questa lingua, anche se standard nella sua struttura generale, è molto più complessa di quella di BPA *. Una gerarchia di espressività per la famiglia OFK-uscita Scarpe Louis Vuitton Outlet Uomo operatori di iterazione proposti da Bergstra, Bethke, e Ponse è anche offerto.
0 Commenti


Parlare la vostra mente