Tipos automatas

Solo disponible en BuenasTareas
  • Páginas : 3 (678 palabras )
  • Descarga(s) : 0
  • Publicado : 16 de agosto de 2012
Leer documento completo
Vista previa del texto
Tipos de Autómatas y como se diferencian.
Un autómata finito puede ser determinista (AFD) o no determinista (AFND), donde “no determinista” significa que en un estado se puede se puede dar el casode tener más de una transición para el mismo símbolo de entrada.
Un autómata finito determinista tiene a lo sumo una transición desde cada estado con cualquier entrada.
En autómata finito nodeterminista se presenta las siguientes características:
* Ningún estado tiene una transacción ∈ , es decir, una transición con la entrada ∈, y para cada estado S y cada símbolo de entrada a, hay a losumo una arista etiquetada a que sale de s

3 tipos de análisis y como se relacionan con Java.
Análisis léxico: Consiste en descomponer el programa fuente en secuencias de caracteres consignificado especial (componentes léxicos). Aísla los símbolos, identifica su tipo, y guarda su información en una tabla de símbolos.
Ejemplo :
Integer numero = 2;
If (1 == numero) {} :
El analisis lexicotoma la palabra reservada if, el operador ( =) , los parentesis y las llaves {}, la constante nuemero.
Análisis sintáctico: verifica que el programa fuente cumpla con la sintaxis que el lenguajefuente tiene definido; comprueba si una cadena dada en el programa fuente, puede o no ser generada por la gramática del lenguaje fuente
Ejemplo:
miVariable = 1;
for (var i; i > 3; i++)
Elanalizar sintáctico verifica que haya un (;), que la sentencia del for cantenga las partes de la variable, el validador y la asignación.
Análisis semántico: El analizador semántico verifica que se cumplantodas aquellas condiciones necesarias para el correcto significado de cada parte del programa fuente. Dicho significado se obtiene de las estructuras sintácticas encontradas, y los símbolos definidosen la tabla de símbolos
Ejemplo
If (1 == “valor”) : el analizador semántico valida que ambos tipos sean iguales y que cada variable este declarada

Niveles de lenguajes de Chomsky
Tipos de...
tracking img