Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Gram A Tic As
Gram A Tic As
A.E.I.R.N.N.R
Gramática regular
Gramáticas
α → β, α = ϕAρ y β = ϕωρ
ϕ, ω, ρ ∈ (N ∪ T)
y A es S ó A ∈ N
Gramáticas regulares
Generan los lenguajes regulares (aquellos reconocidos por un autómata finito). Son
las gramáticas más restrictivas. El lado derecho de una producción debe
contener un símbolo terminal y, como máximo, un símbolo no terminal. Estas
gramáticas pueden ser:
A ∈ N ∪ {S}
A → aB ó A → a B∈N
a∈T
A ∈ N ∪ {S}
A → Ba ó A → a B∈N
S1 →ε S2 →ε
S 1 → aA S 2 → Ca
A → aB C → Da
A →a C →a
B → aA D → Ca
Ejemplos:
Ejemplo 1
Ejemplo 2
Aquí hay una gramática libre de contexto para expresiones enteras algebraicas
sintácticamente correctas sobre las variables x, y y z:
S → x | y | z | S + S | S - S | S *S | S/S | (S)
Ejemplo 3
Una gramática libre de contexto para un lenguaje consistente en todas las cadenas
que se pueden formar con las letras a y b, habiendo un número diferente de una
que de otra, sería:
S→U|V
U → TaU | TaT
V → TbV | TbT
T → aTbT | bTaT | ε
T genera todas las cadenas con la misma cantidad de letras a que b, U genera todas
las cadenas con más letras a, y V todas las cadenas con más letras b.
Ejemplo 4
S → aSc | B
B → bBc | E
Existe un algoritmo que permite obtener una gramática regular que genera un
lenguaje regular dado
a partir del autómata finito que reconoce ese lenguaje. Los pasos a seguir son los
siguientes:
1) Asociar al estado inicial el símbolo distinguido S.
Ejemplo 1:
L 4 = { x / x ∈ {0, 1}*
A → 0C
A→0
A → 1B
B → 0A
B → 1C
B→1
C → 0C
C→0
C → 1C
C→1
Bibliografía:
Disponible url:
http://www.exa.unicen.edu.ar/catedras/ccomp1/Apunte3.pdf