Aquí hay un resumen:
Primero, tome el intervalo de número real (0,1), sin incluir los puntos finales. Para cada número en el intervalo, construya el lenguaje [math] \ {a_1, a_1a_2, a_1a_2a_3, \ ldots \} [/ math], donde [math] .a_1a_2a_3 \ ldots [/ math] es la expansión del número en binario . Claramente, hay una biyección entre (0,1) y el conjunto de lenguajes así construidos. Dado que hay un número incontable de elementos en (0,1) (use el argumento de diagonalización de Cantor si tiene que demostrar ese hecho), hay un número incontable de idiomas en el conjunto de idiomas construidos.
A continuación, muestre que el conjunto de re idiomas son contables. Esto se puede hacer mostrando que el conjunto de máquinas de Turing es contable. (Sugerencia: cada máquina de Turing tiene una representación finita sobre un alfabeto finito).
- ¿Cuáles son las similitudes y diferencias entre recursividad e iteración?
- ¿Qué son las funciones en matemáticas en lenguaje simple?
- ¿Es el principio de equivalencia computacional de Stephen Wolfram simplemente una extensión de la tesis de Church-Turing y la máquina universal de Turing de Turing?
- ¿Por qué las letras P, Q, R, S y T se usan tan comúnmente en matemáticas?
- ¿Cómo podemos convertir una imagen en un sistema binario (0 y 1) o un código como QR?
Conecta los dos hechos.