RACSO
DFA
CFG
Operations:
Reg
,
CF
PDA
Reductions:
K
,
WP
,
CFG
,
NP
,
SAT
ANTLR:
lexical
,
syntactic
Exams
log in
,
register
,
become guest
This site uses cookies only for the purpose of identifying user sessions. This is required to properly register actions.
Exercise
‹
35
›
:
Non-ambiguous CFG for
{
x
c
y
∣
x
,
y
∈
{
a
,
b
}
∗
∧
y
R
prefix of
x
}
\{ xcy \mid x,y\in\{a,b\}^* \wedge y^R \text{ prefix of } x \}
{
x
cy
∣
x
,
y
∈
{
a
,
b
}
∗
∧
y
R
prefix of
x
}
Write a
non-ambiguous
CFG generating the words of the form
x
c
y
xcy
x
cy
, where
x
,
y
x,y
x
,
y
are words over
{
a
,
b
}
\{a,b\}
{
a
,
b
}
such that
y
R
y^R
y
R
is prefix of
x
x
x
, i.e., such that
x
x
x
can be written of the form
y
R
z
y^Rz
y
R
z
for some word
z
z
z
.
Authors:
Guillem Godoy /
Documentation:
// Write your CFG here...
To be able to submit you need to either
log in
,
register
, or
become a guest
.