Este documento describe los autómatas de pila, incluyendo su definición, componentes y tipos. Explica que los autómatas de pila pueden reconocer lenguajes que los autómatas finitos no pueden y proporciona ejemplos de autómatas de pila determinísticos y no determinísticos con sus funciones de transición correspondientes. También introduce los autómatas de pila traductores y explica cómo definen funciones de traducción.
Este documento presenta conceptos básicos de cálculo de probabilidades como espacios de probabilidad, sucesos, variables aleatorias, leyes de probabilidad, esperanza matemática y varianza. También introduce conceptos de vectores aleatorios, distribuciones normales multivariadas y desigualdades importantes en probabilidad como las de Tchebychev, Schwartz y Hölder.
1. El documento presenta una serie de ejercicios sobre continuidad y límite funcional. Incluye preguntas sobre funciones continuas con imágenes no intervalos, funciones no continuas con imágenes intervalos, y funciones continuas con imágenes acotadas o no acotadas. También incluye soluciones detalladas a cada ejercicio.
Este documento presenta varios problemas relacionados con conceptos de cálculo como derivadas, extremos, puntos de inflexión y gráficas. Incluye preguntas verdadero/falso, ejercicios para completar, encontrar extremos y derivadas de funciones, y relacionar gráficas con sus propiedades.
El documento explica el uso de apuntadores en C. Los apuntadores son variables que contienen la dirección de memoria de otra variable y son una parte fundamental de C. Los apuntadores permiten pasar argumentos a funciones por referencia y manejar arreglos de forma eficiente. Los arreglos en C son en realidad apuntadores a la primera posición del arreglo en memoria.
Este documento resume los conceptos fundamentales de los lenguajes formales y las máquinas automáticas. Explica las jerarquías de Chomsky y los diferentes tipos de autómatas como autómatas finitos, autómatas de pila y máquinas de Turing. También discute brevemente la tesis de Church-Turing y las clases de complejidad P y NP.
Este documento describe las funciones y operadores relacionados con los números complejos en C++. Incluye constructores, funciones para convertir entre coordenadas cartesianas y polares, funciones exponenciales, logarítmicas y trigonométricas para números complejos, y operadores aritméticos y de comparación para números complejos. También describe las funciones de entrada y salida para números complejos.
Este documento describe las funciones y operadores relacionados con los números complejos en C++. Estas funciones se implementan a través de la clase compleja y se encuentran en la biblioteca matemática de números complejos de C++. La clase compleja sobrecarga operadores y funciones como exp, log, sen, cos, etc. para trabajar con números complejos. El documento explica cómo usar constructores, funciones polares y cartesianas, funciones exponenciales, logarítmicas y trigonométricas, e inserción y extracción de números complejos.
El documento presenta una unidad sobre números complejos que incluye: la interpretación vectorial de números complejos como vectores; la suma y multiplicación de números complejos como operaciones geométricas; las funciones complejas elementales como polinomios, racionales, exponenciales, trigonométricas e hiperbólicas; y puntos sobre funciones, transformaciones, coordenadas y ramas de funciones.
Este documento presenta conceptos básicos de cálculo de probabilidades como espacios de probabilidad, sucesos, variables aleatorias, leyes de probabilidad, esperanza matemática y varianza. También introduce conceptos de vectores aleatorios, distribuciones normales multivariadas y desigualdades importantes en probabilidad como las de Tchebychev, Schwartz y Hölder.
1. El documento presenta una serie de ejercicios sobre continuidad y límite funcional. Incluye preguntas sobre funciones continuas con imágenes no intervalos, funciones no continuas con imágenes intervalos, y funciones continuas con imágenes acotadas o no acotadas. También incluye soluciones detalladas a cada ejercicio.
Este documento presenta varios problemas relacionados con conceptos de cálculo como derivadas, extremos, puntos de inflexión y gráficas. Incluye preguntas verdadero/falso, ejercicios para completar, encontrar extremos y derivadas de funciones, y relacionar gráficas con sus propiedades.
El documento explica el uso de apuntadores en C. Los apuntadores son variables que contienen la dirección de memoria de otra variable y son una parte fundamental de C. Los apuntadores permiten pasar argumentos a funciones por referencia y manejar arreglos de forma eficiente. Los arreglos en C son en realidad apuntadores a la primera posición del arreglo en memoria.
Este documento resume los conceptos fundamentales de los lenguajes formales y las máquinas automáticas. Explica las jerarquías de Chomsky y los diferentes tipos de autómatas como autómatas finitos, autómatas de pila y máquinas de Turing. También discute brevemente la tesis de Church-Turing y las clases de complejidad P y NP.
Este documento describe las funciones y operadores relacionados con los números complejos en C++. Incluye constructores, funciones para convertir entre coordenadas cartesianas y polares, funciones exponenciales, logarítmicas y trigonométricas para números complejos, y operadores aritméticos y de comparación para números complejos. También describe las funciones de entrada y salida para números complejos.
Este documento describe las funciones y operadores relacionados con los números complejos en C++. Estas funciones se implementan a través de la clase compleja y se encuentran en la biblioteca matemática de números complejos de C++. La clase compleja sobrecarga operadores y funciones como exp, log, sen, cos, etc. para trabajar con números complejos. El documento explica cómo usar constructores, funciones polares y cartesianas, funciones exponenciales, logarítmicas y trigonométricas, e inserción y extracción de números complejos.
El documento presenta una unidad sobre números complejos que incluye: la interpretación vectorial de números complejos como vectores; la suma y multiplicación de números complejos como operaciones geométricas; las funciones complejas elementales como polinomios, racionales, exponenciales, trigonométricas e hiperbólicas; y puntos sobre funciones, transformaciones, coordenadas y ramas de funciones.
1) El álgebra de Boole es una herramienta fundamental para el análisis y diseño de circuitos digitales. 2) Se presentan los postulados del álgebra de Boole, incluyendo la existencia de neutros, conmutatividad, asociatividad, distributividad y complementos. 3) Se dan tres ejemplos clásicos de álgebras de Boole: lógica proposicional, álgebra de conjuntos y álgebra de interruptores.
Este documento describe el análisis léxico y las expresiones regulares. Explica que el análisis léxico reconoce cadenas y divide los tokens en unidades de información como palabras, símbolos e identificadores. Luego describe las expresiones regulares que representan conjuntos de cadenas de un lenguaje y los autómatas finitos que reconocen cadenas dadas por expresiones regulares mediante estados y transiciones.
Este documento describe los circuitos combinacionales y secuenciales. Un circuito combinacional contiene operaciones lógicas básicas como AND, OR y NOT y tiene varias entradas y salidas, donde cada salida representa una función lógica diferente. Un ejemplo es un decodificador de siete segmentos que determina qué segmentos iluminar según una entrada de 4 bits. Los circuitos secuenciales pueden "recordar" valores pasados usando flip-flops y registros para almacenar bits, lo que permite construir contadores y microprocesadores.
Este documento describe los autómatas finitos deterministas (AFD). Explica que un AFD está compuesto por un conjunto finito de estados, un estado inicial, un alfabeto de entrada, una función de transición y un conjunto de estados finales. También describe cómo un AFD funciona al leer símbolos de entrada y cambiar de estado, y cómo se puede representar formalmente o mediante tablas de transición o diagramas de estados. Finalmente, define el lenguaje aceptado por un AFD como el conjunto de cadenas que llevan al autómata a
El documento trata sobre el tema de la derivada de funciones de una variable real. Se define la derivada, se explican conceptos como derivadas laterales, derivadas infinitas y puntos angulosos. También se presentan teoremas como el de Rolle, Lagrange y L'Hospital y fórmulas para derivar funciones elementales, compuestas e implícitas. Finalmente, se explican conceptos como la ecuación de la tangente, extremos relativos, concavidad y polinomios de Taylor.
ÁLGEBRA DE BOOLE
Introducción. Variables y Funciones, definiciones y Tipos. Funciones AND, OR, NAND, NOR, etc. Operaciones lógicas; Diagrama de VENN. Teorema de MORGAN. Ejemplos y Ejercicios prácticos.
Este documento presenta conceptos fundamentales sobre endomorfismos y diagonalización de matrices. Define vectores y valores propios de un endomorfismo, y explica cómo calcular el polinomio característico. Luego, introduce la diagonalización de endomorfismos y matrices, y establece teoremas clave sobre las condiciones necesarias y suficientes para la diagonalización. Finalmente, presenta el teorema de Cayley-Hamilton.
Este documento presenta las actividades realizadas por Jefersson Silva Losada para el curso de Autómatas y Lenguajes Formales en la Universidad Nacional Abierta y a Distancia. Incluye ejercicios sobre expresiones regulares, autómatas finitos determinísticos y no determinísticos, y la construcción de autómatas para reconocer diferentes lenguajes regulares.
Este documento introduce los conceptos básicos de los polinomios. Define formalmente un polinomio como una expresión formada por la suma de términos que consisten en un coeficiente multiplicado por una potencia de una indeterminada. Explica que los polinomios forman un anillo y que pueden evaluarse sustituyendo valores por la indeterminada. Finalmente, describe cómo se realizan las operaciones de suma y resta de polinomios agregando o restando los términos de igual potencia.
Tema 11 expresiones regulares en java por gioRobert Wolf
Una expresión regular es un patrón que define un conjunto de cadenas y se puede usar para comparar y reemplazar texto. Las expresiones regulares incluyen caracteres, clases de caracteres, cuantificadores, metacaracteres y operadores lógicos que permiten crear patrones complejos. Las expresiones regulares se usan comúnmente para analizar datos como archivos, cadenas de entrada y formularios.
El documento describe el álgebra de Boole, incluyendo sus orígenes, aplicaciones y conceptos fundamentales. George Boole introdujo el álgebra de Boole en el siglo XIX como un sistema lógico que utiliza técnicas algebraicas para expresiones lógicas. Consiste en un conjunto de elementos que pueden tomar los valores 0 y 1 y están relacionados por operaciones como la suma y el producto. El álgebra de Boole se aplica ampliamente en diseño electrónico y circuitos digitales, donde representa funciones lógicas mediante valores de tensión.
Este documento trata sobre el álgebra de Boole. Explica los conceptos básicos como operadores, tablas de verdad, funciones lógicas y sus representaciones mediante fórmulas canónicas. También describe las funciones básicas como AND, OR e inversor y cómo estas pueden usarse para implementar cualquier función booleana mediante conjuntos de puertas lógicas completos.
Este documento introduce el álgebra de Boole y sus aplicaciones en circuitos lógicos. Explica que el álgebra de Boole define operaciones matemáticas como suma, producto y complemento que modelan las propiedades de conjuntos y proposiciones lógicas. Luego, describe cómo el álgebra de Boole se usa para modelar compuertas lógicas y circuitos de interruptores, y establece los axiomas y propiedades de dicho álgebra. Finalmente, discute conceptos como orden parcial, expresiones booleanas, forma normal disy
Este documento explica los conceptos básicos de las puertas lógicas como NOT, OR, AND y XOR. Describe las tablas de verdad y expresiones algebraicas de cada puerta lógica. También cubre circuitos lógicos combinados, elementos de representación y problemas de determinar salidas de circuitos. El documento provee una introducción completa a las puertas lógicas digitales básicas.
1) La notación Sigma se utiliza para abreviar sumatorias y aproximar el área bajo la curva de una función.
2) El área bajo la curva de una función continua f en un intervalo [a,b] se puede calcular mediante una integral definida.
3) El teorema fundamental del cálculo establece que la derivación e integración son operaciones inversas, de modo que la derivada de la integral de una función es igual a la función.
El documento describe los arreglos y cadenas en Java. Explica que un arreglo es una lista de variables del mismo tipo almacenadas en memoria contigua, y cada elemento puede accederse por su posición. Describe arreglos unidimensionales, bidimensionales y tridimensionales, y cómo declarar, crear, inicializar y acceder a los elementos de un arreglo unidimensional. También cubre el uso de arreglos con métodos y el ciclo for-each.
Este documento presenta la resolución proposicional, un método deductivo para probar la validez de argumentos en lógica proposicional. Se divide en cinco secciones: 1) lógica de cláusulas, 2) demostraciones por resolución, 3) algoritmos de resolución, 4) refinamientos de resolución y 5) argumentación por resolución. La sección sobre lógica de cláusulas introduce la sintaxis y semántica de la lógica clausal, mientras que la sección sobre demostraciones por
El documento habla sobre punteros y direcciones de memoria en C. Explica que un puntero es una variable que contiene la dirección de memoria de otra variable y que debe declararse con un tipo y un asterisco (*). También cubre la asignación de punteros, aritmética de punteros, punteros y arrays, indirección múltiple, y funciones de asignación dinámica como malloc() y free().
El documento describe los conceptos fundamentales del álgebra de Boole, incluyendo:
- El álgebra de Boole esquematiza las operaciones lógicas AND, OR y NOT, así como conjuntos de operaciones de unión, intersección y complemento.
- Fue desarrollada por George Boole en el siglo XIX para describir expresiones lógicas utilizando técnicas algebraicas.
- Actualmente se aplica ampliamente en diseño electrónico, particularmente en circuitos lógicos digitales.
1. El documento introduce conceptos de cálculo como derivadas parciales segundas y polinomios de Taylor para funciones de varias variables. 2. Se definen las derivadas parciales segundas como las derivadas de las derivadas parciales primeras, y se establece la igualdad de las derivadas parciales cruzadas mediante el lema de Schwarz. 3. Los polinomios de Taylor permiten aproximar funciones mediante polinomios de grado cada vez mayor en puntos cercanos, empezando por el plano tangente de primer grado y el
Psicólogos ofrecen dos explicaciones sobre la comprensión de los números en los niños. Antes de tener razón, los niños no pueden entender números o aritmética. Según otro modelo, los niños deben entender clasificación antes de comprender el significado de los números. El documento luego describe principios de conteo y conceptos como equivalencia y magnitud.
1) El álgebra de Boole es una herramienta fundamental para el análisis y diseño de circuitos digitales. 2) Se presentan los postulados del álgebra de Boole, incluyendo la existencia de neutros, conmutatividad, asociatividad, distributividad y complementos. 3) Se dan tres ejemplos clásicos de álgebras de Boole: lógica proposicional, álgebra de conjuntos y álgebra de interruptores.
Este documento describe el análisis léxico y las expresiones regulares. Explica que el análisis léxico reconoce cadenas y divide los tokens en unidades de información como palabras, símbolos e identificadores. Luego describe las expresiones regulares que representan conjuntos de cadenas de un lenguaje y los autómatas finitos que reconocen cadenas dadas por expresiones regulares mediante estados y transiciones.
Este documento describe los circuitos combinacionales y secuenciales. Un circuito combinacional contiene operaciones lógicas básicas como AND, OR y NOT y tiene varias entradas y salidas, donde cada salida representa una función lógica diferente. Un ejemplo es un decodificador de siete segmentos que determina qué segmentos iluminar según una entrada de 4 bits. Los circuitos secuenciales pueden "recordar" valores pasados usando flip-flops y registros para almacenar bits, lo que permite construir contadores y microprocesadores.
Este documento describe los autómatas finitos deterministas (AFD). Explica que un AFD está compuesto por un conjunto finito de estados, un estado inicial, un alfabeto de entrada, una función de transición y un conjunto de estados finales. También describe cómo un AFD funciona al leer símbolos de entrada y cambiar de estado, y cómo se puede representar formalmente o mediante tablas de transición o diagramas de estados. Finalmente, define el lenguaje aceptado por un AFD como el conjunto de cadenas que llevan al autómata a
El documento trata sobre el tema de la derivada de funciones de una variable real. Se define la derivada, se explican conceptos como derivadas laterales, derivadas infinitas y puntos angulosos. También se presentan teoremas como el de Rolle, Lagrange y L'Hospital y fórmulas para derivar funciones elementales, compuestas e implícitas. Finalmente, se explican conceptos como la ecuación de la tangente, extremos relativos, concavidad y polinomios de Taylor.
ÁLGEBRA DE BOOLE
Introducción. Variables y Funciones, definiciones y Tipos. Funciones AND, OR, NAND, NOR, etc. Operaciones lógicas; Diagrama de VENN. Teorema de MORGAN. Ejemplos y Ejercicios prácticos.
Este documento presenta conceptos fundamentales sobre endomorfismos y diagonalización de matrices. Define vectores y valores propios de un endomorfismo, y explica cómo calcular el polinomio característico. Luego, introduce la diagonalización de endomorfismos y matrices, y establece teoremas clave sobre las condiciones necesarias y suficientes para la diagonalización. Finalmente, presenta el teorema de Cayley-Hamilton.
Este documento presenta las actividades realizadas por Jefersson Silva Losada para el curso de Autómatas y Lenguajes Formales en la Universidad Nacional Abierta y a Distancia. Incluye ejercicios sobre expresiones regulares, autómatas finitos determinísticos y no determinísticos, y la construcción de autómatas para reconocer diferentes lenguajes regulares.
Este documento introduce los conceptos básicos de los polinomios. Define formalmente un polinomio como una expresión formada por la suma de términos que consisten en un coeficiente multiplicado por una potencia de una indeterminada. Explica que los polinomios forman un anillo y que pueden evaluarse sustituyendo valores por la indeterminada. Finalmente, describe cómo se realizan las operaciones de suma y resta de polinomios agregando o restando los términos de igual potencia.
Tema 11 expresiones regulares en java por gioRobert Wolf
Una expresión regular es un patrón que define un conjunto de cadenas y se puede usar para comparar y reemplazar texto. Las expresiones regulares incluyen caracteres, clases de caracteres, cuantificadores, metacaracteres y operadores lógicos que permiten crear patrones complejos. Las expresiones regulares se usan comúnmente para analizar datos como archivos, cadenas de entrada y formularios.
El documento describe el álgebra de Boole, incluyendo sus orígenes, aplicaciones y conceptos fundamentales. George Boole introdujo el álgebra de Boole en el siglo XIX como un sistema lógico que utiliza técnicas algebraicas para expresiones lógicas. Consiste en un conjunto de elementos que pueden tomar los valores 0 y 1 y están relacionados por operaciones como la suma y el producto. El álgebra de Boole se aplica ampliamente en diseño electrónico y circuitos digitales, donde representa funciones lógicas mediante valores de tensión.
Este documento trata sobre el álgebra de Boole. Explica los conceptos básicos como operadores, tablas de verdad, funciones lógicas y sus representaciones mediante fórmulas canónicas. También describe las funciones básicas como AND, OR e inversor y cómo estas pueden usarse para implementar cualquier función booleana mediante conjuntos de puertas lógicas completos.
Este documento introduce el álgebra de Boole y sus aplicaciones en circuitos lógicos. Explica que el álgebra de Boole define operaciones matemáticas como suma, producto y complemento que modelan las propiedades de conjuntos y proposiciones lógicas. Luego, describe cómo el álgebra de Boole se usa para modelar compuertas lógicas y circuitos de interruptores, y establece los axiomas y propiedades de dicho álgebra. Finalmente, discute conceptos como orden parcial, expresiones booleanas, forma normal disy
Este documento explica los conceptos básicos de las puertas lógicas como NOT, OR, AND y XOR. Describe las tablas de verdad y expresiones algebraicas de cada puerta lógica. También cubre circuitos lógicos combinados, elementos de representación y problemas de determinar salidas de circuitos. El documento provee una introducción completa a las puertas lógicas digitales básicas.
1) La notación Sigma se utiliza para abreviar sumatorias y aproximar el área bajo la curva de una función.
2) El área bajo la curva de una función continua f en un intervalo [a,b] se puede calcular mediante una integral definida.
3) El teorema fundamental del cálculo establece que la derivación e integración son operaciones inversas, de modo que la derivada de la integral de una función es igual a la función.
El documento describe los arreglos y cadenas en Java. Explica que un arreglo es una lista de variables del mismo tipo almacenadas en memoria contigua, y cada elemento puede accederse por su posición. Describe arreglos unidimensionales, bidimensionales y tridimensionales, y cómo declarar, crear, inicializar y acceder a los elementos de un arreglo unidimensional. También cubre el uso de arreglos con métodos y el ciclo for-each.
Este documento presenta la resolución proposicional, un método deductivo para probar la validez de argumentos en lógica proposicional. Se divide en cinco secciones: 1) lógica de cláusulas, 2) demostraciones por resolución, 3) algoritmos de resolución, 4) refinamientos de resolución y 5) argumentación por resolución. La sección sobre lógica de cláusulas introduce la sintaxis y semántica de la lógica clausal, mientras que la sección sobre demostraciones por
El documento habla sobre punteros y direcciones de memoria en C. Explica que un puntero es una variable que contiene la dirección de memoria de otra variable y que debe declararse con un tipo y un asterisco (*). También cubre la asignación de punteros, aritmética de punteros, punteros y arrays, indirección múltiple, y funciones de asignación dinámica como malloc() y free().
El documento describe los conceptos fundamentales del álgebra de Boole, incluyendo:
- El álgebra de Boole esquematiza las operaciones lógicas AND, OR y NOT, así como conjuntos de operaciones de unión, intersección y complemento.
- Fue desarrollada por George Boole en el siglo XIX para describir expresiones lógicas utilizando técnicas algebraicas.
- Actualmente se aplica ampliamente en diseño electrónico, particularmente en circuitos lógicos digitales.
1. El documento introduce conceptos de cálculo como derivadas parciales segundas y polinomios de Taylor para funciones de varias variables. 2. Se definen las derivadas parciales segundas como las derivadas de las derivadas parciales primeras, y se establece la igualdad de las derivadas parciales cruzadas mediante el lema de Schwarz. 3. Los polinomios de Taylor permiten aproximar funciones mediante polinomios de grado cada vez mayor en puntos cercanos, empezando por el plano tangente de primer grado y el
Psicólogos ofrecen dos explicaciones sobre la comprensión de los números en los niños. Antes de tener razón, los niños no pueden entender números o aritmética. Según otro modelo, los niños deben entender clasificación antes de comprender el significado de los números. El documento luego describe principios de conteo y conceptos como equivalencia y magnitud.
Este documento presenta una guía para el aprendizaje de sistemas en el Centro de Recursos Naturales Industria y Biodiversidad en Quibdó, Colombia. La guía cubre el uso de herramientas ofimáticas como Microsoft Word, hojas de cálculo, presentaciones y bases de datos, así como redes sociales y herramientas de colaboración. Incluye instrucciones sobre cómo usar las funciones básicas de Word, como formato de texto, tablas e inserción de gráficos. También describe los criterios de evaluación y evidencias
This document outlines an assignment for a research project comparing two similar businesses in different geographical locations. Students will work in groups to study and compare two trade or businesses, one located in the Klang Valley and another located elsewhere in Malaysia. They will conduct primary and secondary research on the businesses' histories, operations, competitive environments, and conduct interviews. Students must prepare a 2,500-3,000 word written report following APA style guidelines and present their findings in a 20-25 minute presentation. They will be evaluated based on the content and format of their written report and presentation skills. The document provides detailed instructions on the research methodology and requirements for the assignment.
The document discusses the benefits of exercise for mental health. Regular physical activity can help reduce anxiety and depression and improve mood and cognitive functioning. Exercise boosts blood flow and levels of neurotransmitters and endorphins in the brain which elevate mood and support the growth of new brain cells.
There are two main types of car insurance policies: third party insurance and comprehensive motor insurance. Comprehensive insurance covers damages to both the insured vehicle and third party vehicles from accidents. It also covers damages from fire, lightning, natural calamities, riots, burglary, and can be extended to include engine protection, accessories coverage, and medical expenses. However, comprehensive insurance does not cover vehicle depreciation, mechanical breakdown, or damages caused by war. While exclusions exist, comprehensive car insurance protects the vehicle from a variety of risks. The document encourages contacting a consultant or visiting the provided website for more information on insurance policies.
This document compares and contrasts two coffee shop businesses - Starbucks Coffee and CU Latte. It provides information on their products, competitors, markets, and strategies. Starbucks focuses on different roast levels and has a responsive social media presence. CU Latte sells Klang coffee and provides filtered pour-over coffee. Both support health, diversity, and creating a good atmosphere for customers. They differ in their approaches to quality maintenance, customer service, and contributions to farmers and local coffee culture. Recommendations are made but not described.
This short document promotes the creation of Haiku Deck presentations on SlideShare by stating it provides inspiration and allows users to get started making their own Haiku Deck presentations.
Công ty cổ phần in bao bì Đạt Thành được thành lập năm 2002. Sau hơn 10 năm hoạt động, chúng tôi là nhà cung cấp sản phẩm in bao bì đa dạng hiện nay với quy mô nhà xưởng rộng hơn 2000 m2, đội ngũ thiết kế chuyên nghiệp, qui trình sản xuất khép kín từ in cho đến thành phẩm, trên 100 công nhân lành nghề.
Công ty cổ phần in bao bì Đạt Thành tự hào là nhà cung cấp đáng tin cậy tại Việt Nam với các sản phẩm bao bì đa dạng chất liệu như:
+ Hộp giấy: Hộp Duplex, Ivory, Britol, Couche, hộp giấy cửa sổ, hộp giấy bồi Metalized…. In từ 02 -08 màu spot color, cán màng, ép kim, bế nổi, cán UV cục bộ, UV bóng...
+ Hộp Carton đa dạng các sóng: E, B bồi Duplex, Simili, Giấy mỹ thuật..
+ Hộp bìa cứng đa dạng các định lượng từ 800 gsm đến 2400 gsm, in từ 2 -8 màu, Cán màng, Ép kim, UV nhám, UV định hình, bế nổi…
+ Kệ trưng bày sản phẩm bằng giấy, Khay carton (Tray Carton), khay nhựa (Vacumm Forming), khay nhựa phun nhung (Vacumm Forming – Spray Velvet), khay bìa cứng (Gray Board Tray), khay bọc vải (Fabric Tray).
Sản phẩm của chúng tôi phục vụ cho các ngành Dược phẩm, Mỹ phẩm, Thực phẩm, Mỹ nghệ, Bánh kẹo, Rượu bia, Thủy hải sản, Quà tặng….
Thành công cùa Quý khách là Uy Tín – Thương Hiệu của Công ty cổ phần in bao bì Đạt Thành chúng tôi.
Niềm tin đồng hành cùng quý khách!
Los blogs son sitios web que publican artículos de forma cronológica, con el más reciente primero, y pueden ser personales, periodísticos, empresariales u otros temas. Los blogs permiten tener presencia en Internet, ofrecer productos y servicios, y establecer marketing personal o empresarial, además de facilitar la interacción y compartir ideas.
El documento describe las características del Streptococcus pneumoniae, una bacteria que causa neumonía y otras infecciones respiratorias. S. pneumoniae son bacterias ovoides o esféricas que forman cadenas cortas y pueden producir una cápsula gruesa. Se propagan a través de gotitas de saliva de persona a persona. Causan enfermedades como neumonía, meningitis, otitis media y sinusitis. El tratamiento principal es la penicilina administrada por vía intravenosa o intramuscular.
Este documento trata sobre autómatas a pila. Explica el concepto de autómata a pila, incluyendo su definición formal, representación gráfica, lenguaje aceptado y tipos de autómatas a pila. También discute la equivalencia entre autómatas a pila por estado final y por vaciado de pila, y cómo los autómatas a pila pueden reconocer lenguajes independientes del contexto.
El documento describe las máquinas de Turing, incluyendo su modelo básico, configuraciones, tipos de transiciones, lenguajes aceptados y variaciones como las máquinas de Turing no deterministas, multicinta y linealmente acotadas. Se proveen tres ejemplos de máquinas de Turing diseñadas para reconocer lenguajes específicos o calcular funciones particulares.
Este documento resume los conceptos de autómatas finitos determinísticos y no determinísticos. Explica que los autómatas finitos no determinísticos pueden tener múltiples estados siguientes para un símbolo dado, mientras que los determinísticos solo tienen un estado siguiente único. También demuestra que para cualquier autómata finito no determinístico existe un equivalente determinístico y describe el algoritmo para construirlo. Finalmente, presenta el algoritmo para minimizar un autómata finito determinístico mediante la agrupación de
Este documento introduce las series de Fourier y explica cómo calcular los coeficientes de Fourier para una función dada. Resume los pasos para desarrollar una función en una serie de Fourier utilizando un conjunto ortogonal de funciones trigonométricas. Proporciona un ejemplo numérico para ilustrar el proceso y discute la convergencia y extensión periódica de las series de Fourier.
Un autómata finito no determinístico (NDFA) es un modelo matemático formado por una quíntupla que incluye un conjunto de estados, un estado inicial, un conjunto de estados finales, un alfabeto y una función de transición que puede llevar a cero o más estados. Un NDFA reconoce un lenguaje si existe al menos un camino desde el estado inicial hasta un estado final a través de las transiciones dadas una cadena de entrada.
Este documento describe un autómata finito no determinista y sus transiciones entre estados para diferentes cadenas de entrada. También explica conceptos básicos de teoría de conjuntos como unión, intersección, conjunto vacío y complemento. Finalmente, introduce notación de expresiones regulares para describir lenguajes formales.
Este documento explica conceptos básicos sobre funciones. Define funciones como aplicaciones en las que cada elemento del conjunto de partida está relacionado con exactamente un elemento del conjunto de llegada. Explica los conceptos de par ordenado, producto cartesiano y aplicación. Proporciona ejemplos de funciones y aplicaciones que no lo son para ilustrar la diferencia. Finalmente, se enfoca en funciones matemáticas donde los conjuntos son de números.
1. El documento presenta varios ejemplos y propiedades de expresiones regulares y autómatas finitos.
2. Incluye 17 propiedades de expresiones regulares, ejemplos de operaciones con lenguajes y expresiones regulares, y la descripción de un autómata finito.
3. Finalmente, propone un ejemplo de construcción del diagrama de Moore a partir de una tabla de transiciones de un autómata finito.
El documento describe las fases de un compilador, incluyendo el análisis léxico. El análisis léxico toma el programa fuente como entrada y produce tokens como salida. Identifica tokens mediante el uso de expresiones regulares que definen patrones de lexemas. El análisis léxico también elimina comentarios y espacios en blanco del programa fuente.
1. El documento introduce la teoría de estabilidad para sistemas autónomos representados por ecuaciones diferenciales ordinarias.
2. Explica conceptos como el plano de fase, trayectorias, puntos críticos y retrato de fase.
3. Describe dos tipos de puntos críticos: nodos (propios e impropios) y clasifica su estabilidad.
El documento presenta 12 problemas resueltos sobre el cálculo de áreas de figuras planas limitadas por curvas. Se explican fórmulas para hallar el área cuando la región está limitada por una función, dos funciones, o curvas paramétricas. Los problemas aplican estas fórmulas para calcular áreas de regiones limitadas por funciones, curvas algebraicas como circunferencias e hipérbolas, y curvas como la cardioide y la astroide.
Autómatas de pila (Pushdown automata) son autómatas no deterministas que pueden reconocer lenguajes libres de contexto utilizando una pila LIFO para almacenar información. Los autómatas de pila son más poderosos que los autómatas finitos debido a su capacidad de almacenamiento en pila. Cada transición de un autómata de pila puede leer un símbolo de entrada, sacar un símbolo de la pila y agregar cero o más símbolos a la pila.
El documento describe diferentes representaciones intermedias utilizadas en la generación de código, incluyendo notación sufija, cuádruplas y tripletes. Explica cómo transformar expresiones de notación infija a sufija y cómo generar automáticamente cuádruplas mediante análisis sintáctico bottom-up o top-down. También cubre la semántica de instrucciones condicionales e etiquetas utilizando cuádruplas.
Este documento presenta el concepto de integral múltiple y sus propiedades. Introduce las integrales dobles sobre rectángulos y regiones generales, así como los cambios de variables en la integral doble e integrales triples. Explica cómo calcular sumas inferiores y superiores con respecto a particiones, y define la integrabilidad de funciones sobre regiones.
Este documento introduce la lógica de primer orden. Explica que la lógica proposicional tiene un poder expresivo limitado y que la lógica de primer orden es más expresiva gracias a los cuantificadores. Luego define el vocabulario, la sintaxis y la semántica formal de la lógica de primer orden, incluyendo términos, fórmulas, estructuras, asignaciones y la noción de satisfacción.
Este documento presenta las transformadas de Fourier y Laplace. Explica que la transformada de Fourier convierte una función del tiempo en una representación espectral de frecuencias. También define reglas como la linealidad, el teorema de traslación, y el teorema de convolución. Luego, introduce la transformada de Laplace, indicando reglas como cambios de variable, diferenciación e integración.
1) El documento presenta el método de Liapunov para analizar la estabilidad de puntos críticos en sistemas autónomos. 2) Define una función de Liapunov como una función continua y derivable cuya derivada a lo largo de las trayectorias del sistema es semidefinida negativa. 3) Establece que si existe una función de Liapunov para el sistema, el punto crítico es estable, y si es estricta es asintóticamente estable.
La topología tiene sus orígenes en los trabajos de Euler, Cantor y Möbius. En 1895, Poincaré publicó su libro Análisis Situs, que es considerado como el punto decisivo en el desarrollo de la topología como disciplina matemática. En 1914, Hausdorff creó la teoría de espacios topológicos abstractos usando la noción de vecindario, lo que estableció formalmente la topología conjuntista.
La topología tiene sus orígenes en los trabajos de Euler, Cantor y Möbius. En 1895, Poincaré publicó su obra Análisis Situs, que marcó un punto decisivo en el desarrollo de la topología. En 1914, Hausdorff creó una teoría de espacios abstractos usando la noción de vecindario, definiendo un espacio topológico como un conjunto de puntos junto con una familia de vecindarios asociados. Con el trabajo de Hausdorff, la topología conjuntista se afirmó como una disciplina
José Luis Jiménez Rodríguez
Junio 2024.
“La pedagogía es la metodología de la educación. Constituye una problemática de medios y fines, y en esa problemática estudia las situaciones educativas, las selecciona y luego organiza y asegura su explotación situacional”. Louis Not. 1993.
En la ciudad de Pasto, estamos revolucionando el acceso a microcréditos y la formalización de microempresarios informales con nuestra aplicación CrediAvanza. Nuestro objetivo es empoderar a los emprendedores locales proporcionándoles una plataforma integral que facilite el acceso a servicios financieros y asesoría profesional.
ACERTIJO DESCIFRANDO CÓDIGO DEL CANDADO DE LA TORRE EIFFEL EN PARÍS. Por JAVI...JAVIER SOLIS NOYOLA
El Mtro. JAVIER SOLIS NOYOLA crea y desarrolla el “DESCIFRANDO CÓDIGO DEL CANDADO DE LA TORRE EIFFEL EN PARIS”. Esta actividad de aprendizaje propone el reto de descubrir el la secuencia números para abrir un candado, el cual destaca la percepción geométrica y conceptual. La intención de esta actividad de aprendizaje lúdico es, promover los pensamientos lógico (convergente) y creativo (divergente o lateral), mediante modelos mentales de: atención, memoria, imaginación, percepción (Geométrica y conceptual), perspicacia, inferencia y viso-espacialidad. Didácticamente, ésta actividad de aprendizaje es transversal, y que integra áreas del conocimiento: matemático, Lenguaje, artístico y las neurociencias. Acertijo dedicado a los Juegos Olímpicos de París 2024.
ACERTIJO DESCIFRANDO CÓDIGO DEL CANDADO DE LA TORRE EIFFEL EN PARÍS. Por JAVI...
Apunte4
1. CIENCIAS DE LA COMPUTACION I
2008
AUTÓMATAS DE PILA
Los autómatas de pila, en forma similar a como se usan los autómatas finitos, también se pueden
utilizar para aceptar cadenas de un lenguaje definido sobre un alfabeto A.
Los autómatas de pila pueden aceptar lenguajes que no pueden aceptar los autómatas finitos.
Un autómata de pila cuenta con una cinta de entrada y un mecanismo de control que puede
encontrarse en uno de entre un número finito de estados. Uno de estos estados se designa como
estado inicial, y además algunos estados se llaman de aceptación o finales. A diferencia de los
autómatas finitos, los autómatas de pila cuentan con una memoria auxiliar llamada pila. Los
símbolos (llamados símbolos de pila) pueden ser insertados o extraídos de la pila, de acuerdo con el
manejo last-in-first-out (LIFO).
Las transiciones entre los estados que ejecutan los autómatas de pila dependen de los símbolos de
entrada y de los símbolos de la pila. El autómata acepta una cadena x si la secuencia de transiciones,
comenzando en estado inicial y con pila vacía, conduce a un estado final, después de leer toda la
cadena x.
Autómata de pila reconocedor determinístico
APD=<E, A , P, δ, e0, Z0, F>
E: Conjunto finito de estados,
A: Alfabeto o conjunto finito de símbolos de la cinta de entrada,
P: Alfabeto o conjunto finito de símbolos de la Pila. P∩A= ∅
δ: función de transición de estados
e0: Estado inicial e0 ∈ E.
Z0: Símbolo distinguido Z0 ∈ P
F: Conjunto de estados finales o estados de aceptación. F ⊆ E.
La función de transición definida como: δ:E x ( A ∪{ε}) x P → E x P∗
1) δ( ei , a, X) =( ej , α)
2) δ( ei , ε, X) =( ej , α)
donde a ∈ A; X ∈ P; α ∈ P∗ ; ei , ej ∈ E.
Nota: Si existe transición de tipo (2), sólo se garantiza que AP es determinístico si
∀ s ∈ A, δ( ei , s, X) está indefinida.
Descripción instantánea
Una configuración de un AP es una tripla <e ,σ ,π> donde e: estado_actual; σ: cadena de entrada a
ser leída; π: contenido de la pila.
Luego, se define una relación de transición | en el espacio de posibles configuraciones del AP,
tanto si:
(1)
< ei , aω,Xβ > | < ej , ω, αβ >
Si existe la transición tipo (1), el AP pasa al estado
ej, avanza la cabeza lectora y reemplaza el tope X
por α.
(2)
< ei , aω, Xβ > | < ej , aω, αβ > Si existe la transición tipo (2), el AP pasa al estado
ej, NO avanza la cabeza lectora y reemplaza el tope X por α.
donde a∈A; ω∈A∗; X∈P; α,β ∈P∗; ei ,ej ∈ E
2. CIENCIAS DE LA COMPUTACION I
2008
La función de transición de estados de un AP puede ser representada por un diagrama donde los
nodos representan los estados y los arcos transiciones. Si existe transición tipo (1), el arco queda
rotulado de la siguiente manera:
ei
a ,X / α
ej
Si el estado actual es ei y la cabeza lectora apunta un símbolo a, y el tope de la pila es X, entonces
cambiar al nuevo estado ej, avanzar la cabeza lectora, y sustituir el símbolo del tope X en la pila por
la cadena α.
Por ejemplo:
Si α = ZYX deja X , apila Y, y apila Z (nuevo tope Z). donde X, Y, Z ∈ P
Si α =XX
deja X y apila X (nuevo tope X).
Si α =X
deja X como el mismo tope (no altera la pila)
Si α =ε
elimina X, y el nuevo tope es el símbolo por debajo (desapila)
Ejemplo 1
A={a,b,c}
L1={ωcωR / ω ∈ {a,b}∗ }
APD1 es un autómata de pila que reconoce L1.
APD1=<{e0,e1,e2},{a,b,c},{X,Y, Z0}, δ, e0, Z0, {e2}>
δ:
a, Z0 / XZ0
b, Z0 / YZ0
a, X / XX
b, Y / YY
a, Y / XY
b, X / YX
eo
a, X / ε
b, Y / ε
c, Z0 / Z0
c, X / X
c, Y / Y
ε , Z0 / Z0
e1
Ejemplos de cadenas aceptadas ó no aceptadas por AP1
abcba ∈ L1
δ∗(e0, abcba)=e2
∗
δ (e0, c)=e2
c∈ L1
δ∗(e0,abcab)=e1
abcab ∉ L1
∗
δ (e0,a)=e0
a ∉ L1
Ejemplo 2
L2 = {ai b ck / i,k ≥ 1 y i<k}
APD2 =<{e0,e1,e2},{a,b,c},{A, Z0}, δ2 ,e0, Z0, {e2}>
δ2:
a,Z0/AZ0
a,A/AA
b,A/A
e0
c,A/ε
e1
c,Z0/Z0
c,Z0/Z0
e2
e2
3. CIENCIAS DE LA COMPUTACION I
2008
Ejemplo 3
L3 = {ai b ck / i,k ≥ 1 y i ≤ k}
APD3 =<{e0,e1,e2},{a,b,c},{A, Z0}, δ3 ,e0, Z0, {e2}>
δ3:
a,Z0/AZ0
c,A/ε
a,A/AA
b,A/A
e1 ε,Z0/Z0
e0
c,Z0/Z0
e2
Ejemplo 4
L4 = {ai b ck / i, k ≥ 1 y i > k}
APD41 =<{e0,e1,e2,e3},{a,b,c},{A, Z0}, δ41 ,e0, Z0, {e3}>
a,Z0/AZ0
a,A/AA
e0 b,A/A
δ41:
e1 c,Α/ε
ε,Α/A
e2
e3
c,A/ ε
APD42 =<{e0,e1,e2,e3},{a,b,c},{A, Z0}, δ42 ,e0, Z0, {e3}>
δ42:
a,Z0/AZ0
a,A/AA
e0
a,Z0/ Z0
e1
b,A/A
c,A/ε
c,A/ε
e2
e3
Ejemplo 5
L5 = {ai b ck / i, k ≥ 1 y i ≥ k}
APD5 =<{e0,e1,e2,e3},{a,b,c},{A, Z0}, δ5 ,e0, Z0, {e3}>
δ5:
a,Z0/AZ0
a,A/AA
e0 b,A/A
c,A/ ε
e2
c,A/ ε
e3
Ejemplo 6
L6={0i 1i+k 2k 3n+1/ i, k, n ≥ 0 }
APD6=<{eo,e1,e2, e3,e4},{0,1,2,3},{A,B, Z0}, δ6 ,e0, Z0, {e4}>
δ6:
0,Z0 /AZ0
0,A /AA
eo
1, A /ε
1,B/BB
1, A /ε
e1 1,Z0 /BZ0 e2
2, B /ε
1,Z0 /BZ0
3,Z0 /Z0
3,Z0 /Z0
3,Z0 /Z0
2, B /ε
e3
3,Z0 /Z0
e4
4. CIENCIAS DE LA COMPUTACION I
2008
Ejemplo 7
L7 = {hn gj e2n d3i/ i, j, n ≥ 0}
Casos
Cadenas de L7
si n, i, j >0
hn gj e2n d3i
si n=0 y i, j >0
gj d3i
si i=0 y n, j >0
hn gj e2n
si j=0 y n, i >0
hn e2n d3i
si n, i=0 y j >0
gj
si n, j=0 y i >0
d3i
si i, j =0 y n >0
hne2n
si n,i,j=0
ε
APD7 = <{eo,e1,e2,e3,e4,e5,e6,e7,e8,e9},{h,e,g,d},{H, Z0}, δ7 ,e0, Z0, {e0, e4, e8, e9 }>
δ7:
e5
e,H/H
g,H/H
h,H/HH
eo h,Z0/HZ
e1
g,H/H
e2
g,Z0 /Z0
ε,Z0/Z0
e,H/H
e,H/H
e3
e,H/ε
e4
g,Z0 /Z0
d,Z0 /Z0
e9
d,Z0 /Z0
e6
d,Z0 /Z0
d,Z0 /Z0
e8
d,Z0 /Z0
e7
d,Z0 /Z0
Autómata de pila no determinístico
APND= <E, A , P, δ, e0, Z0, F> , donde las componentes E, A , P, e0, Z0, F se definen como antes, y
la función de transición se define como
δ: E x (A ∪{ε}) x P → Pf( E x P*)
1) δ( ei ,a, X) = {(ej , α1), (ek , α2), ....
Pf denota los subconjuntos finitos de E x P*
}
2) δ( ei ,ε, X) = {(ej , α1), (ek , α2), .... } donde a∈ A, X ∈ P, α1, α2 ∈ P*, ei, ej, ek ∈ E
Como ya se ha estudiado los autómatas finitos no determinísticos (AFND) reconocen los mismos
lenguajes que los autómatas finitos determinísticos (AFD). Sin embargo no ocurre lo mismo con
autómatas de pila no determinísticos (APND) y autómatas de pila determinísticos (APD). Algunos
lenguajes sólo pueden ser reconocidos por un APND, pero no por un APD.
5. CIENCIAS DE LA COMPUTACION I
2008
Ejemplo 8
L8= {am bp cp+m / m,p ≥ 1} ∪ {a2i bi / i ≥ 1}
L8 sólo puede reconocerse con un APND.
APND8 =<{e0,e1,e2,e3,e4,e5, e6,e7,e8, e9},{a,b,c},{A,B, Z0}, δ8 ,e0, Z0, {e9}>
δ8:
b,B/BB
c,B/ε
a, A/AA
c,A/ε
a, Z0 /AZ0
e1
b,A/BA e2
c,B/ε
eo
a, Z0 /AZ0
c,A/ε
e3
e4
b,A/ε
ε, Z0/ Z0
a,A/A
e6
e7
b,A/ε
e8
ε, Z0/ Z0 e9
a,A/AA
APND8 es no determinístico ya que en el caso de:
δ(e0 ,a, Z0) = {(e1 , AZ0), (e6 , A Z0)}
Ejemplo 9
L9= {am bp cp+m / m,p ≥ 1} ∪ {ai b2i / i ≥ 1}
L9 sólo puede reconocerse con un APND.
APND9 =<{e0, e1, e2, e3, e4, e5, e6, e7 },{a,b,c},{A,B, Z0}, δ9 ,e0, Z0, {e7}>
δ9:
b,B/BB
c,B/ε
a, A/AA
c,A/ε
a, Z0 /AZ0
e1
eo
b,A/BA e2
b,A/A
b,A/ε
e5
e6
c,B/ε
ε, Z0/ Z0
e3
c,A/ε
e4
ε, Z0/ Z0
e7
b,A/A
Lenguajes aceptados por los Autómata de Pila
Una cadena ω ∈ A* es aceptada por AP=<E, A , P, δ, e0, Z0, F>
si y solo si
El AP, comienza en el estado e0, con pila
< e0 ,ω, Z0 > | * < ef , ε, α >
vacía, luego de leer toda la cadena ω, llega a un estado
ef ∈ F, y en la pila queda cualquier cadena α ∈ P*.
El lenguaje aceptado por AP, es el conjunto de todas las cadenas que son aceptadas por AP:
L(AP)= { ω / < e0 ,ω, Z0> | * < ef , ε, α > y ω ∈ A* y ef ∈ F y α ∈ P*}
Los lenguajes aceptados por los Autómatas de Pila se denominan lenguaje libres del contexto.
6. CIENCIAS DE LA COMPUTACION I
2008
Autómata de pila traductor
Autómata de pila traductor APT
Un APT es simplemente un AP que se define como una 9-upla
APT = <E, A , P, δ, e0, Z0, F, γ, S>
donde E, A , P, δ, e0, Z0, F se definen como antes y se agregan dos componentes:
S: Alfabeto o conjunto finito de símbolos de salida
γ: función de traducción definida como γ:E x (A ∪ {ε}) x P → S*
La γ está definida siempre que δ está definida.
En el diagrama de transición de APT puede describirse como una extensión de la notación usada
para AP. Si existe δ(ei , a, X) =( ej , α) y además γ(ei , a, X) = t; luego el arco queda rotulado de la
siguiente manera:
ei
a ,X / α,t
ej
donde ei , ej ∈ E ; a ∈ A; X ∈ P; α ∈ P* ;t ∈ S*
Función de traducción para cadenas
El autómata sólo define la traducción, si el autómata AP subyacente “acepta” la cadena. Es decir la
traducción T(ω): A*→ S* asociada a APT está definida como
T(ω) es válida ⇔ < e0 ,ω, Z0> | * < ef , ε, α >
Ejemplo 10
L6={0i 1i+k 2k 3n+1/ i, k, n ≥ 0 }
Traducir las cadenas de L6
0i 1i+k 2k 3n+1 como a i+ k b2k c3n
APDT6=<{eo,e1,e2,e3,e4},{0,1,2,3},{A,B, Z0}, δ6 ,e0, Z0, {e4},γ6, {a,b,c}>
δ6 y γ6:
0,Z0 /AZ0,ε
0,A /AA, ε
1,A/ε,a
1,B/BB,a
2,B/ε,bb
3,Z0 /Z0,ccc
eo 1,A/ε,a e1 1,Z0/BZ0,a e2 2,B/ε,bb e 3,Z0/Z0,ε e
3
4
1,Z0 /BZ0,a
3,Z0 /Z0, ε
3,Z0 /Z0, ε
7. CIENCIAS DE LA COMPUTACION I
2008
Ejemplo 11:
L7 = {hn gj e2n d3i/ i, j, n ≥ 0}
Traducir las cadenas de L7
hn gj e2n d3i como 12j 0n 2 i
APDT7=<{eo,e1,e2,e3,e4,e5,e6,e7,e8,e9},{h,e,g,d},{H, Z0}, δ7 ,e0, Z0, {e0, e4, e8, e9 },γ7, {0,1,2}>
δ7 y γ7:
e,H/H, ε
h,H/HH, ε
e5
ε,Z0/Z0, ε
g,H/H,11
eo h,Z0/HZ0, ε e1 g,H/H,11 e2
g,Z0 /Z0,11
e,H/H, ε
e,H/H,ε e3
e,H/ε,0
e4
g,Z0 /Z0, 11
e9
d,Z0 /Z0, ε
d,Z0 /Z0, ε
e6
d,Z0 /Z0 , ε
d,Z0 /Z0, ε
d,Z0 /Z0, ε
e7
e8
d,Z0 /Z0, 2