You are here: Home -  Hollister Wikipedia allora lo sono anche le lingue

Hollister Wikipedia allora lo sono anche le lingue

Hollister Wikipedia

Lasciate u0026 lt; img height = border '13' = '0' style = 'vertical-align: bottom' width = alt '22' = '' title = '' src = 'http: //origin-ars.els-cdn .com / content / immagine / 1-S2.0-S0022000002918362-si1.gif 'u0026 gt; essere una classe di automi (in un senso preciso da definire) e u0026 lt; img height = border '13' = '0' style = 'vertical-align: bottom' width = alt '22' = '' title = '' src = 'http://origin-ars.els-cdn.com/content/image/1-s2.0-S0022000002918362-si2.gif' u0026 gt; c la classe ottenuta aumentando ogni automa in u0026 lt; img height = ' Hollister Marcon Lavoro 13 'border =' 0 'style =' vertical-align: bottom 'width =' 'alt =' 22 'title =' 'src =' http://origin-ars.els-cdn.com/content/image/ 1-S2.0-S0022000002918362-si3.gif 'u0026 gt; con un numero finito di contatori inversione-delimitata. Abbiamo dimostrato che se le lingue definite dal u0026 lt; img height = border '13' = '0' style = 'vertical-align: bottom' width = alt '22' = '' title = '' src = 'http: // origin-ars.els-cdn.com/content/image/1-s2.0-S0022000002918362-si4.gif'u0026gt; sono effettivamente semilineare, allora lo sono anche le lingue definite dal u0026 lt; img height = border '13' = '0' style = 'vertical-align: bottom' width = alt '22' = '' title = '' src = 'http : //origin-ars.els-cdn.com/content/image/1-s2.0-S0022000002918362-si5.gif 'u0026 Hollister Wikipedia gt; C, e, di conseguenza, il loro problema vuoto è decidibile. Diamo esempi di come questo risultato può essere usato per mostrare la decidibilità di alcuni problemi riguardanti l'equivalenza dei morfismi sulle lingue. Abbiamo anche dimostrare un risultato indecidibilità sorprendente per la commutazione delle lingue: dato un codice a due elementi K fissa, è indecidibile se un dato linguaggio L spostamenti context-free con K, vale a dire, LK = KL.
0 Commenti


Parlare la vostra mente