# data[].attributes.body
A partir de la MO presentada, obtener el diagrama y las funciones de transición y de salida de la máquina de ME equivalente.
Verificar la equivalencia para la entrada: 011.

# data[].attributes.body
A partir de la ME presentada, obtener el diagrama y las funciones de transición y de salida de la máquina de ME equivalente.
Verificar la equivalencia para la entrada: 110.

# data[].attributes.body
A partir del AF planteado a continuación, establecer las relaciones lambda:

# data[].attributes.body
Obtener el AFD a partir del AFN planteado a continuación:

# data[].attributes.headline
Supóngase la siguiente gramática lineal por derecha:

# data[].attributes.subject
Supóngase la siguiente gramática lineal por derecha:

# data[].attributes.body
G10 = ( { 0, 1}, { A, B}, A, P )

P = { ( A ::= 1B ), ( A ::= λ ), ( B ::= 0A ), ( B::= 0 )}

Obtener la gramática lineal por izquierda equivalente.

# data[].attributes.body
jorge baldassini

# data[].attributes.body
011 -> 010

# data[].attributes.body
Maximiliano Acuña

# data[].attributes.body
Nuevo estado S2 agregado

# data[].attributes.body
JORGE BALDASSINI

# data[].attributes.body
110 -> 010

# data[].attributes.body
Relación lambda explicita: (q,s), (r,s), (s,r)
Clausula transitiva: (q,r),(r,r), (s,s)
Clausula transitiva y reflexiva: (p,p), (q,q)

# data[].attributes.body
Lambda = {(q,s), (s,r), (r,s)}

Lambda + = {(q,s), (s,r), (r,s), (q,r), (s, s), (r, r) }

Lambda * = {(q,s), (s, r), (r, s), (q, r), (p, p), (q, q), (s, s), (r, r)}

# data[].attributes.body
Explicita: (q->s), (r->s), (s->r)
transitiva: (q->r)
transitiva y reflexiva: (p->p), (q->q), (r->r), (s->s)

# data[].attributes.body
Λ = {(q, s), (r, s), (s, r)}

Λ⁺ = {(q, s), (r, s), (s, r), (q, r)}

Λ* = {(q, s), (r, s), (s, r), (q, r), (p, p), (q, q), (r, r), (s, s)}

# data[].attributes.body
Lambda explícita: (q,s), (r,s), (s,r)

Lambda transitiva: (q,r)

Lambda reflexiva: (p,p), (q,q), (r,r), (s,s)

# data[].attributes.body
Lambda explícita: { (q,s), (r,s), (s,r) }

Lambda transitiva: { (q,r) }

Lambda reflexiva: { (p,p), (q,q), (r,r), (s,s) }

# data[].attributes.body
L+=(q,r)

# data[].attributes.body
Lambda explícita: {(q,s), (r,s), (s,r)}
Lambda transitiva: {(q,r)}
Lambda reflexiva: {(p,p), (q,q), (r,r), (s,s)}