Buscar

Loading [MathJax]/jax/output/HTML-CSS/jax.js

14.3: Autómatas, Máquinas de Estado Finito
https://espanol.libretexts.org/Matematicas/Combinatoria_y_Matematicas_Discretas/Estructuras_Discretas_Aplicadas_(Doerr_y_Levasseur)/14%3A_Monoides_y_Aut%C3%B3matas/14.03%3A_Aut%C3%B3matas%2C_M%C3%A1quinas_de_Estado_Finito
Vamos $x=x_1x_2\ldots x_n$ y recordemos que para $n\geq 1\text{,}$ $G_{n+1}=\left( \begin{array}{c} 0G_n \\ 1G_n^r \\ \end{array} \right)\text{,}$ donde $G_n^r$ esta el reverso de $G_n\text{.}$ P...Vamos $x=x_1x_2\ldots x_n$ y recordemos que para $n\geq 1\text{,}$ $G_{n+1}=\left( \begin{array}{c} 0G_n \\ 1G_n^r \\ \end{array} \right)\text{,}$ donde $G_n^r$ esta el reverso de $G_n\text{.}$ Para probar que el Decodificador de Código Gris siempre funciona, deja $p(n)$ ser la proposición “Comenzando en estado Copy, $x$ 's output es la posición de $x$ in $G_n\text{;}$ e iniciando en Complemento state, $x$ 's output es la posición de $x$ in $G_n^r\text{.}$ ” Que p (1) sea verdadero es …

Search