Buenas! Hoy rendí el final de sintaxis, esto tomaron:

Práctica
1) Pasar de BNF a PAS:

<sentenciaAsignacion> ::= <identificador> operacionAsignacion <expresion> signoPuntuacion

2) Pasar de meta er a er usando sólo los 3 símbolos basicos:

[12] | b{3} ? | (ab)+

3) subrayar los que pueden ser identificadores en ansi c

{ Float repeat long for begin main boolean return record printf}

Teoria

1) El lenguaje representado por la er a*b es el complemento del representado por ab*

2) El parser recibe los lexemas que envía el scanner.

3) La gramática {S->aS, S–>a} genera el lenguaje epsilon + a+ (eso es una clausura positiva, jaja)

4) En ansi c las constantes y las expresiones aritméticas son valorL.

5) En una máquina de Turing hay 6 elementos, de los cuales 2 son alfabetos.

6) En el análisis léxico los lexemas pertenecientes a lenguajes infinitos necesitan un centinela para ser reconocidos.

7) En un AFPD puede haber transiciones sin sacar ni meter caracteres de la pila.

---

Perdón por el no formato. Jaja estoy desde el celu. Les digo como lo hice. Supongo que está todo bien porque hice 7 cosas y me saqué 7.

Práctica
1) void sa (void) {

Id() ;
Match (opAsig) ;
Exp();
Match (sgPunt) ;
}

2)
(1+2) + (bbb + epsilon ) + (ab) (ab) *

3) Marqué : Float, repeat, begin, main, boolean, record, printf

Teoría
1,2,3 y 4) falso.

5,6 y 7) no los hice pero estoy casi segura que son los 3 verdaderos.

Saludos

el 7 es falso, siempre sacás un elemento, se pueden hacer transiciones sin agregar (agregando epsilon) pero siempre sacás el último

el 6 tmb es falso, por ejemplo los strings de C no necesitan centinela

Estoy de acuerdo con que el 7 es Falso.
Pero el 6 según el libro es Verdadero (SSL 2, pag. 58).

Saludos!

Cita:3){ Float repeat long for begin main boolean return record printf}
Marqué : Float, repeat, begin, main, boolean, record, printf

esto esta ok !


NOTA:por si a alguien le interesa.
Palabra reservada son:
auto break case char const continue default do double else enum extern float for goto if int
long register return short signed sizeof static struct switch typdef union unsigned void volatile while

Identificadores
scanf printf main