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
‹
6
›
:
Context-free description for
{
a
i
b
j
a
k
b
r
a
s
b
t
∣
i
+
k
+
s
=
j
+
r
+
t
}
\{ a^ib^ja^kb^ra^sb^t \mid i+k+s=j+r+t \}
{
a
i
b
j
a
k
b
r
a
s
b
t
∣
i
+
k
+
s
=
j
+
r
+
t
}
Give a context-free description for the set of words of the form
a
i
b
j
a
k
b
r
a
s
b
t
a^ib^ja^kb^ra^sb^t
a
i
b
j
a
k
b
r
a
s
b
t
such that
i
+
k
+
s
=
j
+
r
+
t
i+k+s=j+r+t
i
+
k
+
s
=
j
+
r
+
t
.
Authors:
Guillem Godoy /
Documentation:
main { // Write here your context-free description... }
To be able to submit you need to either
log in
,
register
, or
become a guest
.