combinador

(redireccionado de combinadores)
Traducciones
Ejemplos ?
Los autómatas celulares simples, las máquinas de Turing y los combinadores son ejemplos de tales esquemas, mientras que los autómatas celulares complejos no son calificados necesariamente como programas simples.
Los combinadores generados por la transformación T pueden ser hechos más pequeños si consideramos la regla de η-reducción: T λx.(E x) = T E (si x no está libre en E) λx.(E x) es la función que toma un argumento, x, y aplica la función E a él; esto es extensionalmente igual a la función E misma.
Se introducen dos nuevos combinadores: (C a b c) = (a c b) (B a b c) = (a (b c)) Usando estos combinadores, podemos extender las reglas para la transformación como sigue: T V ⇒ V T (E1 E2) ⇒ (T E1 T E2) T λx.
E1 E2) (si x está libre en E1 pero no en E2) T λx.(E1 E2) ⇒ (B E1 T λx. E2) (si x está libre en E2 pero no en E1) Usando los combinadores B y C, la transformación de λx.
Los sistemas explorados en este libro incluyen autómatas celulares de una, dos y tres dimensiones; autómatas móviles; máquinas de Turing de 1 y 2 dimensiones; diversas variedades de substitución y sistemas en red; funciones recursivas primitivas; funciones recursivas insertadas; combinadores; sistemas de etiquetas; máquinas de registro; números palíndrómicos; y muchos otros sistemas.
La programación a nivel funcional en el estilo de FP tiene una fuerte relación con la lógica combinatoria de Haskell Curry, con los lenguajes de combinadores, antecesores de Miranda y Haskell, así como con las categorías cartesianas cerradas, teoría que dio origen al lenguaje CAML (Categorical Abstract Machine Languaje) antecesor del lenguaje Ocaml.
Un término combinatorio tiene una de las formas siguientes: V P (E1 E2) donde V es una variable, P es una de las funciones primitivas, E1 y E2 son términos combinatorios. Las funciones primitivas mismas son combinadores, o funciones que no contienen ninguna variable libre.
Es, quizás, un hecho asombroso que S y K se puedan componer para producir los combinadores que son extensionalmente iguales a cualquier término lambda, y por lo tanto, por la tesis de Church, a cualquier función computable.
Las primeras dos reglas son también simples: Las variables se convierten en sí mismas, y las aplicaciones permitidas en términos combinatorios, son convertidas los combinadores simplemente convirtiendo el aplicando y el argumento a combinadores.
Los combinadores S, K se encuentran ya en Schönfinkel (aunque el símbolo C se usaba por el actual K) Curry introdujo el uso de B, C, W (y K), ya antes de su tesis doctoral de 1930.
En LC las expresiones lambda (usadas para permitir la abstracción funcional) son substituidas por un sistema limitado de combinadores, las funciones primitivas que no contienen ninguna variable libre (ni ligada).
Por lo tanto De forma similar, si el puerto 1 está terminado en la impedancia del sistema, entonces a_1 se hace cero, dando Cada parámetro-S de una red de dos puertos tiene las siguientes descripciones genéricas:: S_ 11 es el coeficiente de reflexión de la tensión del puerto de entrada: S_ 12 es la ganancia de la tensión en reversa: S_ 21 es la ganancia de la tensión en directa: S_ 22 es el coeficiente de reflexión de la tensión del puerto de salida Una red será recíproca si es pasiva, lineal y con dieléctrico isótropo que influyan la señal transmitida. Por ejemplo, atenuadores, inversores, cables, divisores y combinadores son todas redes recíprocas y S_ mn Sji.