[Sintaxis & Semantica de L.] Dudas triviales

Discusión cerrada
Ir a PrimeroPrimero 12
  1. #16
    algo sobre vos Avatar de BroS
    Registración
    May 2000
    Mensajes
    7,667
    Ubicación
    Argentina
    la maquina de turing tiene estados finales...
    • Me gusta
    Me gusta
     

  2. #17
    AsD
    Life goals status ... Avatar de AsD
    Registración
    Dec 2002
    Mensajes
    3,193
    Citar Mensaje original enviado por Dem0
    UTN.

    Reconocedor son todos los Automatas que vemos en clase, fijate que hay un capítulo (cerca de los capitulos con la implementación en C) que habla de Automatas como Reconocedores y como Reconocedores/Accionadores.

    La maquina de Mealy, la de Turing (creo que entra en la categoría) y la de Moore no entran en la categoría porque cumplen otros objetivos y para eso no necesitan estados finales.
    Pasa que el libro de MUCHNIK lo lei y resumi todo, sin embargo no lo habia encontrado eso, pense que las reglas de los AFs se aplicaban para todos los AFs y no para reconocedores y no reconocedores.

    Salu2.-
    • Me gusta
    Me gusta
    The time has come to show off what you are made of... Are you ready?
     

  3. #18
    <> Avatar de Vismund C.
    Registración
    Feb 2003
    Mensajes
    6,376
    Ubicación
    Argentina
    Citar Mensaje original enviado por BroS Ver Mensaje
    la maquina de turing tiene estados finales...
    Se tenes razón. Ese tema ni lo vemos por eso no estaba seguro.

    Saludos
    • Me gusta
    Me gusta
     

  4. #19
    AsD
    Life goals status ... Avatar de AsD
    Registración
    Dec 2002
    Mensajes
    3,193
    Bueno revisando finales encontre estas seis:

    Verdadero o Falso, Justificar
    1. S -> a | S -> b | S -> S t, es una gramatica regular que genera un lenguaje infinito.
    2. La semántica de la expresión
      a = 3 > 2 ? 1 : 44
      es diferente a la semántica de la expresión
      a = 1.
    3. La cantidad de operandos de cualquier operación primitiva en C se puede modificar por un programador
    4. La semántica de la expresión
      while(1) a = 3;
      es equivalente a la de la sentencia
      do {a = 3;} while(1); .
    5. En ANSI C,el conj. de operadores del tipo de datos char es diferente al conjunto de operadores del tipo de dato float
    6. El conjunto de las expresiones aritméticas en ANSI C no puede ser representado mediante una expresión regular


    Respuesta segun mi, para corregir :P
    Spoiler!  

    1. Falso. Eso no es una gramatica, o al menos no existe una produccion que sea
    S-> a | S->
    es como que pone 2 producciones en una. Si fuera de la forma
    S -> a, S -> b, S ->St y decimos que S es axioma, y la definimos formalmente (como una cuadupla), entonces se podria decir que es una gramatica regular lineal a izquierda.

    2. Verdadero. Por mas que ambas expresiones asignan el valor 1 a la variable a, en la primer sentencia se ejecuta una expresion condicional, y en la segunda no.

    3. Verdadero. La cantidad de operandos esta predefinida por el lenguaje, se puede modificar el valor de dichos operandos. ( En esta tengo muchas dudas )

    4. Falso. La primera sentencia evalua la condicion y luego ejecuta la operacion, mientras que la segunda sentencia ejecuta la operacion al menos una vez, y luego comprueba la condicion.

    5. Verdadero.

    6. Falso, el conjunto de operadores y de numeros forma parte de 2 lenguajes regulares. En el primero es finito y en el segundo es infinito. Por ende toda expresion aritmetica pertenece a un Lenguaje Regular, y todo LR puede ser denotado por una ER.

    OBSERVACIONES: Segun las respuestas del final me equivoque en todas las respuestas, exceptuando la 5 (la cual pongo por que no sabia como justificar. Por eso lo posteaba).
    • Me gusta
    Me gusta
    The time has come to show off what you are made of... Are you ready?
     

  5. #20
    <> Avatar de Vismund C.
    Registración
    Feb 2003
    Mensajes
    6,376
    Ubicación
    Argentina
    1) Creo que es Verdadera porque supongamos que el axioma es S, la gramática genera al lenguaje (a,b,at,bt,att,btt,attt,bttt,...) que se puede expresar con (a+b)t*

    Para mi esto: S -> a | S -> b | S -> S t
    es igual que esto: S -> a, S -> b, S ->St


    3) Para mi es Falso porque para un operando primitivo tenes 2 valores, nada más. En situaciones como 5+6+5 primero hace 5+6 y despues 11+5, nunca cambia la cantidad de operandos.

    5) No soy un experto en C, pero ¿no era que veía al tipo char como un int? se le podía subar 1 a 'A' y te daba 'B'.

    Saludos
    • Me gusta
    Me gusta
    Última edición por Vismund C. : 06-02-08 el 03:37 PM
     

  6. #21
    AsD
    Life goals status ... Avatar de AsD
    Registración
    Dec 2002
    Mensajes
    3,193
    Citar Mensaje original enviado por Dem0
    1) Creo que es Verdadera porque supongamos que el axioma es S, la gramática genera al lenguaje (a,b,at,bt,att,btt,attt,bttt,...) que se puede expresar con (a+b)t*

    Para mi esto: S -> a | S -> b | S -> S t
    es igual que esto: S -> a, S -> b, S ->St

    Saludos
    Pero ¿ | no significa union? ¿ ahora tambien significa , ?

    Pa mi le pifiaron el enunciado :S

    Salu2!
    • Me gusta
    Me gusta
    The time has come to show off what you are made of... Are you ready?
     

  7. #22
    <> Avatar de Vismund C.
    Registración
    Feb 2003
    Mensajes
    6,376
    Ubicación
    Argentina
    Citar Mensaje original enviado por AsD Ver Mensaje
    Pero ¿ | no significa union? ¿ ahora tambien significa , ?

    Pa mi le pifiaron el enunciado :S

    Salu2!
    Pensalo así:

    (S -> a) o (S -> b) o (S -> S t)

    Toda mi vida lo interpreté así y nunca tube problema.
    • Me gusta
    Me gusta
     

  8. #23
    algo sobre vos Avatar de BroS
    Registración
    May 2000
    Mensajes
    7,667
    Ubicación
    Argentina
    en la pregunta 1 si es una gramatica y genera un lenguaje infinito.
    • Me gusta
    Me gusta
     

  9. #24
    AsD
    Life goals status ... Avatar de AsD
    Registración
    Dec 2002
    Mensajes
    3,193
    encontre uno en el modulo 2 que no me gusta:

    "El operador & (de direccion) puede aparecer a la izquierda de una sentencia de asignacion"

    Respuesta:
    Spoiler!  

    El libro dice Falso.
    Pero para mi es Verdadero, y tengo contraejemplo:
    Código:
    int main(void){
    char *q;
    
    *(*(&q)) = 64;
    }
    ahi el & (operador de direccion) aparece a la izquiera de una sentencia de asignacion...
    • Me gusta
    Me gusta
    The time has come to show off what you are made of... Are you ready?
     

  10. Compartí este Tema:
    • Vistas: 1731
    • Mensajes: 23
    Seguí este Tema: Suscribite
Discusión cerrada
Ir a PrimeroPrimero 12

Temas Similares

  1. Sintaxis y Semantica del Lenguaje
    By hernang_87 in forum Estudios, Carreras y Universidades
    Mensajes: 195
    Último Mensaje: 28-05-10, 09:16 AM
  2. Sintaxis, problema al compilar
    By yomariano in forum Estudios, Carreras y Universidades
    Mensajes: 4
    Último Mensaje: 09-07-08, 04:59 PM