Ejercicios de Máquinas de Turing

2
Ejercicios de Máquinas de Turing L 1 ={Cad. s/ ={a,b,c} que responda a la expresión a n b n c n , para n >0} L 2 ={Cad. s/ ={0,1} cuya representación decimal sean números pares} L 3 ={Cad. s/ ={a,b} que identifique números palíndromos} L 4 ={Cad. s/ ={0,1} que identifique la expresión a n ba n para n>=0} L 5 ={Cad. s/ ={a,b} que responda a la expresión a n b m , para n>=1 y m<>n} L 6 ={Cad. s/ ={0,1} cuya longitud sea par} L 7 ={Cad. s/ ={0,1} que terminen en tres ceros consecutivos} L 8 ={Cad. s/ ={a,b} con igual número de a’s que de b’s} L 9 ={Cad. s/ ={a,b} que inicien con “a” y tengan al menos una “b” en toda su longitud} L 10 ={Cad. s/ ={a,b} que contengan al menos una “b” seguida de la subcadena “aa”} L 11 ={Cadenas que identifiquen la e.r. (0*10*1)*0* } L 12 ={Cad. s/ ={0,1} que identifique la e.r. 0(0+1)*1 } L 13 ={Cad. s/ ={0,1} que identifique números binarios impares} L 14 ={Cad. s/ ={a,b} que inicien y terminen con símbolos diferentes} L 15 ={Cad. s/ ={0,1} que interpretados como binarios sean múltiplos de 4}

description

Uploaded from Google Docs

Transcript of Ejercicios de Máquinas de Turing

Page 1: Ejercicios de Máquinas de Turing

Ejercicios de Máquinas de Turing

L1={Cad. s/∑={a,b,c} que responda a la expresión anbncn, para n >0}

L2={Cad. s/∑={0,1} cuya representación decimal sean números pares}

L3={Cad. s/∑={a,b} que identifique números palíndromos}

L4={Cad. s/∑={0,1} que identifique la expresión anban para n>=0}

L5={Cad. s/∑={a,b} que responda a la expresión anbm, para n>=1 y m<>n}

L6={Cad. s/∑={0,1} cuya longitud sea par}

L7={Cad. s/∑={0,1} que terminen en tres ceros consecutivos}

L8={Cad. s/∑={a,b} con igual número de a’s que de b’s}

L9={Cad. s/∑={a,b} que inicien con “a” y tengan al menos una “b” en toda su longitud}

L10={Cad. s/∑={a,b} que contengan al menos una “b” seguida de la subcadena “aa”}

L11={Cadenas que identifiquen la e.r. (0*10*1)*0* }

L12={Cad. s/∑={0,1} que identifique la e.r. 0(0+1)*1 }

L13={Cad. s/∑={0,1} que identifique números binarios impares}

L14={Cad. s/∑={a,b} que inicien y terminen con símbolos diferentes}

L15={Cad. s/∑={0,1} que interpretados como binarios sean múltiplos de 4}

L16={Cad. s/∑={a,b} que no contengan la subcadena “aa” ò “bb”}

Page 2: Ejercicios de Máquinas de Turing