homework3

CSE 354 - Automata Theory and Formal Languages
HOMEWORK 3
Due date: PS. Hour 16.12.2014
1) Design a PDA for π’‚π’Š 𝒃𝒋 π’„π’Œ π’Š = 𝒋 𝒐𝒓 𝒋 = π’Œ
2) Convert the grammer below to CNF
𝑺 β†’ 𝒂𝑺𝒃 𝑨𝒂 𝑩𝒃 | 𝑨
𝑨 β†’ 𝒂𝑨
𝑩 β†’ 𝒃𝑩 | 𝜺
3) Using the grammer G below, use the CYK algorithm to
determine whether string β€œaabab” is in L(G) or not.
S -> AB | BC
A -> BA | a
B -> CC | b
C -> AB | a