domingo, 17 de marzo de 2019

Sistema Formal & Su Importancia

marzo 17, 2019 Posted by Jesús Chirinos No comments
Sistema Formal & Su Importancia

Imagen relacionada

Un sistema formal es un tipo de sistema lógico-deductivo constituido por un lenguaje formal, una gramática formal que restringe cuales son las expresiones correctamente formadas de dicho lenguaje y las reglas de inferencia y un conjunto de axiomas que permite encontrar las proposiciones derivables de dichos axiomas.

 Resultado de imagen para Sistema Formal  programacionLa noción de sistema formal corresponde a una formalización rigurosa y completa del concepto de sistema axiomático, los cuales pueden ser expresados en lenguaje formal o en lenguaje natural formalizado Entonces podemos decir que El objetivo de un sistema formal es señalar como válidas determinadas cadenas. Estas cadenas válidas se denominan teoremas. Para obtener los teoremas se emplean las reglas de producción que convierten una cadena en otra.

Gramática formal

marzo 17, 2019 Posted by Jesús Chirinos No comments

Gramática formal

 

La  gramática formal es una estructura matemática con un conjunto de reglas de formación que definen las cadenas de caracteres admisibles en un determinado lenguaje formal o lengua natural.  Es decir que   Las gramáticas formales aparecen en varios contextos diferentes: la lógica matemática, las ciencias de la computación y la lingüística teórica, frecuentemente con métodos e intereses divergentes.

Resultado de imagen para gramatica formal 


Entonces podemos decir que la gramática formal no describe el significado de las fórmulas bien formadas, sino solamente su forma. La teoría de los lenguajes formales estudia las gramáticas formales y los lenguajes formales, y es una rama de la matemática aplicada. Sus aplicaciones se encuentran en la ciencia computacional teórica, la lingüística, la semántica formal, la lógica matemática y otras áreas.

Elementos Del Lenguaje

marzo 17, 2019 Posted by Jesús Chirinos No comments

  



EL Lenguaje
Imagen relacionada 

Como sabemos el lenguaje es La sintaxis que define los elementos de dicho lenguaje y cómo se combinan para formar un programa.  Existen varios elementos que complementan esa acción 



Delimitadores
 


Resultado de imagen para palabras reservadas en programacion
Palabras Reservadas Del Lenguaje JAVA
Se llama delimitador a las palabras reservadas, no es más que una palabra que tiene un significado gramatical especial para ese lenguaje y no puede ser utilizada como un identificador de objetos en códigos del mismo Como los son el WHILE, DO WHILE, FOR, IF, ETC


Juegos de caracteres

 
  Es un grupo de caracteres en el que se ha asignado un número exclusivo a cada carácter. Las unidades de un juego de caracteres se conocen como puntos de código. El valor de un punto de código representa la ubicación de un carácter en el set de caracteres codificados. Por ejemplo, el punto de código para la letra á en el set de caracteres codificados Unicode es 225 en notación decimal, o E1 en notación hexadecimal. En algunos casos, los sets de caracteres codificados se denominan páginas codificadas.

Resultado de imagen para Juegos de caracteresLa codificación de caracteres refleja la manera en la que el juego de caracteres codificados se convierte a bytes para su procesamiento en la computadora. En la siguiente imagen se muestra cómo se convierten a secuencias de bytes en memoria los caracteres y puntos de código del sistema de escritura Tifinagh  mediante la codificación UTF-8. Los valores de los puntos de código para cada carácter se enumeran inmediatamente debajo del glifo  correspondiente a dicho carácter en la parte superior del diagrama.


  Operadores

Resultado de imagen para Operadores




Es operador es un elemento de programa que se aplica a uno o varios operando en una expresión o instrucción. La función de cada operador depende del tipo que se esté utilizando, veamos cada uno de ellos Como es el caso de:

Asignación: su función es asignar un valor especifico a una variable mediante una asignación simple (=) o por dos operadores, llamados operadores compuestos.
Resultado de imagen para Operadores 
 

Aritméticos: nos permiten hacer operaciones o cálculos simples. Los operadores de decremento e incremento, suman o restan por defecto un 1 al valor de la variable. Suelen ser usados como mayor frecuencia en ciclos repetitivos. Según la posición de estos operadores puede cambiar el valor

Comparativos: permiten evaluar una la igualdad y la magnitud, es decir si dos variables son iguales, diferentes o menores, a su vez permite  comprobar  o bien probar la veracidad de una condición, propuesta o pregunta, la respuesta es de valor booleano es decir que verdadero que es igual 1 por defecto, y falso que le corresponde el 0
Resultado de imagen para Operadores
 


Lógicos:Producen un resultado booleano, les corresponden lógicos los cuales están relacionados con cierto o falso, podría decirse que ayudan a unir las  propiedades. Como lo son el verdadero o falso y los operadores lógicos 











Tipos de datos

 

Los tipos de datos son  la propiedad de un valor que determina su dominio qué operaciones se le pueden aplicar y cómo es representado internamente por el computador. Todos los valores que aparecen en un programa tienen un tipo.  Es por esto que existen varios tipos de datos como son:

Resultado de imagen para Tipos de datos



Números enteros: El tipo int permite representar números enteros. Los valores que puede tomar un int son todos los números enteros. Los números enteros literales se escriben con un signo opcional seguido por una secuencia de dígitos


Números reales: El tipo float permite representar números reales. El nombre float viene del término punto flotante, que es la manera en que el computador representa internamente los números reales. Siento Estos capaces de Guardar datos de tipos de números reales Tambien puede llegar a compartir datos con el DOUBLE que tiene la misma capacidad de almacenar números decimales y reales pero con una major capacidad


Valores lógicos: Los valores lógicos True y False son de tipo bool, que representa valores lógicos. Es decir Verdadero & Falso 


Texto: A los valores que representan texto se les llama strings, y tienen el tipo str. Los strings literales pueden ser representados con texto entre comillas simples o comillas dobles Como por Ejemplo: "ejemplo 1" 'ejemplo 2'