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
›
:
Regular description for
{
w
∈
{
0
,
1
}
∗
∣
v
a
l
u
e
2
(
w
)
∈
12
˙
}
\{ w \in \{0,1\}^* \mid \mathtt{value}_2(w)\in\dot{12}\}
{
w
∈
{
0
,
1
}
∗
∣
value
2
(
w
)
∈
12
˙
}
Give a regular description for the set of words
w
w
w
over
{
0
,
1
}
\{0,1\}
{
0
,
1
}
such that the natural value obtained by interpreting
w
w
w
as a binary number, that is
v
a
l
u
e
2
(
w
)
\mathtt{value}_2(w)
value
2
(
w
)
, is multiple of
12
12
12
(in particular, the empty word represents
0
0
0
, which is multiple of
12
12
12
).
Authors:
Guillem Godoy /
Documentation:
main { // Write here your regular description... }
To be able to submit you need to either
log in
,
register
, or
become a guest
.